Test Case Backward Generation for Communicating Systems from Event Logs.

Sbastien Salva, Jarod Sue

Browse the full ICSoft paper archive.