Test generation for Boolean expressions.

Amit M. Paradkar Kuo-Chung Tai

Published in: ISSRE (1995)

Keyphrases

test generation
boolean expressions
test cases
normal form
real valued
conjunctive queries
static analysis
software testing
inverted lists
quality assurance
object oriented
data management
internal nodes