Edward Timothy Morgan
-
Combining Static Concurrency Analysis with Symbolic Execution
IEEE Transactions on Software Engineering