Login / Signup
Angelic debugging.
Satish Chandra
Emina Torlak
Shaon Barman
Rastislav Bodík
Published in:
ICSE (2011)
Keyphrases
</>
hardware designs
model based diagnosis
parallel programming
real time
machine learning
artificial intelligence
decision making
feature extraction
java programs