* ICSE 2018 * (series) / Technical Papers /
Automatically Finding Bugs in Cyber-Physical System Development Tool Chains With Slforge
Source code & data: https://github.com/verivital/slsf_randgen/wiki
Fri 1 Jun Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 1 Jun
Times are displayed in time zone: (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 | 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 | 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 | 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 | 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 | ||||||||||||||||||||||||||||||||||||||||||