2017 ISSTA and SPIN

Date: 
Monday, July 10, 2017 - 8:00am to Friday, July 14, 2017 - 5:30pm
Location: 
University of California Santa Barbara
Title: 
International Symposium on Software Testing and Analysis

The 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), and the 24th International SPIN Symposium on Model Checking of Software will be held at the University of California Santa Barbara campus, from July 10-14, 2017. Both the UCSB College of Engineering and the UCSB Department of Computer Science are among the event's Organizational Sponsors. UCSB Computer Science Professor Tevfik Bultan is this year's ISSTA General Chair.  UCSB Department of Computer Science Professor Christopher Kruegel will give an ISSTA keynote talk on July 11.

ISSTA is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experiences on how to analyze and test software systems.

The SPIN symposium brings together researchers and practitioners interested in automated, tool-based techniques to analyze software systems and models of software systems for verification and validation purposes.

Full conference details are available here.