BMC+Fuzz: Efficient and Effective Test Generation.

Ravindra Metta Raveendra Kumar Medicherla Samarjit Chakraborty

Published in: DATE (2022)

Keyphrases

test generation
test sequences
cost effective
computationally efficient
test cases
high quality
quality assurance
design automation