DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios (ICSE 2020 - Demonstrations) - ICSE 2020

Write a Blog >>

Wed 24 June - Thu 16 July 2020

Who

Bruno Lima, João Pascoal Faria

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:35 - 16:38 at Goguryeo - A5-Testing and Debugging 2 Chair(s): Marcelo d'Amorim

Bruno Lima

Faculty of Engineering, University of Porto and INESC TEC

Portugal

João Pascoal Faria

Faculty of Engineering, University of Porto and INESC TEC

Portugal

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