Composition of Verification Assets for Software Product Lines of Cyber Physical Systems

Ethan T. McGee, Roselane S. Silva, John D. McGregor. Composition of Verification Assets for Software Product Lines of Cyber Physical Systems. In Goetz Botterweck, Cláudia Werner, editors, Mastering Scale and Complexity in Software Reuse - 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings. Volume 10221 of Lecture Notes in Computer Science, pages 123-138, 2017. [doi]

Abstract

Abstract is missing.