VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing.

Sangharatna Godboley

Published in: ENASE (2023)

Keyphrases

test case generation
test cases
software testing
test data generation
test suite
object oriented systems
test generation
java programs
software development
model checking
formal verification
real time
databases
cooperative
genetic programming