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

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Who

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

Track

* ICSE 2018 * Technical Papers

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

Apply

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

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

Apply

Session Program

Fri 1 Jun (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Technical Papers - Software Tools and Environments 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

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

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

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

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