GAssert: A Fully Automated Tool to Improve Assertion OraclesDemonstration
This demo presents the implementation and usage details of GASSERT, the first tool to automatically improve assertion oracles. Assertion oracles are executable boolean expressions placed inside the program that should pass (return true) for all correct executions and fail (return false) for all incorrect executions. Because designing perfect assertion oracles is difficult, assertions are prone to both false positives (the assertion fails but should pass) and false negatives (the assertion passes but should fail). Given a Java method containing an assertion oracle to improve, GASSERT returns an improved assertion with fewer false positives and false negatives than the initial assertion. Internally, GASSERT implements a novel co-evolutionary algorithm that explores the space of possible assertions guided by two fitness functions that reward assertions with fewer false positives, fewer false negatives, and smaller size.
Fri 28 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:55 - 11:25 | 4.1. Testing 2DEMO - Demonstrations at Demonstration Room Chair(s): Giuseppe Scanniello University of Basilicata Each demo makes a 1-minute presentation (displayed in the Demonstration room). At the end of each presentation, a breakout room will be created for each demo. Attendees will be able to join and discuss with the authors. | ||
10:55 30mDemonstration | FastCA: An Effective and Efficient Tool for Combinatorial Covering Array GenerationDemonstration DEMO - Demonstrations Jinkun Lin State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China, Shaowei Cai Institute of Software at Chinese Academy of Sciences, China, Bing He Microsoft Research, China, Yingjie Fu Peking University, China, Chuan Luo Microsoft Research, China, Qingwei Lin Microsoft Research, Beijing, China Pre-print Media Attached | ||
10:55 30mDemonstration | GAssert: A Fully Automated Tool to Improve Assertion OraclesDemonstration DEMO - Demonstrations Valerio Terragni The University of Auckland, Gunel Jahangirova USI Lugano, Switzerland, Paolo Tonella USI Lugano, Switzerland, Mauro Pezze USI Lugano, Switzerland Pre-print Media Attached | ||
10:55 30mDemonstration | UIS-Hunter: Detecting UI Design Smells in Android AppsDemonstration DEMO - Demonstrations Bo Yang Zhejiang University, Zhenchang Xing Australian National University, Xin Xia Huawei Software Engineering Application Technology Lab, Chunyang Chen Monash University, Deheng Ye Tencent AI Lab, Shanping Li Zhejiang University Pre-print Media Attached | ||
10:55 30mDemonstration | Testing Framework for Black-box AI ModelsDemonstration DEMO - Demonstrations Aniya Aggarwal IBM Research, India, Samiulla Shaikh IBM Research, India, Sandeep Hans IBM India Research Lab, Swastik Haldar IBM Research, India, Rema Ananthanarayanan IBM Research, India, Diptikalyan Saha IBM Research India Pre-print Media Attached |