Speed Up of Test Generation Using High-Level Primitives.

Ramachandra P. Kunda Jacob A. Abraham Bharat Deep Rathi Prakash Narain

Published in: DAC (1990)

Keyphrases

test generation
high level
low level
test cases
symbolic execution
test sequences
design automation
static analysis
quality assurance
higher level
mutation testing
semantic information
programming language
databases
software testing
visual information
pattern matching