Automatically Finding Bugs in Cyber-Physical System Development Tool Chains With Slforge (* ICSE 2018 * - Technical Papers )

Who

Shafiul Azam Chowdhury, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T Johnson, Christoph Csallner

Track

* ICSE 2018 * Technical Papers

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Fri 1 Jun 2018 11:20 - 11:40 at J2 room - Software Tools and Environments Chair(s): Barbora Buhnova

Abstract

Source code & data: https://github.com/verivital/slsf_randgen/wiki

Link to Preprint

http://ranger.uta.edu/~csallner/papers/Chowdhury18SLforge.pdf

Shafiul Azam Chowdhury

University of Texas at Arlington

United States

Soumik Mohian

United States

Sidharth Mehra

Siddhant Gawsane

Taylor T Johnson

Vanderbilt University

United States

Christoph Csallner

University of Texas at Arlington

United States

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

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

11:00 - 12:30	Software Tools and EnvironmentsTechnical Papers at J2 room Chair(s): Barbora Buhnova Masaryk University

11:00 20m Talk		A Graph Solver for the Automated Generation of Consistent Domain-Specific Models Technical Papers Oszkár Semeráth Budapest University of Technology and Economics, András Szabolcs Nagy , Daniel Varro McGill University / Budapest University of Technology and Economics
11:20 20m Talk		Automatically Finding Bugs in Cyber-Physical System Development Tool Chains With Slforge Technical Papers Shafiul Azam Chowdhury University of Texas at Arlington, Soumik Mohian , Sidharth Mehra , Siddhant Gawsane , Taylor T Johnson Vanderbilt University, Christoph Csallner University of Texas at Arlington Pre-print
11:40 20m Talk		Context-Aware Conversational Developer Assistants Technical Papers Nick Bradley University of British Columbia, Thomas Fritz University of Zurich, University of British Columbia, Reid Holmes University of British Columbia Pre-print Media Attached
12:00 20m Full-paper		Open Source barriers to entry, revisited: A tools perspective Technical Papers Christopher Mendez , Hema Susmita Padala , Zoe Steine-Hanson , Claudia Hilderbrand , Amber Horvath , Charles Hill , Logan Simpson , Nupoor Patil , Anita Sarma Oregon State University, Margaret Burnett Oregon State University Pre-print
12:20 10m Talk		Q&A in groups Technical Papers