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