Login / Signup
The omission finder for debugging what-should-have-happened bugs in object-oriented programs.
Kouhei Sakurai
Hidehiko Masuhara
Published 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