Testing

A technical operation or procedure that consists of determination of one or more characteristics of a given product, process or service according to a specified procedure.
forum

Visible to the public CfP: Twelfth Haifa Verification Conference 2016 (HVC2016)

CALL FOR PAPERS

Twelfth Haifa Verification Conference 2016 (HVC 2016)

November 14 - 17, 2016 | Haifa, Israel | https://www.research.ibm.com/haifa/conferences/hvc2016
Tutorials: November 14, 2016

Organized by IBM Research - Haifa

HVC Facebook page

event

Visible to the public  HVC 2016
Nov 14, 2016 7:00 am - Nov 17, 2016 6:00 pm EET

CALL FOR PAPERS

Twelfth Haifa Verification Conference 2016 (HVC 2016)

November 14 - 17, 2016 | Haifa, Israel
Tutorials: November 14, 2016

Organized by IBM Research - Haifa

HVC Facebook page

event

Visible to the public  FSEN 2017
Apr 26, 2017 7:00 am - Apr 28, 2017 6:00 pm +0430

Seventh International Conference on Fundamentals of Software Engineering 2017 - Theory and Practice (FSEN '17)

April 26-28, 2017 | Tehran, Iran | http://fsen.ir/2017

About FSEN

event

Visible to the public  CyPhy 2016
Oct 06, 2016 7:00 am - 6:00 pm EDT

Call for Papers

Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2016)

Held in conjunction with ESWEEK 2016

October 6 2016 | Pittsburgh, PA, USA | http://www.cyphy.org/

forum

Visible to the public CfP Deadline Extended: Workshop on Model-Based Development and Contract-Based Programming (HILT 2016)

CALL FOR PAPERS - Extended Deadline July 15, 2016

ACM SIGAda's High Integrity Language Technology International Workshop on Model-Based Development and Contract-Based Programming

part of Embedded Systems Week (ESWEEK)

October 6-7, 2016 | Pittsburgh, Pennsylvania (USA) | http://sigada.org/conf/hilt2016

Organized by SIGAda, ACM's Special Interest Group on the Ada Programming Language