TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs.

Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha

Browse the full FORTE paper archive.