Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications.
Renzo DegiovanniPablo PonzioNazareno AguirreMarcelo F. FriasPublished in: TAP@TOOLS (2011)
Keyphrases
- test generation
- requirements specification
- formal specification
- functional requirements
- test cases
- symbolic execution
- high level
- specification language
- software requirements
- test sequences
- mutation testing
- automated tools
- written in natural language
- formal language
- static analysis
- requirements engineering
- software testing
- design automation
- formal methods
- bounded model checking
- reactive systems
- development process
- quality assurance
- real world
- operational semantics
- data sets
- image quality
- software engineering
- training data
- code coverage
- databases