Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications.
Jeffrey DouglasRichard A. KemmererPublished in: ISSTA (1994)
Keyphrases
- symbolic execution
- specification language
- formal specification
- test generation
- specification languages
- test data generation
- formal specification language
- object oriented design
- model checking
- static analysis
- software testing
- source code
- programming language
- description language
- reverse engineering
- formal methods
- test cases
- data flow
- case study
- conceptual model
- genetic programming
- query language
- unit testing
- database systems