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