Login / Signup
ESBMC 6.1: automated test case generation using bounded model checking.
Mikhail R. Gadelha
Rafael S. Menezes
Lucas C. Cordeiro
Published in:
Int. J. Softw. Tools Technol. Transf. (2021)
Keyphrases
</>
bounded model checking
test case generation
test cases
model checking
formal verification
object oriented systems
software testing
temporal logic
linear temporal logic
test suite
test data generation
software maintenance
java programs
genetic algorithm
databases
training set
search algorithm
multi agent
case study