May 202017
 
***************************************************************************

 ISSTA & SPIN 2017    CALL FOR PARTICIPATION

 26th ACM SIGSOFT International Symposium on Software Testing and Analysis

http://conf.researchr.org/home/issta-2017

 24th International SPIN Symposium on Model Checking of Software

http://conf.researchr.org/home/spin-2017

 July 10-14, 2017, Santa Barbara, California, USA

 ***************************************************************************
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.
 ***************************************************************************
  *** VENUE ***

University of California, Santa Barbara (www.ucsb.edu)

 *** REGISTRATION ***

Registration is open! Early registration until June 9.

http://conf.researchr.org/attending/issta-2017/registration

 *** RESEARCH PROGRAM ***

ISSTA list of accepted papers:
http://conf.researchr.org/info/issta-2017/accepted-papers

SPIN list of accepted papers:
http://conf.researchr.org/info/spin-2017/accepted-papers

*** KEYNOTE SPEAKERS ***
 ISSTA
    Christopher Kruegel, UCSB
    Armando Solar-Lezama, MIT
 SPIN
    Domagoj Babic, Google
    Byron Cook, Amazon Web Services
    Gerard Holzmann, Nimble Research
*** CO-LOCATED EVENTS ***

ISSTA Doctoral Symposium

http://conf.researchr.org/track/issta-2017/issta-2017-doctoral-symposium

ISSTA Demonstrations track

http://conf.researchr.org/track/issta-2017/issta-2017-demos

TECPS 2017: Workshop on Testing Embedded and Cyber-Physical Systems

http://conf.researchr.org/track/issta-2017/issta-2017-tecps

RERS Challenge 2017: Rigorous Examination of Reactive Systems

http://www.rers-challenge.org/2017/

*** FOLLOW US ON SOCIAL MEDIA ***
 Posted by at 2:30 AM