Abstract | ||
---|---|---|
Many programmers, when they encounter an error, would like to have the
benefit of automatic fix suggestions---as long as they are, most of the time,
adequate. Initial research in this direction has generally limited itself to
specific areas, such as data structure classes with carefully designed
interfaces, and relied on simple approaches. To provide high-quality fix
suggestions in a broad area of applicability, the present work relies on the
presence of contracts in the code, and on the availability of dynamic analysis
to gather evidence on the values taken by expressions derived from the program
text. The ideas have been built into the AutoFix-E2 automatic fix generator.
Applications of AutoFix-E2 to general-purpose software, such as a library to
manipulate documents, show that the approach provides an improvement over
previous techniques, in particular purely model-based approaches. |
Year | Venue | Keywords |
---|---|---|
2011 | Clinical Orthopaedics and Related Research | data structure,dynamic analysis |
Field | DocType | Volume |
Data structure,Expression (mathematics),Software engineering,Systems engineering,Computer science,Software,Evidence-based practice | Journal | abs/1102.1 |
Citations | PageRank | References |
0 | 0.34 | 11 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yu Pei | 1 | 0 | 1.01 |
Yi Wei | 2 | 156 | 7.57 |
Carlo A. Furia | 3 | 384 | 33.74 |
Martin Nordio | 4 | 236 | 21.54 |
Bertrand Meyer | 5 | 3188 | 458.76 |