Hypertesting of Programs: Theoretical Foundation and Automated Test Generation.

Michele Pasqua Mariano Ceccato Paolo Tonella

Published in: ICSE (2024)

Keyphrases

theoretical foundation
test generation
symbolic execution
test cases
test sequences
theoretical framework
design automation
static analysis
quality assurance
mutation testing
software testing
test data generation
databases
design science
regression testing
xml documents
multi agent
information systems