Write a Blog >>
ICSE 2021
Mon 17 May - Fri 4 June 2021

This program is tentative and subject to change.

Thu 27 May 2021 18:45 - 19:15 at Demonstration Room - 3.2. Testing 1 Chair(s): Francisco Servant

This demo paper presents the technical details and usage scenarios of μSE: a mutation-based tool for evaluating security-focused static analysis tools for Android. Mutation testing is generally used by software practitioners to assess the robustness of a given test-suite. However, we leverage this technique to systematically evaluate static analysis tools and uncover and document soundness issues. μSE’s analysis has found 25 previously undocumented flaws in static data leak detection tools for Android. μSE offers four mutation schemes, namely Reachability, Complex-reachability, TaintSink, and ScopeSink, which determine the locations of seeded mutants. Furthermore, the user can extend μSE by customizing the API calls targeted by the mutation analysis. μSE is also practical, as it makes use of filtering techniques based on compilation and execution criteria that reduces the number of ineffective mutations.

This program is tentative and subject to change.

Thu 27 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

18:45 - 19:15
3.2. Testing 1DEMO - Demonstrations at Demonstration Room
Chair(s): Francisco ServantVirginia Tech

Each demo makes a 2-minute presentation (displayed in the Demonstration room). At the end of each presentation, a breakout room will be created for each demo. Participants will be able to join and discuss with the authors.

18:45
30m
Demonstration
Efficient Fuzz Testing for Apache Spark Using Framework AbstractionDemonstration
DEMO - Demonstrations
Qian ZhangUniversity of California, Los Angeles, Jiyuan WangUniversity of California, Los Angeles, Muhammad Ali GulzarVirginia Tech, Rohan PadhyeCarnegie Mellon University, Miryung KimUniversity of California at Los Angeles, USA
Pre-print
18:45
30m
Demonstration
Quartermaster: A Tool for Modeling and Simulating System DegradationDemonstration
DEMO - Demonstrations
Matthew PopeBrigham Young University, Jonathan SillitoBrigham Young University
Pre-print
18:45
30m
Demonstration
Demo: Mutation-based Evaluation of Security-focused Static Analysis Tools for AndroidDemonstration
DEMO - Demonstrations
Amit Seal AmiWilliam & Mary, Kaushal KafleCollege of William & Mary, Kevin MoranGeorge Mason University, Adwait NadkarniWilliam & Mary, Denys PoshyvanykCollege of William & Mary
Pre-print