A Bounded Symbolic-Size Model for Symbolic Execution (ESEC/FSE 2022 - ESEC/FSE 2021)

Write a Blog >>

Mon 14 - Fri 18 November 2022 Singapore

Who

David Trabish, Shachar Itzhaky, Noam Rinetzky

Track

ESEC/FSE 2022 ESEC/FSE 2021

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect 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

Save

When

Mon 14 Nov 2022 15:00 - 15:15 at SRC LT 53 - ESEC/FSE 21 - Software Testing Chair(s): Mike Papadakis

David Trabish

Tel Aviv University

Israel

Shachar Itzhaky

Technion

Israel

Noam Rinetzky

Tel Aviv University

Israel

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

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

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 14 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

14:00 - 15:30	ESEC/FSE 21 - Software TestingESEC/FSE 2021 at SRC LT 53 Chair(s): Mike Papadakis University of Luxembourg, Luxembourg

14:00 15m Talk		Synthesis of Web Layouts from Examples ESEC/FSE 2021 Dylan Lukes University of California at San Diego, John Sarracino University of California, San Diego, Cora Coleman University of California at San Diego, Hila Peleg Technion, Sorin Lerner University of California at San Diego, Nadia Polikarpova University of California at San Diego Link to publication DOI
14:15 15m Talk		Context-Aware and Data-Driven Feedback Generation for Programming Assignments ESEC/FSE 2021 Dowon Song Korea University, Woosuk Lee Hanyang University, Hakjoo Oh Korea University
14:30 15m Talk		Graph-Based Seed Object Synthesis for Search-Based Unit Testing ESEC/FSE 2021 Yun Lin National University of Singapore, You Sheng Ong National University of Singapore, Jun Sun Singapore Management University, Gordon Fraser University of Passau, Jin Song Dong National University of Singapore
14:45 15m Talk		Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic Bugs ESEC/FSE 2021 Jibesh Patra University of Stuttgart, Michael Pradel University of Stuttgart
15:00 15m Talk		A Bounded Symbolic-Size Model for Symbolic Execution ESEC/FSE 2021 David Trabish Tel Aviv University, Shachar Itzhaky Technion, Noam Rinetzky Tel Aviv University