Shafiul Azam Chowdhury, Taylor T. Johnson, Christoph Csallner. CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments. In Christian Berger 0001, Mohammad Reza Mousavi, Rafael Wisniewski, editors, Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers. Volume 10107 of Lecture Notes in Computer Science, pages 46-60, Springer, 2016. [doi]
Abstract is missing.