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

Procedure specifications are useful in many software development tasks. As one example, in automatic test case generation they can guide testing, act as test oracles able to reveal bugs, and identify illegal inputs. Whereas formal specifications are seldom available in practice, it is standard practice for developers to document their code with semi-structured comments. These comments express the procedure specification with a mix of predefined tags and natural language.

This paper presents JDoctor, an approach that combines pattern, lexical and semantic matching to translate Javadoc comments into executable procedure specifications written as Java expressions. In an empirical evaluation, JDoctor achieved precision of 91% and recall of 83% in translating Javadoc into procedure specifications.
We also supplied the JDoctor-derived specifications to an automated test case generation tool, Randoop. The specifications enabled Randoop to generate test cases that reveal more defects and produce fewer false alarms.

Tue 17 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30: ISSTA Technical Papers - Test and Oracle Generation at Zurich II
Chair(s): Sarfraz KhurshidUniversity of Texas at Austin
issta-2018-Technical-Papers16:00 - 16:20
Filip KrikavaCzech Technical University, Jan VitekNortheastern University
issta-2018-Technical-Papers16:20 - 16:40
Arianna BlasiUniversità della Svizzera italiana (USI) and IMDEA Software Institute, Alberto GoffiUniversità della Svizzera italiana (USI), Konstantin KuznetsovSaarland University, CISPA, Alessandra GorlaIMDEA Software Institute, Michael D. ErnstUniversity of Washington, USA, Mauro PezzèUniversity of Milano-Bicocca, Italy, Sergio Delgado CastellanosIMDEA Software Institute
issta-2018-Technical-Papers16:40 - 17:00
Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Dawn Song
issta-2018-Technical-Papers17:20 - 17:30