21 search results - page 5 / 5 » hase 2008 |
HASE
2008
IEEE
13 years 11 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....