Specification-Based Test Repair Using a Lightweight Formal Method.

Guowei Yang Sarfraz Khurshid Miryung Kim

Published in: FM (2012)

Keyphrases

lightweight
cost function
preprocessing
high accuracy
high precision
neural network
significant improvement
dynamic programming
clustering method
test data
web services
pairwise
low cost
detection method