-
1
Incremental integration testing of concurrent programs.
Veröffentlicht in IEEE Transactions on software engineeringArtikel -
2
Techniques to tackle state explosion in global predicate detection.
Veröffentlicht in IEEE Transactions on software engineeringArtikel