Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning.

Published in: FormaliSE@ICSE (2022)

Keyphrases

equivalence class
test suite
equivalence classes
directed acyclic graph
test cases
regression testing
test suite reduction
sufficient conditions
software testing
equivalence relation
mutation testing
database
databases
random walk
data model
test set