2638 search results - page 43 / 528 » A Framework for Automatic Debugging |
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
The jGRASP lightweight IDE provides object viewers that automatically generate dynamic, statebased visualizations of objects and primitive variables in Java. Multiple synchronized...
ADC
2005
Springer
14 years 2 months ago
2005
Springer
The transformation and manipulation of XML is an increasingly important research topic. This paper examines a number of issues with regard to languages for transforming and reacti...