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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

	11:00 - 11:20 Talk		A Graph Solver for the Automated Generation of Consistent Domain-Specific Models Technical Papers Oszkár SemeráthBudapest University of Technology and Economics, András Szabolcs Nagy, Daniel VarroMcGill University / Budapest University of Technology and Economics
	11:20 - 11:40 Talk		Automatically Finding Bugs in Cyber-Physical System Development Tool Chains With Slforge Technical Papers Shafiul Azam ChowdhuryUniversity of Texas at Arlington, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T JohnsonVanderbilt University, Christoph CsallnerUniversity of Texas at Arlington Pre-print
	11:40 - 12:00 Talk		Context-Aware Conversational Developer Assistants Technical Papers Nicholas BradleyUniversity of British Columbia, Thomas FritzUniversity of Zurich, University of British Columbia, Reid HolmesUniversity of British Columbia Pre-print Media Attached
	12:00 - 12:20 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 SarmaOregon State University, Margaret BurnettOregon State University Pre-print
	12:20 - 12:30 Talk		Q&A in groups Technical Papers