Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(5)
Automatic Generation
Automatic Testing
Program Debugging
Program Synthesis
State Diagram
Subscribe
Academic
Publications
Automated fixing of programs with contracts
Edit
Automated fixing of programs with contracts
(
Citations: 6
)
BibTex
|
RIS
|
RefWorks
Download
Yi Wei
,
Yu Pei
,
Carlo A. Furia
,
Lucas S. Silva
,
Stefan Buchholz
,
Bertrand Meyer
,
Andreas Zeller
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool automatically generates and validates fixes for software faults. The key insights behind AutoFix-E are to rely on contracts present in the software to ensure that the proposed fixes are semantically sound, and on state diagrams using an abstract notion of state based on the boolean queries of a class. Out of 42 faults found by an
automatic testing
tool in two widely used Eiffel libraries, AutoFix-E proposes successful fixes for 16 faults. Submitting some of these faults to experts shows that several of the proposed fixes are identical or close to fixes proposed by humans.
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 61-72, 2010
DOI:
10.1145/1831708.1831716
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
portal.acm.org
)
(
portal.acm.org
)
(
www.informatik.uni-trier.de
)
(
doi.acm.org
)
More »
Citation Context
(6)
...Given a buggy program, a failing test run and several passing test runs, the goal is to find automatically a fix for the program [JFGG09], [
WFLGN10
] that pass the failing test run...
...Two main approaches can be distinguished: approaches using mutation testing operators to suggest automatically fixes to faulty programs [DW10], [
WFLGN10
] and approaches using formal specifications to repair programs...
Nadjib Lazaar
,
et al.
A framework for the automatic correction of Constraint Programs
...only avoiding mistakes in the first place and documenting the software accurately, but also, if mistakes do remain, improving dramatically the eectiveness of tests (and opening up the possibility of proofs, as well as automatic correction [
32
])...
...Whenever a query en (i : INTEGER) with these characteristics exists, we denote by en the sequence of values en(m), en(m+1),..., en(M) it induces, where [m..M] is the integer interval determined by en’s precondition [
32
]...
Yi Wei
,
et al.
Inferring better contracts
...Finally, Wei at al. [
27
] automatically generate bug fixes based on deviation from invariants discovered from passing tests; they also use contracts present in Eiffel programs to validate automatically identified program repairs...
Satish Chandra
,
et al.
Angelic debugging
...The recently proposed AutoFix-E tool [
17
] attempts to bridge the gap between specification-based and test-based repair...
...We also envisage a possible integration of our technique with other contract and test suite coverage based techniques like AutoFix-E [
17
]...
Divya Gopinath
,
et al.
Specification-Based Program Repair Using SAT
...The result of this analysis is our AutoFix framework [
4
], part of a joint project with...
Bertrand Meyer
.
Automatic Testing and Fixing for Eiffel - (Extended Abstract)
References
(20)
Goal-Directed Debugging of Spreadsheets
(
Citations: 22
)
Robin Abraham
,
Martin Erwig
Conference:
IEEE Symposium on Visual Languages and Human Centric Computing - VL/HCC
, pp. 37-44, 2005
Test-driven goal-directed debugging in spreadsheets
(
Citations: 2
)
Robin Abraham
,
Martin Erwig
Conference:
IEEE Symposium on Visual Languages and Human Centric Computing - VL/HCC
, pp. 131-138, 2008
A novel co-evolutionary approach to automatic software bug fixing
(
Citations: 20
)
Andrea Arcuri
,
Xin Yao
Conference:
IEEE Congress on Evolutionary Computation - CEC
, pp. 162-168, 2008
Experimental assessment of random testing for object-oriented software
(
Citations: 22
)
Ilinca Ciupa
,
Andreas Leitner
,
Manuel Oriol
,
Bertrand Meyer
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 84-94, 2007
Generating Fixes from Object Behavior Anomalies
(
Citations: 7
)
Valentin Dallmeier
,
Andreas Zeller
,
Bertrand Meyer
Conference:
Automated Software Engineering - ASE
, pp. 550-554, 2009
Order by:
Citations
(6)
A framework for the automatic correction of Constraint Programs
(
Citations: 1
)
Nadjib Lazaar
,
Arnaud Gotlieb
,
Yahia Lebbah
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, pp. 319-326, 2011
Inferring better contracts
Yi Wei
,
Carlo A. Furia
,
Nikolay Kazmin
,
Bertrand Meyer
Conference:
International Conference on Software Engineering - ICSE
, pp. 191-200, 2011
Angelic debugging
Satish Chandra
,
Emina Torlak
,
Shaon Barman
,
Rastislav Bodík
Conference:
International Conference on Software Engineering - ICSE
, pp. 121-130, 2011
Specification-Based Program Repair Using SAT
Divya Gopinath
,
Muhammad Zubair Malik
,
Sarfraz Khurshid
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 173-188, 2011
Automatic Testing and Fixing for Eiffel - (Extended Abstract)
Bertrand Meyer
Conference:
Testing: Academic & Industrial Conference - Practice And Research Techniques - TAICPART
, pp. 1-4, 2010