ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Tue 17 Jul 2018 16:00 - 16:20 at Zurich II - Test and Oracle Generation Chair(s): Sarfraz Khurshid

Unit tests are labor-intensive to write and maintain. This paper looks into the possibility of automatically generating tests for a software package from the execution traces of clients of that package. Our objectives are to reduce the effort in creating test suites, minimizing the number and size of individual tests while maximizing coverage. To evaluate the viability of our approach we selected a challenging target for automated test genration, namely R, a programming language that is popular for data science applications. The challenges presented by R are its extreme dynamism and the lack of types. The combination of these decrease the efficacy of traditional test generation techniques. We present Genthat, a tool that we have developed over the last couple of years to, non- invasively, record execution traces of R programs and extract unit tests from those traces. We have carried out an evaluation on 1.7M lines of R code. The unit tests generated by Genthat improved code coverage on average from 267,113 lines to 704,450 lines.

Tue 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
Test and Oracle GenerationISSTA Technical Papers at Zurich II
Chair(s): Sarfraz Khurshid University of Texas at Austin
16:00
20m
Talk
Tests from Traces: Automated Unit Test Extraction for R
ISSTA Technical Papers
Filip Křikava Czech Technical University, Jan Vitek Northeastern University
16:20
20m
Talk
Translating Code Comments to Procedure Specifications
ISSTA Technical Papers
Arianna Blasi Università della Svizzera italiana (USI) and IMDEA Software Institute, Alberto Goffi Università della Svizzera italiana (USI), Konstantin Kuznetsov Saarland University, CISPA, Alessandra Gorla IMDEA Software Institute, Michael D. Ernst University of Washington, USA, Mauro Pezzè University of Milano-Bicocca, Italy, Sergio Delgado Castellanos IMDEA Software Institute
16:40
20m
Talk
PerfFuzz: Automatically Generating Pathological InputsDistinguished Paper
ISSTA Technical Papers
Caroline Lemieux University of California, Berkeley, Rohan Padhye University of California, Berkeley, Koushik Sen University of California, Berkeley, Dawn Song
17:20
10m
Q&A in groups
ISSTA Technical Papers