Communicating systems; Test Case Generation; Test Case Mutation

Test Case Backward Generation for Communicating Systems from Event Logs

This paper is concerned with generating test cases for communicating systems. Instead of considering that a complete and up-to-date …

Sébastien Salva and Jarod Sue