Sign in
A probabilistic approach for counterexample generation to aid design debugging.
Payman Behnam
Hossein Sabaghian Bidgoli
Bijan Alizadeh
Kamyar Mohajerani
Zainalabedin Navabi
Published in:
EWDTS (2013)
Keyphrases
</>
design process
case study
probabilistic model
computer aided
engineering design
user experience
building blocks
generation process
database
conceptual framework
design principles
design patterns
information theoretic
generative model
software engineering
database systems
genetic algorithm
databases
real time