Hierarchical Test Generation under Intensive Global Functional Constraints.

Jaushin Lee Janak H. Patel

Published in: DAC (1992)

Keyphrases

test generation
test cases
symbolic execution
test sequences
global consistency
design automation
software testing
mutation testing
information technology
object oriented
regression testing
code coverage