ISSTA 2017
26th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2017)
Powered by
Conference Publishing Consulting
26th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2017)
,
July 10–14, 2017
,
Santa Barbara, CA, USA
ISSTA 2017 – Proceedings
Contents
-
Abstracts
-
Authors
Doctoral Symposium
Analysis
Consistency Checking in Requirements Analysis
Jaroslav Bendík
(Masaryk University, Czech Republic)
Inferring Page Models for Web Application Analysis
Snigdha Athaiya
(IISc Bangalore, India)
Path Cost Analysis for Side Channel Detection
Tegan Brennan
(University of California at Santa Barbara, USA)
Modeling and Learning
Automatically Inferring and Enforcing User Expectations
Jenny Hotzkow
(Saarland University, Germany)
Understanding Intended Behavior using Models of Low-Level Signals
Deborah S. Katz
(Carnegie Mellon University, USA)
Version Space Learning for Verification on Temporal Differentials
Mark Santolucito
(Yale University, USA)
Testing
Data Flow Oriented UI Testing: Exploiting Data Flows and UI Elements to Test Android Applications
Nataniel P. Borges Jr.
(Saarland University, Germany)
Dynamic Tainting for Automatic Test Case Generation
Björn Mathis
(Saarland University, Germany)
Mapping Hardness of Automated Software Testing
Carlos Oliveira
(Monash University, Australia)
Oracle Problem in Software Testing
Gunel Jahangirova
(Fondazione Bruno Kessler, Italy; University College London, UK)
proc time: 0.01