Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
Fri 28 May 2021 10:55 - 11:25 at Demonstration Room - 4.1. Testing 2 Chair(s): Giuseppe Scanniello

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.

Conference Day
Fri 28 May

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

10:55 - 11:25
4.1. Testing 2DEMO - Demonstrations at Demonstration Room
Chair(s): Giuseppe ScannielloUniversity 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
30m
Demonstration
FastCA: An Effective and Efficient Tool for Combinatorial Covering Array GenerationDemonstration
DEMO - Demonstrations
Jinkun LinState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China, Shaowei CaiInstitute of Software at Chinese Academy of Sciences, China, Bing HeMicrosoft Research, China, Yingjie FuPeking University, China, Chuan LuoMicrosoft Research, China, Qingwei LinMicrosoft Research, Beijing, China
Pre-print Media Attached
10:55
30m
Demonstration
GAssert: A Fully Automated Tool to Improve Assertion OraclesDemonstration
DEMO - Demonstrations
Valerio TerragniThe University of Auckland, Gunel JahangirovaUSI Lugano, Switzerland, Paolo TonellaUSI Lugano, Switzerland, Mauro PezzeUSI Lugano, Switzerland
Pre-print Media Attached
10:55
30m
Demonstration
UIS-Hunter: Detecting UI Design Smells in Android AppsDemonstration
DEMO - Demonstrations
Bo YangZhejiang University, Zhenchang XingAustralian National University, Xin XiaHuawei Software Engineering Application Technology Lab, Chunyang ChenMonash University, Deheng YeTencent AI Lab, Shanping LiZhejiang University
Pre-print Media Attached
10:55
30m
Demonstration
Testing Framework for Black-box AI ModelsDemonstration
DEMO - Demonstrations
Aniya AggarwalIBM Research, India, Samiulla ShaikhIBM Research, India, Sandeep HansIBM India Research Lab, Swastik HaldarIBM Research, India, Rema AnanthanarayananIBM Research, India, Diptikalyan SahaIBM Research India
Pre-print Media Attached