Concurrent Testing of Java Components Using Java PathFinder.

Gespeichert in:
Bibliographische Detailangaben
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
Beschreibung
ISBN:9780769530710
DOI:10.1109/ISoLA.2006.53