PG-KLEE: Trading Soundness for Coverage (ICSE 2020 - Demonstrations) - ICSE 2020

Write a Blog >>

Wed 24 June - Thu 16 July 2020

Who

Richard Rutledge, Alessandro Orso

Track

ICSE 2020 Demonstrations

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Tue 7 Jul 2020 16:50 - 16:53 at Goguryeo - A5-Testing and Debugging 2 Chair(s): Marcelo d'Amorim
Wed 8 Jul 2020 17:10 - 18:00 at Live Demo Room - AD3-Live Demos

Richard Rutledge

Georgia Institute of Technology

United States

Alessandro Orso

Georgia Tech

United States

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Tue 7 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

	16:05 - 17:05	A5-Testing and Debugging 2Demonstrations / New Ideas and Emerging Results / Technical Papers at Goguryeo Chair(s): Marcelo d'Amorim Federal University of Pernambuco

	16:05 12m Talk		Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic ExecutionTechnical Technical Papers Hui Guo University of California, Davis, Cindy Rubio-González University of California, Davis
	16:17 12m Talk		A Study on the Lifecycle of Flaky TestsTechnical Technical Papers Wing Lam University of Illinois at Urbana-Champaign, Kıvanç Muşlu Microsoft, Hitesh Sajnani Microsoft , Suresh Thummalapenta Microsoft
	16:29 6m Talk		Is Your Quantum Program Bug-Free?NIER New Ideas and Emerging Results Andriy Miranskyy Ryerson University, Lei Zhang Ryerson University, Javad Doliskani Ryerson University, Toronto, Canada Pre-print
	16:35 3m Talk		DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test ScenariosDemo Demonstrations Bruno Lima Faculty of Engineering, University of Porto and INESC TEC, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC
	16:38 12m Talk		Ankou: Guiding Grey-box Fuzzing towards Combinatorial DifferenceTechnical Technical Papers Valentin Manès CSRC, KAIST, Soomin Kim KAIST, Sang Kil Cha KAIST
	16:50 3m Talk		PG-KLEE: Trading Soundness for CoverageDemo Demonstrations Richard Rutledge Georgia Institute of Technology, Alessandro Orso Georgia Tech
	16:53 6m Talk		Blending Kinematic and Software Models for Tighter Reachability AnalysisNIER New Ideas and Emerging Results Carl Hildebrandt University of Virginia, Sebastian Elbaum University of Virginia, USA, Nicola Bezzo University of Virginia

Wed 8 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

	17:10 - 18:00	AD3-Live DemosDemonstrations at Live Demo Room

	17:10 50m Talk		PG-KLEE: Trading Soundness for CoverageDemo Demonstrations Richard Rutledge Georgia Institute of Technology, Alessandro Orso Georgia Tech
	17:10 50m Talk		SMRL: A Metamorphic Security Testing Tool for Web SystemsDemo Demonstrations Phu X. Mai University of Luxembourg, Arda Goknil SnT, University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel C. Briand SnT Centre/University of Luxembourg
	17:10 50m Talk		Nimbus: Improving the Developer Experience for Serverless ApplicationsDemo Demonstrations Robert Chatley Imperial College London, Thomas Allerton Starling Bank Pre-print