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
(4)
Expected Value
Open Source
Regression Testing
Symbolic Execution
Subscribe
Academic
Publications
On test repair using symbolic execution
Edit
On test repair using symbolic execution
(
Citations: 3
)
BibTex
|
RIS
|
RefWorks
Download
Brett Daniel
,
Tihomir Gvero
,
Darko Marinov
When developers change a program, regression tests can fail not only due to faults in the program but also due to out- of-date test code that does not reect the desired behavior of the program. When this occurs, it is necessary to repair test code such that the tests pass. Repairing tests manually is dicult and time consuming. We recently developed Re- Assert, a tool that can automatically repair tests, but only if they lack complex control ow or operations on expected values. This paper introduces symbolic test repair, a technique based on symbolic execution, which can overcome some of ReAssert's limitations. We reproduce experiments from ear- lier work and nd that symbolic test repair improves upon previously reported results both quantitatively and quali- tatively. We also perform new experiments which conrm the benets of symbolic test repair and also show surprising similarities in test failures for open-source Java and .NET programs. Our experiments use Pex, a powerful
symbolic execution
engine for .NET, and we nd that Pex provides over half of the repairs possible from the theoretically ideal symbolic test repair.
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 207-218, 2010
DOI:
10.1145/1831708.1831734
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
)
(
mir.cs.illinois.edu
)
(
www.informatik.uni-trier.de
)
(
doi.acm.org
)
More »
Citation Context
(3)
...This paper presents our tool, ReAssert [
3
,4], that suggests repairs for failing unit tests while retaining their power to detect regressions...
...Our follow-up work [
3
] showed that using symbolic execution [8] could repair even more failures...
Brett Daniel
,
et al.
ReAssert: a tool for repairing broken unit tests
...Daniel et al. focused on automatically repairing test oracles [3], [
2
]...
Mehdi MirzaAghaei
,
et al.
Automatically repairing test cases for evolving method declarations
...Currently I am investigating approaches for the generation of oracles and oracle transformation, such as recent work by Marinov et al. [
5
], and inference of invariants for integrated code...
...Addressing the third issue of resolving the incompatibilities in test oracles for integrated test cases, I plan to apply the technique proposed by Marinov et al.[
5
] and to conduct controlled experiments with test developers to establish its suciency in the scope of my technique...
Konstantin Rubinov
.
Generating integration test cases automatically
References
(50)
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
Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation
(
Citations: 30
)
David Brumley
,
Juan Caballero
,
Zhenkai Liang
,
James Newsom
,
Dawn Song
Conference:
USENIX Security Symposium
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
(
Citations: 121
)
Cristian Cadar
,
Daniel Dunbar
,
Dawson R. Engler
Conference:
Operating Systems Design and Implementation - OSDI
, pp. 209-224, 2008
EXE: Automatically Generating Inputs of Death
(
Citations: 11
)
Cristian Cadar
,
Vijay Ganesh
,
Peter M. Pawlowski
,
David L. Dill
,
Dawson R. Engler
Journal:
ACM Transactions on Information and System Security - TISSEC
, vol. 12, no. 2, pp. 1-38, 2008
Symbolic evaluation methods for program analysis
(
Citations: 26
)
L. A. Clarke
,
D. J. Richardson
Published in 1981.
Order by:
Citations
(3)
ReAssert: a tool for repairing broken unit tests
Brett Daniel
,
Tihomir Gvero
,
Vilas Jagannath
,
Johnston Jiaa
,
Damion Mitchell
,
Jurand Nogiec
,
Shin Hwei Tan
,
Darko Marinov
Conference:
International Conference on Software Engineering - ICSE
, pp. 1010-1012, 2011
Automatically repairing test cases for evolving method declarations
(
Citations: 1
)
Mehdi MirzaAghaei
,
Fabrizio Pastore
,
Mauro Pezzè
Conference:
International Conference on Software Maintenance - ICSM
, pp. 1-5, 2010
Generating integration test cases automatically
Konstantin Rubinov
Published in 2010.