Fixing Design Errors with Counterexamples and Resynthesis.

Kai-Hui Chang Igor L. Markov Valeria Bertacco

Published in: ASP-DAC (2007)

Keyphrases

case study
design principles
engineering design
real world
data mining
information systems
building blocks
user experience
design decisions