Concurrent Testing of Java Components Using Java PathFinder.

Uloženo v:
Podrobná bibliografie
Název: Concurrent Testing of Java Components Using Java PathFinder.
Autoři: Mutilin, V.
Zdroj: Second International Symposium on Leveraging Applications of Formal Methods, Verification & Validation (ISOLA 2006); 2006, p53-59, 7p
Databáze: Complementary Index
Buďte první, kdo okomentuje tento záznam!
Nejprve se musíte přihlásit.