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
AN - SCOPUS:84893618931
SN - 9781479902156
T3 - 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings
SP - 634
EP - 639
BT - 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings
T2 - 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013
Y2 - 11 November 2013 through 15 November 2013
ER -