Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Wed 18 Jul 2018 17:00 - 20:00 at Matterhorn - Poster session Chair(s): Lisa Nguyen Quang Do

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.

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

17:00 - 20:00: Poster sessionECOOP and ISSTA Posters at Matterhorn
Chair(s): Lisa Nguyen Quang DoPaderborn University
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Dawn Song
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno Dumas
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Jaekwon LeeUniversity of Luxembourg, Luxembourg, Dongsun KimUniversity of Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Woosung JungSeoul National University of Education, Yves Le TraonUniversity of Luxembourg
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Asanka SayakkaraUniversity College Dublin, Nhien-An Le-KhacUniversity College Dublin, Mark ScanlonUniversity College Dublin
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Luc BläserHochschule für Technik Rapperswil
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Yannis SmaragdakisUniversity of Athens, George KastrinisUniversity of Athens
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Jiajun JiangPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Qing GaoPeking University, Xiangqun ChenPeking University
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Seung Yeob ShinSnT Centre/University of Luxembourg, Shiva NejatiSnT Centre/University of Luxembourg, Mehrdad SabetzadehSnT Centre/University of Luxembourg, Lionel BriandSnT Centre/University of Luxembourg, Frank ZimmerSES Techcom
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Kareem KhazemUniversity College London, Earl T. Barr, Petr HosekGoogle, Inc.
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Jan FiedorBrno University of Technology, Monika MužikovskáBrno University of Technology, Aleš SmrčkaBrno University of Technology, Ondřej VašíčekBrno University of Technology, Tomas VojnarBrno University of Technology
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Matteo BiagiolaFondazione Bruno Kessler, Trento, Italy, Paolo TonellaFondazione Bruno Kessler, Filippo RiccaDIBRIS, University of Genova, Italy
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Wing LamUniversity of Illinois at Urbana-Champaign, Siwakorn SrisakaokulUniversity of Illinois at Urbana-Champaign, USA, Blake BassettUniversity of Illinois at Urbana-Champaign, USA, Peyman MahdianUniversity of Illinois at Urbana-Champaign, USA, Tao Xie
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Neville GrechUniversity of Athens, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Julien Gascon-Samson, Kumseok JungUniversity of British Columbia, Shivanshu GoyalUniversity of British Columbia, Armin Rezaiean-AselUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHPI, University of Potsdam
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Gunel JahangirovaFondazione Bruno Kessler & University College London, David ClarkUniversity College London, Mark HarmanFacebook and University College London, Paolo TonellaFondazione Bruno Kessler
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Chris CumminsUniversity of Edinburgh, Pavlos PetoumenosUniversity of Edinburgh, Alastair MurrayCodeplay Software, Hugh LeatherUniversity of Edinburgh
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
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 PezzeUniversità della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca, Sergio Delgado CastellanosIMDEA Software Institute
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Goran PiskachevFraunhofer IEM
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Tegan Brennan, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara, Corina S PasareanuNASA Ames Research Center
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Yanlin WangUniversity of Hong Kong, Haoyuan Zhang, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Marco ServettoVictoria University of Wellington
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Stefan KrügerUniversity of Paderborn, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Lina QiuUniversity of British Columbia, YINGYING WANG, Julia RubinUniversity of British Columbia
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Yannic NollerHumboldt-Universität zu Berlin, Rody KerstenSynopsys, Inc., Corina S PasareanuNASA Ames Research Center
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Neville GrechUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Filip KrikavaCzech Technical University, Jan VitekNortheastern University
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Haoyu Wang, Jacques KleinUniversity of Luxembourg, SnT
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Andreas SchulerUniversity of Applied Sciences Upper Austria, Gabriele Anderst-KotsisJohannes Kepler University, Linz, Austria
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Juliana FrancoMicrosoft Research, Cambridge, Alexandros TasosImperial College London, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Susan EisenbachImperial College London
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Tianxiao Gu, Xiaoxing MaNanjing University, Chang XuNanjing University, Yanyan JiangNanjing University, Chun CaoNanjing University, Jian LuNanjing University
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Aleksandar ProkopecOracle Labs, Fengyun LiuEPFL, Switzerland
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerPhilipps-Universität Marburg, Guido SalvaneschiTU Darmstadt, Bernd FreislebenPhilipps-Universität Marburg, Mira MeziniTU Darmstadt
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Dan IorgaImperial College London, UK, Alastair DonaldsonImperial College London
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Hannes ThallerInstitute for Software Systems Engineering, Johannes Kepler University, Linz
17:00 - 20:00
Demonstration
ECOOP and ISSTA Posters
Diego Rodríguez-BaqueroUniversidad de los Andes, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Jonathan BellGeorge Mason University, Luís PinaGeorge Mason University
Media Attached
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Mattia FazziniGeorgia Institute of Technology, Martin PrammerGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech
17:00 - 20:00
Poster
ECOOP and ISSTA Posters
Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology