Towards a Theory for Integration of Mathematical Verification and Empirical Testing.
Michael R. LowryM. BoydD. KulkarniPublished in: ASE (1998)
Keyphrases
- mathematical models
- test generation
- theoretical framework
- symbolic execution
- quantum mechanics
- formal methods
- empirical data
- data sets
- fingerprint verification
- mathematical theory
- formal verification
- machine learning
- theoretical analysis
- source code
- multi agent
- general theory
- database
- computer algebra
- verification method
- mathematical expressions
- information systems
- decision making
- computer science
- computational model
- theoretical basis
- data integration
- information theory
- theoretical foundation
- model checking
- test cases