Sound conformance testing for cyber-physical systems: Theory and implementation

Hugo L. S. Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio. Sound conformance testing for cyber-physical systems: Theory and implementation. Science of Computer Programming, 162:35-54, 2018. [doi]

Authors

Hugo L. S. Araujo

This author has not been identified. Look up 'Hugo L. S. Araujo' in Google

Gustavo Carvalho

This author has not been identified. Look up 'Gustavo Carvalho' in Google

Morteza Mohaqeqi

This author has not been identified. Look up 'Morteza Mohaqeqi' in Google

Mohammad Reza Mousavi

This author has not been identified. Look up 'Mohammad Reza Mousavi' in Google

Augusto Sampaio

This author has not been identified. Look up 'Augusto Sampaio' in Google