Test Case Generation for Boolean Expressions by Cell Covering.

Lian Yu Wei-Tek Tsai

Published in: IEEE Trans. Software Eng. (2018)

Keyphrases

test case generation
boolean expressions
test cases
software testing
normal form
object oriented systems
test data generation
test suite
real valued
conjunctive queries
software engineering
java programs
source code
data sets
query evaluation
mining frequent
test generation
object oriented
high level