Login / Signup
Incremental test case generation using bounded model checking: an application to automatic rating.
Grzegorz Anielak
Grzegorz Jakacki
Slawomir Lasota
Published in:
Int. J. Softw. Tools Technol. Transf. (2015)
Keyphrases
</>
bounded model checking
test case generation
formal verification
software testing
test cases
model checking
linear temporal logic
test data generation
temporal logic
multi agent systems
data sets
database
test suite
development process
building blocks
evolutionary search
multi agent
decision trees