Searching for authors named "Lev Nachmanson" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Play to test
- …Play to Test Andreas Blass ¡¢¡¤£ , Yuri Gurevich ¥ , Lev Nachmanson ¥ , and Margus Veanes…
- Cited by 12 (7 self) – Add To MetaCart
-
Optimal strategies for testing nondeterministic systems
- …Optimal Strategies for Testing Nondeterministic Systems ∗ ABSTRACT Lev Nachmanson Margus Veanes…
- Cited by 12 (5 self) – Add To MetaCart
-
unknown title
- … Play to Test? Andreas Blass??1, Yuri Gurevich2, Lev Nachmanson2, and Margus Veanes2 1 University…
- Add To MetaCart
-
ModelBased Testing with AsmL.NET
- …Model-Based Testing with AsmL .NET Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram…
- Cited by 2 (0 self) – Add To MetaCart
-
Testing concurrent object-oriented systems with Spec Explorer
- …, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research…
- Cited by 6 (3 self) – Add To MetaCart
-
Towards a tool environment for model-based testing with AsmL
- …Towards a Tool Environment for Model-Based Testing with AsmL Mike Barnett, Wolfgang Grieskamp, Lev…
- Cited by 14 (8 self) – Add To MetaCart
-
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
- … Campbell Wolfgang Grieskamp Wolfram Schulte Nikolai Tillmann Lev Nachmanson Microsoft Research, Redmond, WA…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 7.
