The omission finder for debugging what-should-have-happened bugs in object-oriented programs.
Kouhei SakuraiHidehiko MasuharaPublished in: SAC (2015)
Keyphrases
- object oriented programs
- integration testing
- software testing
- test cases
- impact analysis
- specification languages
- source code
- software systems
- object oriented
- programs written
- formal specification
- black box
- open source
- first order logic
- software engineering
- test suite
- database
- testing process
- dependency analysis
- test data
- transactional memory