-
1
Incremental integration testing of concurrent programs.
Argitaratua izan da IEEE Transactions on software engineeringArtikulua -
2
Techniques to tackle state explosion in global predicate detection.
Argitaratua izan da IEEE Transactions on software engineeringArtikulua