VORTEX 2018, July 16-21, 2018

VORTEX 2018, ECOOP and ISSTA, Amsterdam, July 16-21, 2018 (https://conf.researchr.org/track/ecoop-issta-2018/vortex-2018-papers) ================================================================================= Runtime verification (RV) is an approach to software verification concerned with monitoring and analysis of software and hardware under execution. Recently, RV has gained more traction as an effective and promising approach to ensure software reliability, bridging a gap between formal verification and conventional testing; monitoring a system […]

Read More

DATE 2018: Model-based Design and Verification for Embedded Systems

CALL FOR PAPERS *************** Topic E3: Model-based Design and Verification for Embedded Systems ********************************************************* at DATE 2018, Dresden, GE March 19 – 23, 2018 https://www.date-conference.com/call-for-papers#The-Conference https://www.date-conference.com/group/tpc/members/2018/E3 DATE 2018, will take place from 19 to 23 March, 2018, at the International Congress Center in Dresden, Germany. The conference addresses all aspects of research into technologies for […]

Read More

ISSTA & SPIN 2017 – Call for Participation

***************************************************************************  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 […]

Read More