Using automatically generated invariants for regression testing and bug localization

Parth Sagdeo, Nicholas Ewalt, Debjit Pal, Shobha Vasudevan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present Preambl, an approach that applies automatically generated invariants to regression testing and bug localization. Our invariant generation methodology is Precis, an automatic and scalable engine that uses program predicates to guide clustering of dynamically obtained path information. In this paper, we apply it for regression testing and for capturing program predicates information to guide statistical analysis based bug localization. We present a technique to localize bugs in paths of variable lengths. We are able to map the localized post-deployment bugs on a path to pre-release invariants generated along that path. Our experimental results demonstrate the efficacy of the use of PRECIS for regression testing, as well as the ability of Preambl to zone in on relevant segments of program paths.

Original languageEnglish (US)
Title of host publication2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings
Pages634-639
Number of pages6
DOIs
StatePublished - 2013
Event2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Palo Alto, CA, United States
Duration: Nov 11 2013Nov 15 2013

Other

Other2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013
CountryUnited States
CityPalo Alto, CA
Period11/11/1311/15/13

Fingerprint

Testing
Statistical methods
Engines

ASJC Scopus subject areas

  • Software

Cite this

Sagdeo, P., Ewalt, N., Pal, D., & Vasudevan, S. (2013). Using automatically generated invariants for regression testing and bug localization. In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings (pp. 634-639). [6693125] https://doi.org/10.1109/ASE.2013.6693125

Using automatically generated invariants for regression testing and bug localization. / Sagdeo, Parth; Ewalt, Nicholas; Pal, Debjit; Vasudevan, Shobha.

2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. 2013. p. 634-639 6693125.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sagdeo, P, Ewalt, N, Pal, D & Vasudevan, S 2013, Using automatically generated invariants for regression testing and bug localization. in 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings., 6693125, pp. 634-639, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Palo Alto, CA, United States, 11/11/13. https://doi.org/10.1109/ASE.2013.6693125
Sagdeo P, Ewalt N, Pal D, Vasudevan S. Using automatically generated invariants for regression testing and bug localization. In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. 2013. p. 634-639. 6693125 https://doi.org/10.1109/ASE.2013.6693125
Sagdeo, Parth ; Ewalt, Nicholas ; Pal, Debjit ; Vasudevan, Shobha. / Using automatically generated invariants for regression testing and bug localization. 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. 2013. pp. 634-639
@inproceedings{b955aeaeb801447a945ae8daf046876e,
title = "Using automatically generated invariants for regression testing and bug localization",
abstract = "We present Preambl, an approach that applies automatically generated invariants to regression testing and bug localization. Our invariant generation methodology is Precis, an automatic and scalable engine that uses program predicates to guide clustering of dynamically obtained path information. In this paper, we apply it for regression testing and for capturing program predicates information to guide statistical analysis based bug localization. We present a technique to localize bugs in paths of variable lengths. We are able to map the localized post-deployment bugs on a path to pre-release invariants generated along that path. Our experimental results demonstrate the efficacy of the use of PRECIS for regression testing, as well as the ability of Preambl to zone in on relevant segments of program paths.",
author = "Parth Sagdeo and Nicholas Ewalt and Debjit Pal and Shobha Vasudevan",
year = "2013",
doi = "10.1109/ASE.2013.6693125",
language = "English (US)",
isbn = "9781479902156",
pages = "634--639",
booktitle = "2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings",

}

TY - GEN

T1 - Using automatically generated invariants for regression testing and bug localization

AU - Sagdeo, Parth

AU - Ewalt, Nicholas

AU - Pal, Debjit

AU - Vasudevan, Shobha

PY - 2013

Y1 - 2013

N2 - We present Preambl, an approach that applies automatically generated invariants to regression testing and bug localization. Our invariant generation methodology is Precis, an automatic and scalable engine that uses program predicates to guide clustering of dynamically obtained path information. In this paper, we apply it for regression testing and for capturing program predicates information to guide statistical analysis based bug localization. We present a technique to localize bugs in paths of variable lengths. We are able to map the localized post-deployment bugs on a path to pre-release invariants generated along that path. Our experimental results demonstrate the efficacy of the use of PRECIS for regression testing, as well as the ability of Preambl to zone in on relevant segments of program paths.

AB - We present Preambl, an approach that applies automatically generated invariants to regression testing and bug localization. Our invariant generation methodology is Precis, an automatic and scalable engine that uses program predicates to guide clustering of dynamically obtained path information. In this paper, we apply it for regression testing and for capturing program predicates information to guide statistical analysis based bug localization. We present a technique to localize bugs in paths of variable lengths. We are able to map the localized post-deployment bugs on a path to pre-release invariants generated along that path. Our experimental results demonstrate the efficacy of the use of PRECIS for regression testing, as well as the ability of Preambl to zone in on relevant segments of program paths.

UR - http://www.scopus.com/inward/record.url?scp=84893618931&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84893618931&partnerID=8YFLogxK

U2 - 10.1109/ASE.2013.6693125

DO - 10.1109/ASE.2013.6693125

M3 - Conference contribution

SN - 9781479902156

SP - 634

EP - 639

BT - 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings

ER -