Test-Case Generation for Embedded Binary Code Using Abstract Interpretation.
Thomas ReinbacherJörg BrauerMartin HorauerAndreas SteiningerStefan KowalewskiPublished in: MEMICS (2010)
Keyphrases
- test case generation
- abstract interpretation
- static analysis
- binary codes
- test cases
- termination analysis
- test suite
- object oriented systems
- software testing
- hamming distance
- dynamic analysis
- test data generation
- active rules
- model checking
- source code
- information systems
- active databases
- similarity search
- high level
- integrity constraints
- data sets
- software engineering
- reasoning engine
- neural network