Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems

F. Lorber

Abstract:

Reference: F. Lorber. Model-based mutation testing of synchronous and asynchronous real-time systems. In IEEE 8^th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. IEEE Computer Society, 2015.