Concurrent Testing of Java Components Using Java PathFinder.
Uloženo v:
| 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 |
Full Text Finder | ISBN: | 9780769530710 |
|---|---|
| DOI: | 10.1109/ISoLA.2006.53 |