Sciweavers

16725 search results - page 67 / 3345
» Engineering Software Correctness
Sort
View
87
Voted
WCRE
1996
IEEE
15 years 7 months ago
Mandrake: A Tool for Reverse-Engineering IBM Assembly Code
Paul H. Morris, Robert E. Filman
98
Voted
UIST
1994
ACM
15 years 6 months ago
A Pure Reasoning Engine for Programming by Demonstration
Martin R. Frank, James D. Foley
93
Voted
CISSE
2007
Springer
15 years 6 months ago
An Expert System for Diagnosing Heavy-Duty Diesel Engine faults
Peter Nabende, Tom Wanyama