-
11
Incremental integration testing of concurrent programs.
Argitaratua izan da IEEE Transactions on software engineeringArtikulua -
12
On comparisons of random, partition, and proportional partition testing.
Argitaratua izan da IEEE Transactions on software engineeringArtikulua -
13
Techniques to tackle state explosion in global predicate detection.
Argitaratua izan da IEEE Transactions on software engineeringArtikulua