Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Wed 29 May 2019 17:20 - 17:40 at Duluth - Test Selection and Prioritization Chair(s): Robert Feldt

Regression test selection (RTS) reduces regression testing costs by re-running only tests that can change behavior due to code changes. To deal with the rapidly growing costs of regression testing, several RTS tools were recently developed and adopted by researchers and large software organizations. As RTS tools gain adoption, it becomes critical to check that they are correct and efficient. Unfortunately, checking RTS tools currently relies solely on limited sets of tests that RTS tool developers write.

We present RTSCheck , the first framework for checking RTS tools. RTSCheck feeds evolving programs (i.e., sequences of program revisions) to an RTS tool and checks the output against rules inspired by existing RTS test suites; violations of these rules are likely to be due to deviations from expected RTS tool behavior. RTSCheck uses three components to obtain evolving programs: (1) AutoEP automatically generates evolving programs and corresponding tests; (2) DefectsEP uses buggy and fixed program revisions from bug databases; and (3) EvoEP uses sequences of program revisions from actual histories of open-source projects. We use RTSCheck to check three recently developed RTS tools for Java: Clover, Ekstazi, and STARTS. RTSCheck discovered 27 bugs in the tools. Each RTSCheck component helped discover different bugs in all three RTS tools.

Wed 29 May

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 18:00
Test Selection and PrioritizationSoftware Engineering in Practice / Technical Track / Papers / Journal-First Papers at Duluth
Chair(s): Robert Feldt Chalmers University of Technology
16:00
20m
Talk
Improving Test Effectiveness Using Test Executions History: An Industrial Experience ReportSEIPIndustry Program
Software Engineering in Practice
Armin Najafi Concordia University, Weiyi Shang Concordia University, Canada, Peter Rigby Concordia University, Montreal, Canada
16:20
20m
Talk
FastLane: Test Minimization for Rapidly Deployed Large-scale Online ServicesTechnical TrackIndustry Program
Technical Track
Adithya Abraham Philip , Ranjita Bhagwan Microsoft Research India, Rahul Kumar Microsoft, Chandra Maddila Microsoft, Nachiappan Nagappan Microsoft Research
16:40
20m
Talk
Scalable Approaches for Test Suite ReductionArtifacts AvailableArtifacts Evaluated ReusableACM SIGSOFT Distinguished Paper AwardTechnical TrackIndustry Program
Technical Track
Emilio Cruciani Gran Sasso Science Institute, L'Aquila, Italy, Breno Miranda Federal University of Pernambuco, Roberto Verdecchia Gran Sasso Science Institute, Vrije Universiteit Amsterdam, Antonia Bertolino CNR-ISTI
Pre-print
17:00
20m
Talk
Using Machine Learning to Recommend Correctness Checks for Geographic Map DataSEIPIndustry Program
Software Engineering in Practice
Abhaya Parthy Apple Inc., Leopold Silberstein Apple Inc., Emily Kowalczyk Apple Inc., John Paul High Apple Inc., Adithya Nagarajan Apple Inc., Atif Memon Apple Inc.
17:20
20m
Talk
A Framework for Checking Regression Test Selection ToolsArtifacts Evaluated ReusableTechnical Track
Technical Track
Chenguang Zhu University of Texas, Austin, Owolabi Legunsen University of Illinois at Urbana-Champaign, August Shi University of Illinois at Urbana-Champaign, Milos Gligoric University of Texas at Austin
17:40
10m
Talk
ConTesa: Directed Test Suite Augmentation for Concurrent SoftwareJournal-First
Journal-First Papers
Tingting Yu University of Kentucky, Zunchen Huang , Chao Wang USC
17:50
10m
Talk
Discussion Period
Papers