Guillermo RodrÃguez-Navas, Avenir Kobetski, Daniel Sundmark, Thomas Gustafsson. Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing. In 17th IEEE International Conference on High Performance Computing and Communications, HPCC 2015, 7th IEEE International Symposium on Cyberspace Safety and Security, CSS 2015, and 12th IEEE International Conference on Embedded Software and Systems, ICESS 2015, New York, NY, USA, August 24-26, 2015. pages 1066-1073, IEEE, 2015. [doi]
Abstract is missing.