An Efficient Runtime Validation Framework based on the Theory of Refinement

15 Mar 2017 Jain Mitesh Manolios Panagiotis

We introduce a new methodology based on refinement for testing the functional correctness of hardware and low-level software. Our methodology overcomes several major drawbacks of the de facto testing methodologies used in industry: (1) it is difficult to determine completeness of the properties and tests under consideration (2) defining oracles for tests is expensive and error-prone (3) properties are defined in terms of low-level designs... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC IN COMPUTER SCIENCE
  • SOFTWARE ENGINEERING

Datasets


  Add Datasets introduced or used in this paper