Test generation for large logic networks.

Peter S. Bottorff Richard E. France N. H. Garges E. J. Orosz

Published in: DAC (1977)

Keyphrases

test generation
test cases
symbolic execution
test sequences
static analysis
social networks
database systems
design automation
network structure
quality assurance
mutation testing
logic programming
computer vision
modal logic
machine vision
regression testing
test data generation
open source
image data
case study