Test Generation In Lamp2: System Overview.

Miron Abramovici James J. Kulikowski Premachandran R. Menon David T. Miller

Published in: ITC (1985)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
static analysis
quality assurance
mutation testing
software testing
databases
artificial intelligence
metadata
light source
code coverage