Demonstrations: Verification and Validation I
Wednesday May 18, 2:00 pm - 3:30 pm
Session Chair: Aditya Nori
Room: Sabine
02:00 - 02:20 PM ― SimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers
- Reza Matinnejad, University of Luxembourg, Luxembourg
- Shiva Nejati, University of Luxembourg, Luxembourg
- Lionel Briand, University of Luxembourg, Luxembourg
- Thomas Bruckmann, Delphi Automotive Systems, Luxembourg
02:20 - 02:40 PM ― SMACK Software Verification Toolchain
- Montgomery Carter, University of Utah, United States
- Shaobo He, University of Utah, United States
- Jonathan Whitaker, University of Utah, United States
- Zvonimir Rakamaric, University of Utah, United States
- Michael Emmi, IMDEA Software Institute, Spain
02:40 - 03:00 PM ― FOREPOST: A Tool For Detecting Performance Problems with Feedback-Driven Learning Software Testing
- Qi Luo, The College of William and Mary, United States
- Denys Poshyvanyk, The College of William and Mary, United States
- Aswathy Nair, University of Illinois at Chicago, United States
- Mark Grechanik, University of Illinois at Chicago, United States
