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.
event

Visible to the public  ASPLOS 2020
Mar 16, 2020 3:30 pm - Mar 20, 2020 4:30 pm CET

25th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2020)

ASPLOS is the premier forum for interdisciplinary systems research, intersecting computer architecture, hardware and emerging technologies, programming languages and compilers, operating systems, and networking. The 25th ASPLOS will be held on March 16-20, 2020 in Lausanne, Switzerland, a beautiful town on the shores of Lake Geneva, conveniently located in the center of Europe, and at EPFL.

forum

Visible to the public CFP: 5TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS 2020)

CALL FOR PAPERS

5TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS 2020)

April 21, 2020 | Sydney, Australia | https://sites.google.com/view/mt-cps2020/

Part of CPS-IoT Week 2020

Description

event

Visible to the public  HSCC 2020
Apr 21, 2020 7:00 am - Apr 24, 2020 6:00 pm AEST

23rd ACM International Conference on Hybrid Systems: Computation and Control

April 21-24, 2020 | Sydney Australia | https://berkeleylearnverify.github.io/HSCC_2020/

event

Visible to the public  ATVA 2019
Oct 28, 2019 7:00 am - Oct 30, 2019 6:00 pm CST

17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)

ATVA 2019 is the 17th in a series of symposia dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification, and synthesis by providing a forum for interaction between local and international research communities and industry in the field.

event

Visible to the public  ITEQS 2019
Apr 22, 2019 1:00 pm - 2:00 pm JST

3rd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS)

April 22, 2019 | Xi'an - China | http://www.mrtc.mdh.se/ITEQS/2019/