ProperHITEC: A Portable, Parallel, Object-Oriented Approach to Sequential Test Generation.

Steven Parkes Prithviraj Banerjee Janak H. Patel

Published in: DAC (1994)

Keyphrases

test generation
symbolic execution
test cases
d objects
design automation
object model
mutation testing
test sequences
static analysis
moving objects
quality assurance
artificial intelligence
machine vision
shared memory
image data
video sequences
multi agent
high quality
training data
case study