ISSTA 2017 (series) /
ISSTA 2017 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 10 JulDisplayed time zone: Tijuana, Baja California change
Mon 10 Jul
Displayed time zone: Tijuana, Baja California change
08:00 - 12:00 | |||
08:00 4hRegistration | Registration Agenda | ||
08:45 - 09:00 | |||
08:45 15mDay opening | ISSTA 2017 Opening Agenda Tevfik Bultan University of California, Santa Barbara, Koushik Sen University of California, Berkeley | ||
09:00 - 10:00 | |||
09:00 60mTalk | Keynote Talk: Advances and Challenges in Program Synthesis Keynotes Armando Solar-Lezama MIT CSAIL | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee Break Catering | ||
10:30 - 12:10 | |||
10:30 25mTalk | One Test to Rule Them All Technical Papers Alex Groce Northern Arizona University, Josie Holmes Pennsylvania State University, USA, Kevin Kellar DOI | ||
10:55 25mTalk | Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration Technical Papers Helge Spieker Simula Research Laboratory, Norway, Arnaud Gotlieb Simula Research Laboratory, Norway, Dusica Marijan Simula, Morten Mossige University of Stavanger, Norway / ABB Robotics, Norway DOI | ||
11:20 25mTalk | PerfRanker: Prioritization of Performance Regression Tests for Collection-Intensive Software Technical Papers Shaikh Mostafa University of Texas at San Antonio, USA, Xiaoyin Wang University of Texas at San Antonio, USA, Tao Xie University of Illinois at Urbana-Champaign DOI | ||
11:45 25mTalk | Compiler-Assisted Test Acceleration on GPUs for Embedded Software Technical Papers Vanya Yaneva University of Edinburgh, UK, Ajitha Rajan University of Edinburgh, UK, Christophe Dubach University of Edinburgh DOI | ||
12:00 - 13:45 | |||
12:00 1h45mLunch | Lunch Catering | ||
13:45 - 14:35 | |||
13:45 25mTalk | Targeted Property-Based Testing Technical Papers DOI | ||
14:10 25mTalk | Generating Unit Tests with Descriptive Names Or: Would You Name Your Children Thing1 and Thing2? Technical Papers Ermira Daka University of Sheffield, UK, José Miguel Rojas University of Sheffield, Gordon Fraser University of Sheffield DOI | ||
14:35 - 15:05 | Lightning TalksDemonstrations at Bren 1414 Chair(s): Yuriy Brun University of Massachusetts, Amherst, Neha Rungta Amazon Web Services | ||
14:35 2mDemonstration | Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool Demonstrations John-Paul Ore University of Nebraska-Lincoln, USA, Carrick Detweiler University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA DOI | ||
14:37 2mDemonstration | A Suite of Tools for Making Effective Use of Automatically Generated Tests Demonstrations DOI | ||
14:39 2mDemonstration | ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages Demonstrations Thomas Walsh University of Sheffield, UK, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield DOI | ||
14:41 2mDemonstration | CUT: Automatic Unit Testing in the Cloud Demonstrations Alessio Gambi Saarland University, Germany, Sebastian Kappler Saarland University, Germany, Johannes Lampel Saarland University, Germany, Andreas Zeller Saarland University DOI | ||
14:43 2mDemonstration | XFix: An Automated Tool for the Repair of Layout Cross Browser Issues Demonstrations Sonal Mahajan University of Southern California, USA, Abdulmajeed Alameer University of Southern California, USA, Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California DOI | ||
14:45 2mDemonstration | THEMIS: A Tool for Decentralized Monitoring Algorithms Demonstrations Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria DOI | ||
14:47 2mDemonstration | JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder Demonstrations Xuan-Bach D. Le Singapore Management University, Singapore, Duc-Hiep Chu National University of Singapore, David Lo Singapore Management University, Claire Le Goues Carnegie Mellon University, Willem Visser Stellenbosch University DOI | ||
14:49 2mDemonstration | ArtForm: A Tool for Exploring the Codebase of Form-Based Websites Demonstrations Ben Spencer University of Oxford, Michael Benedikt University of Oxford, UK, Anders Møller Aarhus University, Franck van Breugel York University, Canada DOI | ||
14:52 2mDemonstration | ParTeCL: Parallel Testing using OpenCL Demonstrations Vanya Yaneva University of Edinburgh, UK, Ajitha Rajan University of Edinburgh, UK, Christophe Dubach University of Edinburgh DOI | ||
14:54 2mDemonstration | Verifying Digital Systems with MATLAB Demonstrations Lennon Chaves Federal University of Amazonas, Brazil, Iury Bessa Federal University of Amazonas, Brazil, Lucas C. Cordeiro University of Oxford, UK, Eddie Lima Samsung Electronics, Brazil, Daniel Kroening University of Oxford DOI | ||
14:56 2mDemonstration | SealTest: A Simple Library for Test Sequence Generation Demonstrations Sylvain Hallé Université du Québec à Chicoutimi, Canada, Raphael Khoury Université du Québec à Chicoutimi, Canada DOI | ||
14:58 2mDemonstration | GitcProc: A Tool for Processing and Classifying GitHub Commits Demonstrations Casey Casalnuovo University of California at Davis, USA, Yagnik Suchak University of California at Davis, USA, Baishakhi Ray , Cindy Rubio-González University of California, Davis DOI | ||
15:00 2mDemonstration | Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering Demonstrations DOI | ||
15:02 2mDemonstration | LabPal: Repeatable Computer Experiments Made Easy Demonstrations Sylvain Hallé Université du Québec à Chicoutimi, Canada DOI | ||
15:05 - 16:00 | |||
15:05 55mDemonstration | GitcProc: A Tool for Processing and Classifying GitHub Commits Demonstrations Casey Casalnuovo University of California at Davis, USA, Yagnik Suchak University of California at Davis, USA, Baishakhi Ray , Cindy Rubio-González University of California, Davis DOI | ||
15:05 55mDemonstration | ArtForm: A Tool for Exploring the Codebase of Form-Based Websites Demonstrations Ben Spencer University of Oxford, Michael Benedikt University of Oxford, UK, Anders Møller Aarhus University, Franck van Breugel York University, Canada DOI | ||
15:05 55mDemonstration | LabPal: Repeatable Computer Experiments Made Easy Demonstrations Sylvain Hallé Université du Québec à Chicoutimi, Canada DOI | ||
15:05 55mDemonstration | CUT: Automatic Unit Testing in the Cloud Demonstrations Alessio Gambi Saarland University, Germany, Sebastian Kappler Saarland University, Germany, Johannes Lampel Saarland University, Germany, Andreas Zeller Saarland University DOI | ||
15:05 55mDemonstration | A Suite of Tools for Making Effective Use of Automatically Generated Tests Demonstrations DOI | ||
15:05 55mDemonstration | Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering Demonstrations DOI | ||
15:05 55mDemonstration | JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder Demonstrations Xuan-Bach D. Le Singapore Management University, Singapore, Duc-Hiep Chu National University of Singapore, David Lo Singapore Management University, Claire Le Goues Carnegie Mellon University, Willem Visser Stellenbosch University DOI | ||
15:05 - 16:00 | |||
15:05 55mCoffee break | Coffee Break + Poster Sessions Catering | ||
16:00 - 17:15 | |||
16:00 25mTalk | Accelerating Array Constraints in Symbolic Execution Technical Papers David Mitchel Perry Purdue University, Andrea Mattavelli Imperial College London, Xiangyu Zhang Purdue University, Cristian Cadar Imperial College London DOI | ||
16:25 25mTalk | Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics Technical Papers Wei Sun University of Nebraska-Lincoln, USA, Lisong Xu University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA DOI | ||
16:50 25mTalk | Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs Technical Papers Pietro Braione University of Milano-Bicocca, Italy, Giovanni Denaro University of Milano-Bicocca, Italy, Andrea Mattavelli Imperial College London, Mauro Pezzè University of Milano-Bicocca, Italy DOI | ||
18:30 - 20:30 | |||
18:30 2hSocial Event | Reception for ISSTA Catering | ||
Tue 11 JulDisplayed time zone: Tijuana, Baja California change
Tue 11 Jul
Displayed time zone: Tijuana, Baja California change
08:00 - 12:00 | |||
08:00 4hRegistration | Registration Agenda | ||
09:00 - 10:00 | Tuesday KeynoteKeynotes at Bren 1414 Chair(s): Tevfik Bultan University of California, Santa Barbara | ||
09:00 60mTalk | Keynote Talk: Finding Vulnerabilities in Embedded Software Keynotes Christopher Kruegel University of California, Santa Barbara | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee Break Catering | ||
10:30 - 11:45 | |||
10:30 25mTalk | Efficient Computation of Happens-Before Relation for Event-Driven Programs Technical Papers Pallavi Maiya Indian Institute of Science, Bangalore, Aditya Kanade Indian Institute of Science, Bangalore DOI | ||
10:55 25mTalk | Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software Technical Papers Yu Wang Nanjing University, China, Linzhang Wang , Tingting Yu University of Kentucky, Jianhua Zhao Nanjing University, China, Xuandong Li Nanjing University DOI | ||
11:20 25mTalk | Monitoring Decentralized Specifications Technical Papers Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria DOI | ||
11:45 - 13:20 | |||
11:45 1h35mMeeting | ISSTA Steering Committee Meeting Agenda | ||
11:45 - 13:20 | |||
11:45 1h35mLunch | Lunch Catering | ||
13:20 - 15:00 | Dynamic AnalysisTechnical Papers at Bren 1414 Chair(s): Tao Xie University of Illinois at Urbana-Champaign | ||
13:20 25mTalk | Effective Online Software Anomaly Detection Technical Papers Yizhen Chen SUNY Albany, USA, Ming Ying SUNY Albany, USA, Daren Liu SUNY Albany, USA, Adil Alim SUNY Albany, USA, Feng Chen SUNY Albany, USA, Mei-Hwa Chen SUNY Albany, USA DOI | ||
13:45 25mTalk | Semi-Automated Discovery of Server-Based Information Oversharing Vulnerabilities in Android Applications Technical Papers William Koch Boston University, USA, Abdelberi Chaabane Northeastern University, USA, Manuel Egele Boston University, USA, William Robertson Northeastern University, USA, Engin Kirda Northeastern University, USA DOI | ||
14:10 25mTalk | CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program Technical Papers Yonghwi Kwon Purdue University, Weihang Wang Purdue University, Yunhui Zheng IBM Research, Xiangyu Zhang Purdue University, Dongyan Xu Purdue University, USA DOI | ||
14:35 25mTalk | An Actionable Performance Profiler for Optimizing the Order of Evaluations Technical Papers Marija Selakovic TU Darmstadt, Germany, Thomas Glaser TU Darmstadt, Germany, Michael Pradel TU Darmstadt DOI | ||
15:00 - 16:00 | |||
15:00 60mDemonstration | SealTest: A Simple Library for Test Sequence Generation Demonstrations Sylvain Hallé Université du Québec à Chicoutimi, Canada, Raphael Khoury Université du Québec à Chicoutimi, Canada DOI | ||
15:00 60mDemonstration | XFix: An Automated Tool for the Repair of Layout Cross Browser Issues Demonstrations Sonal Mahajan University of Southern California, USA, Abdulmajeed Alameer University of Southern California, USA, Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California DOI | ||
15:00 60mDemonstration | Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool Demonstrations John-Paul Ore University of Nebraska-Lincoln, USA, Carrick Detweiler University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA DOI | ||
15:00 60mDemonstration | ParTeCL: Parallel Testing using OpenCL Demonstrations Vanya Yaneva University of Edinburgh, UK, Ajitha Rajan University of Edinburgh, UK, Christophe Dubach University of Edinburgh DOI | ||
15:00 60mDemonstration | THEMIS: A Tool for Decentralized Monitoring Algorithms Demonstrations Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria DOI | ||
15:00 60mDemonstration | Verifying Digital Systems with MATLAB Demonstrations Lennon Chaves Federal University of Amazonas, Brazil, Iury Bessa Federal University of Amazonas, Brazil, Lucas C. Cordeiro University of Oxford, UK, Eddie Lima Samsung Electronics, Brazil, Daniel Kroening University of Oxford DOI | ||
15:00 60mDemonstration | ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages Demonstrations Thomas Walsh University of Sheffield, UK, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield DOI | ||
15:00 - 16:00 | |||
15:00 60mCoffee break | Coffee Break + Poster Sessions Catering | ||
16:00 - 17:15 | |||
16:00 25mTalk | Testing and Analysis of Web Applications using Page Models Technical Papers DOI | ||
16:25 25mTalk | Automated Layout Failure Detection for Responsive Web Pages without an Explicit Oracle Technical Papers Thomas Walsh University of Sheffield, UK, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield DOI | ||
16:50 25mTalk | Test Execution Checkpointing for Web Applications Technical Papers Marco Guarnieri ETH Zurich, Switzerland, Petar Tsankov ETH Zurich, Tristan Buchs EPFL, Switzerland, Mohammad Torabi Dashti ETH Zurich, Switzerland, David Basin ETH Zurich, Switzerland DOI | ||
17:45 - 20:00 | |||
17:45 2h15mSocial Event | Beach BBQ Catering | ||
Wed 12 JulDisplayed time zone: Tijuana, Baja California change
Wed 12 Jul
Displayed time zone: Tijuana, Baja California change
08:00 - 12:00 | |||
08:00 4hRegistration | Registration Agenda | ||
09:00 - 09:30 | |||
09:00 30mTalk | ISSTA 2017 Impact Paper Award: Dytan: a generic dynamic taint analysis framework Agenda Link to publication DOI | ||
09:00 - 10:00 | |||
09:00 60mDay opening | RERS 2017 Challenge Overview, Scored Achievements, and Ranking (Bernhard Steffen) SPIN RERS | ||
09:30 - 09:55 | |||
09:30 25mTalk | Experience Paper: A Study on Behavioral Backward Incompatibilities of Java Software Libraries Technical Papers Shaikh Mostafa University of Texas at San Antonio, USA, Rodney Rodriguez University of Texas at San Antonio, USA, Xiaoyin Wang University of Texas at San Antonio, USA DOI | ||
09:55 - 10:00 | |||
09:55 5mOther | ISSTA 2018 Preview Agenda Frank Tip Northeastern University | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee Break Catering | ||
10:30 - 11:45 | |||
10:30 25mTalk | Identifying Test-Suite-Overfitted Patches through Test Case Generation Technical Papers DOI | ||
10:55 25mTalk | Impact of Tool Support in Patch Construction Technical Papers Anil Koyuncu University of Luxembourg, Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Dongsun Kim University of Luxembourg, Jacques Klein University of Luxembourg, Martin Monperrus , Yves Le Traon University of Luxembourg DOI | ||
11:20 25mTalk | Automated Repair of Layout Cross Browser Issues using Search-Based Techniques Technical Papers Sonal Mahajan University of Southern California, USA, Abdulmajeed Alameer University of Southern California, USA, Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California DOI | ||
10:30 - 12:00 | |||
10:30 90mTalk | Approaches and Results (presentations by participants) SPIN RERS | ||
11:45 - 13:20 | |||
11:45 1h35mLunch | Lunch Catering | ||
13:20 - 15:00 | Fault Localization and Mutation TestingTechnical Papers at Bren 1414 Chair(s): Alex Orso Georgia Institute of Technology | ||
13:20 25mTalk | Boosting Spectrum-Based Fault Localization using PageRank Technical Papers Mengshi Zhang University of Texas at Austin, USA, Xia Li University of Texas at Dallas, USA, Lingming Zhang , Sarfraz Khurshid University of Texas at Austin DOI | ||
13:45 25mTalk | FLUCCS: Using Code and Change Metrics to Improve Fault Localization Technical Papers DOI | ||
14:10 25mTalk | Inferring Mutant Utility from Program Context Technical Papers René Just University of Massachusetts, USA, Bob Kurtz George Mason University, USA, Paul Ammann George Mason University, USA DOI Pre-print | ||
14:35 25mTalk | Faster Mutation Analysis via Equivalence Modulo States Technical Papers Bo Wang Peking University, China, Yingfei Xiong Peking University, Yangqingwei Shi Peking University, Lu Zhang Peking University, Dan Hao Peking University DOI Pre-print | ||
13:30 - 15:00 | |||
13:30 45mTalk | Generating the RERS 2017 Parallel Verification Benchmarks (Marc Jasper) SPIN RERS | ||
14:15 45mTalk | Exploiting Benchmark Data by Machine Learning (Jeroen Meijer) SPIN RERS | ||
15:30 - 17:10 | Static AnalysisTechnical Papers at Bren 1414 Chair(s): William G.J. Halfond University of Southern California | ||
15:30 25mTalk | Just-in-Time Static Analysis Technical Papers Lisa Nguyen Quang Do Fraunhofer IEM, Karim Ali University of Alberta, Benjamin Livshits Imperial College London, UK, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Justin Smith North Carolina State University, Emerson Murphy-Hill North Carolina State University DOI | ||
15:55 25mTalk | Refining Interprocedural Change-Impact Analysis using Equivalence Relations Technical Papers Alex Gyori University of Illinois at Urbana-Champaign, USA, Shuvendu K. Lahiri Microsoft Research, Nimrod Partush Technion DOI | ||
16:20 25mTalk | Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++ Technical Papers Xiaokang Fan , Yulei Sui , Liao Xiangke National University of Defense Technology, China, Jingling Xue UNSW Australia DOI | ||
16:45 25mTalk | Lightweight Detection of Physical Unit Inconsistencies without Program Annotations Technical Papers John-Paul Ore University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA, Carrick Detweiler University of Nebraska-Lincoln, USA DOI | ||
15:30 - 16:30 | |||
15:30 60mTalk | Potential Future Additions - Data Race Detection and CIVL (invited talk by Stephen Siegel) SPIN RERS | ||
16:30 - 17:30 | |||
16:30 60mDay closing | Discussion Panel SPIN RERS | ||
Thu 13 JulDisplayed time zone: Tijuana, Baja California change
Thu 13 Jul
Displayed time zone: Tijuana, Baja California change
08:00 - 12:00 | |||
08:00 4hRegistration | Registration Agenda | ||
08:30 - 09:30 | Session 1SPIN Keynote at ESB 1001 Chair(s): Hakan Erdogmus Carnegie Mellon University, Klaus Havelund NASA/Caltech Jet Propulsion Laboratory | ||
08:30 60mTalk | Gerard Holzmann: Cobra - Fast Structural Code Checking SPIN Keynote | ||
09:00 - 10:00 | |||
09:00 60mTalk | Keynote Talk: Test Metrics and Generation Strategies for Next-Generation CPS Software TECPS Michael Whalen University of Minnesota | ||
09:00 - 10:00 | |||
09:00 60mTalk | What makes useful research? Doctoral Symposium Media Attached | ||
09:30 - 10:00 | Session 2: Symbolic VerificationSPIN Full Paper at ESB 1001 Chair(s): Klaus Havelund NASA/Caltech Jet Propulsion Laboratory | ||
09:30 30mTalk | Distributed Binary Decision Diagrams for Symbolic Reachability (Wytse Oortwijn, Tom van Dijk and Jaco van de Pol) SPIN Full Paper | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break SPIN Catering | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee Break Catering | ||
10:30 - 12:00 | |||
10:30 30mTalk | Invited Talk: Security by Compilation: An Automated Approach to Side-channel Resistance TECPS Chao Wang University of Southern California | ||
11:00 30mTalk | Invited Talk: Detecting Bugs in Robotic Systems TECPS John-Paul Ore University of Nebraska-Lincoln, USA | ||
11:30 30mTalk | Discovering Instructions for Robust Binary-Level Coverage Criteria TECPS Vaibhav Sharma University of Minnesota, Taejoon Byun University of Minnesota, Stephen McCamant University of Minnesota, Sanjai Rayadurgam University of Minnesota, Mats Heimdahl University of Minnesota | ||
10:30 - 12:00 | |||
10:30 30mTalk | Consistency Checking in Requirements Analysis Doctoral Symposium | ||
11:00 30mTalk | Inferring Page Models for Web Application Analysis Doctoral Symposium | ||
11:30 30mTalk | Path Cost Analysis for Side Channel Detection Doctoral Symposium | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 14:30 | |||
13:30 60mTalk | Byron Cook: Automated Formal Reasoning About Amazon Web Services SPIN Keynote | ||
13:30 - 15:00 | |||
13:30 30mTalk | Invited Talk: Symbolic Execution as a Flexible Tool for Binary Analysis TECPS Stephen McCamant University of Minnesota | ||
14:00 30mTalk | Invited Talk: Testing Evolving Embedded Systems TECPS Tingting Yu University of Kentucky | ||
14:30 30mTalk | Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems TECPS Alex Groce Northern Arizona University, Paul Flikkema Northern Arizona University, Josie Holmes Pennsylvania State University, USA | ||
13:30 - 15:00 | Modeling and LearningDoctoral Symposium at ESB 2003 Chair(s): Alex Orso Georgia Institute of Technology | ||
13:30 30mTalk | Automatically Inferring and Enforcing User Expectations Doctoral Symposium | ||
14:00 30mTalk | Understanding Intended Behavior Using Models of Low-level Signals Doctoral Symposium | ||
14:30 30mTalk | Version Space Learning for Verification on Temporal Differentials Doctoral Symposium | ||
14:30 - 15:00 | |||
14:30 30mTalk | Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language (Daniel Ratiu and Andreas Ulrich) SPIN Full Paper | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break SPIN Catering | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break Catering | ||
15:30 - 16:30 | |||
15:30 30mTalk | Runtime Enforcement Using Büchi Games (Matthieu Renard, Antoine Rollet and Ylies Falcone) SPIN Full Paper | ||
16:00 30mTalk | Runtime Enforcement of Reactive Systems Using Synchronous Enforcers (Srinivas Pinisetty, Partha Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden) SPIN Full Paper | ||
15:30 - 17:30 | |||
15:30 30mTalk | Support for Security and Safety of Programmable IoT Systems TECPS Alex Gyori University of Illinois at Urbana-Champaign, USA, Earlence Fernandes University of Michigan, Amir Rahmati University of Michigan, Atul Prakash University of Michigan, Darko Marinov University of Illinois at Urbana-Champaign | ||
16:00 30mTalk | Testing Uncertainty of Cyber-physical Systems in IoT Cloud Infrastructures – Combining Model-Driven Engineering and Elastic Execution TECPS | ||
16:30 30mTalk | Fault Injection in the Internet of Things Applications TECPS Amin Alipour University of Houston | ||
15:30 - 17:00 | |||
15:30 30mTalk | Data Flow Oriented UI Testing Doctoral Symposium Nataniel Borges Jr. Saarland University | ||
16:00 30mTalk | Dynamic Tainting for Automatic Test Case Generation Doctoral Symposium | ||
16:30 30mTalk | Oracle Problem in Software Testing Doctoral Symposium | ||
18:30 - 20:30 | |||
18:30 2hDinner | Dinner SPIN Catering | ||
18:30 - 20:30 | |||
18:30 2hSocial Event | Reception for SPIN and Workshops Catering | ||
Fri 14 JulDisplayed time zone: Tijuana, Baja California change
Fri 14 Jul
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | Session 8: Program Synthesis SPIN Full Paper at ESB 1001 Chair(s): Stefan Leue University of Konstanz | ||
08:30 30mTalk | Practical Controller Synthesis for MTL_{0,∞} (Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay and Danny Bøgsted Poulsen) SPIN Full Paper | ||
09:00 30mTalk | An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space (John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan and Dominik Wojtczak) SPIN Full Paper | ||
09:30 30mTalk | A Hot Method for Synthesising Cool Controllers (Idress Husien, Nicolas Berthier and Sven Schewe) SPIN Full Paper | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break SPIN Catering | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee Break Catering | ||
10:30 - 12:00 | |||
10:30 30mTalk | Backward Coverability with Pruning for Lossy Channel Systems (Thomas Geffroy, Jérôme Leroux and Grégoire Sutre) SPIN Full Paper | ||
11:00 30mTalk | Model Learning and Model Checking of SSH Implementations (Paul Fiterau-Brostean, Frits Vaandrager, Erik Poll, Joeri de Ruiter, Toon Lenaerts and Patrick Verleg) SPIN Full Paper | ||
11:30 30mTalk | CARET Model Checking for Malware Detection (Huu Vu Nguyen and Tayssir Touili) SPIN Full Paper | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 14:30 | |||
13:30 60mTalk | Domagoj Babic: SunDew - Systematic Automated Security Testing. SPIN Keynote | ||
14:30 - 15:00 | |||
14:30 30mTalk | EdSketch: Execution-Driven Sketching for Java (Jinru Hua and Sarfraz Khurshid) SPIN Full Paper | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break SPIN Catering | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break Catering | ||
15:30 - 16:30 | |||
15:30 30mTalk | Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-Update (Tree RCU) (Michalis Kokologiannakis and Konstantinos Sagonas) SPIN Full Paper | ||
16:00 30mTalk | Optimizing Parallel Korat Using Invalid Ranges (Nima Dini, Cagdas Yelen and Sarfraz Khurshid) SPIN Full Paper | ||
16:30 - 17:10 | |||
16:30 20mTalk | Guided Test Case Generation for Mobile Apps in the TRIANGLE Project (Laura Panizo, Alberto Salmerón, Maria Del Mar Gallardo and Pedro Merino) SPIN Short Paper | ||
16:50 20mTalk | ExpoSE: Practical Symbolic Execution of Standalone JavaScript (Blake Loring, Duncan Mitchell and Johannes Kinder) SPIN Short Paper | ||
17:10 - 17:30 | Session 14SPIN Agenda at ESB 1001 Chair(s): Hakan Erdogmus Carnegie Mellon University, Klaus Havelund NASA/Caltech Jet Propulsion Laboratory, Pedro Merino Gomez | ||
17:10 20mDay closing | SPIN 2018, Best Paper Awards, and Closing SPIN Agenda | ||