Concurrent Testing of Java Components Using Java PathFinder.
Gespeichert in:
| Titel: | Concurrent Testing of Java Components Using Java PathFinder. |
|---|---|
| Autoren: | Mutilin, V. |
| Quelle: | Second International Symposium on Leveraging Applications of Formal Methods, Verification & Validation (ISOLA 2006); 2006, p53-59, 7p |
| Datenbank: | Complementary Index |
| ISBN: | 9780769530710 |
|---|---|
| DOI: | 10.1109/ISoLA.2006.53 |
Full Text Finder