Test Case Generation for Concurrent Systems Using Event Structures.

Konstantinos Athanasiou, Hernn Ponce de Len, Stefan Schwoon

Browse the full TAP paper archive.