Searching for "Distributed On-the-Fly Model Checking and Test Case Generation." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Distributed on-the-fly model checking and test case generation
- …Distributed On-the-Fly Model Checking and Test Case Generation Christophe Joubert and Radu…
- Cited by 5 (4 self) – Add To MetaCart
-
de recherche Distributed On-the-Fly Model Checking and Test Case Generation
- … AUTOMATIQUE Distributed On-the-Fly Model Checking and Test Case Generation Christophe Joubert — Radu Mateescu…
- Add To MetaCart
Showing 1 through 2.
