Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation Testing.
Serge DemeyerAli ParsaiSten VercammenBrent van BladelMehrdad AbdiPublished in: ISoLA (2) (2020)
Keyphrases
- mutation testing
- formal verification
- test suite
- model checker
- integration testing
- test generation
- model checking
- test sequences
- test cases
- database applications
- finite state machines
- black box
- software testing
- symbolic model checking
- bounded model checking
- automated verification
- program slicing
- open source
- temporal logic
- database
- development process
- static analysis
- database management systems
- software development
- testing process
- video sequences
- data sets
- test data
- quality assurance
- knowledge based systems
- source code
- computational complexity
- databases