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.