Are you conducting research in Software Testing and Analysis and want to get acquainted with the latest tools and technologies?  The ISSTA Summer School is here for you.  It features a series of six talks by established researchers on topics related to  Software Testing and Software Analysis (interpreted broadly), ranging from Search-Based and Symbolic Testing to Version and App Mining.

In the ISSTA Summer School, the goal is to enable attendees to use a particular approach, framework, or tool to boost their own research.  Each session will introduce attendees to the tool and methodology, with a strong “hands on” focus.

ISSTA Summer School talks run in parallel with the main conference track at DFKI .  Each session takes 90 minutes including ample space for questions and discussion.  Participation is free to all registered ISSTA participants.

Monday, July 18

11:25 – 12:55
Gordon Fraser , University of Sheffield, United Kingdom

Research Area: Search-Based Testing

Talk: An Introduction to Search-based Testing and the EvoSuite Test Generation Tool

Slides: An Introduction to Search-based Testing and the EvoSuite Test Generation Tool

14:05 – 15:35
Eric Bodden , University of Paderborn, Germany

Research Area: Practical Static Analysis

Talk: Analyzing Android Applications with Soot and FlowDroid

Slides: Analyzing Android Applications with Soot and FlowDroid

16:05 – 17:35
Andrea Arcuri , Scienta, Norway, and the University of Luxembourg

Research Area: Empirical Studies in Testing and Analysis

Talk: Intro to Statistics, Data Analysis, and Visualisation in R and latex

Slides: Intro to Statistics, Data Analysis, and Visualisation in R and latex

Tuesday, July 19

11:25 – 12:55
Alessandra Gorla , IMDEA, Spain

Research Area: App Mining

Talk: App Mining: Tools and Techniques for the Big Data Analytics of Android apps

14:05 – 15:35
Kim Herzig , Microsoft, USA

Research Area: Mining Version Archives

Talk: From Code via Tests to Builds and Back: Mining Software Archives to Capture the Full Picture

Slides: From Code via Tests to Builds and Back: Mining Software Archives to Capture the Full Picture

16:05 – 17:35
cadar Cristian Cadar , Imperial College London, United Kingdom

Research Area: Symbolic Testing

Talk: An Introduction to Dynamic Symbolic Execution and the KLEE Infrastructure

Slides: An Introduction to Dynamic Symbolic Execution and the KLEE Infrastructure

Venue – DFKI

location-map-dfki-saarbruecken