Sequential Test Generation Based on Real-Value Logic.

Kazumi Hatayama Kazunori Hikone Mitsuji Ikeda Terumine Hayashi

Published in: ITC (1992)

Keyphrases

test generation
test cases
test sequences
design automation
symbolic execution
quality assurance
static analysis
databases
real world
software testing
mutation testing
data sets
quality control
petri net
high quality
database systems
image processing