ECOOP and ISSTA 2018 (series) / ISSTA 2018 (series) / ISSTA Tool Demonstrations /
OASIs: Oracle Assessment and Improvement Tool
The oracle problem remains one of the key challenges in software testing, for which little automated support has been developed so far. We introduce OASIs, a search-based tool for Java that assists testers in oracle assessment and improvement. It does so by combining test case generation to reveal false positives and mutation testing to reveal false negatives. In this work, we describe how OASIs works, provide details of its implementation, and explain how it can be used in iterative oracle improvement process with a human in the loop. Finally we present a summary of an empirical evaluation showing that the fault detection rate of the oracles after improvement using OASIs increases, on average, by 48.6%.
Wed 18 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:00: Tool DemosISSTA Tool Demonstrations at Zurich II Chair(s): Saba AlimadadiNortheastern University | |||
16:00 - 16:10 | Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs ISSTA Tool Demonstrations 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, Tomáš VojnarBrno University of Technology | ||
16:10 - 16:20 | LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps ISSTA Tool Demonstrations Jiwei YanInstitute of Software, Chinese Academy of Sciences, Linjie PanInstitute of Software, Chinese Academy of Sciences, Yaqi LiInstitute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangBeihang University | ||
16:20 - 16:30 | Managing Concurrent Testing of Data Race with ComRaDe ISSTA Tool Demonstrations Jian GaoSchool of Software, Tsinghua University, Xin Yang , Yu Jiang, Han Liu, Weiliang Ying , Wanting SunBeijing University of Posts and Telecommunications, Ming Gu | ||
16:30 - 16:40 | OASIs: Oracle Assessment and Improvement Tool ISSTA Tool Demonstrations Gunel JahangirovaFondazione Bruno Kessler & University College London, David ClarkUniversity College London, Mark HarmanFacebook and University College London, Paolo TonellaFondazione Bruno Kessler | ||
16:40 - 16:50 | Mutode: Generic JavaScript and Node.js Mutation Testing Tool ISSTA Tool Demonstrations Diego Rodríguez-BaqueroUniversidad de los Andes, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia | ||
16:50 - 17:00 | MalViz: An Interactive Visualization Tool for Tracing Malware ISSTA Tool Demonstrations Vinh The NguyenTexas Tech University, Tommy DangTexas Tech University, Akbar Siami NaminTexas Tech University |