Input-output conformance testing based on featured transition systems.

Harsh Beohar, Mohammad Reza Mousavi

Browse the full SAC paper archive.