Login / Signup
Towards coverage closure: Using GoldMine assertions for generating design validation stimulus.
Lingyi Liu
David Sheridan
William Tuohy
Shobha Vasudevan
Published in:
DATE (2011)
Keyphrases
</>
case study
design principles
metadata
user interface
data structure
evolutionary algorithm
mobile robot
design decisions