A Test Generation Procedure for Avoiding the Detection of Functionally Redundant Transition Faults.

Hangkyu Lee Irith Pomeranz Sudhakar M. Reddy

Published in: VTS (2006)

Keyphrases

test generation
test cases
mutation testing
symbolic execution
design automation
object detection
detection algorithm
test sequences
software testing
quality assurance
static analysis
fault diagnosis
error detection
high quality
fault detection
open source
relational databases