Margus Veanes
Margus Veanes
Microsoft Research
Dirección de correo verificada de microsoft.com - Página principal
TítuloCitado porAño
Generating finite state machines from abstract state machines
W Grieskamp, Y Gurevich, W Schulte, M Veanes
ACM SIGSOFT Software Engineering Notes 27 (4), 112-122, 2002
2552002
Model-based testing of object-oriented reactive systems with Spec Explorer
M Veanes, C Campbell, W Grieskamp, W Schulte, N Tillmann, ...
Formal methods and testing, 39-76, 2008
2132008
Fast and Precise Sanitizer Analysis with BEK.
P Hooimeijer, B Livshits, D Molnar, P Saxena, M Veanes
USENIX Security Symposium 58, 2011
1552011
Rex: Symbolic regular expression explorer
M Veanes, P De Halleux, N Tillmann
2010 Third International Conference on Software Testing, Verification and …, 2010
1372010
Symbolic finite state transducers: Algorithms and applications
M Veanes, P Hooimeijer, B Livshits, D Molnar, N Bjorner
ACM SIGPLAN Notices 47 (1), 137-150, 2012
1282012
Model-based software testing and analysis with C
J Jacky, M Veanes, C Campbell, W Schulte
Cambridge University Press, 2007
1262007
The two-variable guarded fragment with transitive relations
H Ganzinger, C Meyer, M Veanes
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
991999
Model-based testing of object-oriented reactive systems with Spec Explorer
C Campbell, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, ...
Technical Report MSR-TR-2005-59, Microsoft Research, 2005
962005
Optimal strategies for testing nondeterministic systems
L Nachmanson, M Veanes, W Schulte, N Tillmann, W Grieskamp
ACM SIGSOFT Software Engineering Notes 29 (4), 55-64, 2004
822004
Towards a tool environment for model-based testing with AsmL
M Barnett, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, ...
International Workshop on Formal Approaches to Software Testing, 252-266, 2003
822003
Minimization of symbolic automata
L D'Antoni, M Veanes
Acm Sigplan Notices 49 (1), 541-553, 2014
792014
Online testing with model programs
M Veanes, C Campbell, W Schulte, N Tillmann
ACM SIGSOFT Software Engineering Notes 30 (5), 273-282, 2005
692005
Abstract communication model for distributed systems
U Glasser, Y Gurevich, M Veanes
IEEE Transactions on Software Engineering 30 (7), 458-472, 2004
692004
An evaluation of automata algorithms for string analysis
P Hooimeijer, M Veanes
International Workshop on Verification, Model Checking, and Abstract …, 2011
682011
Diagnosing problems in distributed systems
S Sen, JM Joy, N Tillmann, CL Campbell, M Veanes
US Patent 7,548,911, 2009
622009
High level executable network abstract machine
Y Gurevich, M Veanes, U Glässer
US Patent 7,149,678, 2006
572006
On the undecidability of second-order unification
J Levy, M Veanes
Information and Computation 159 (1-2), 125-150, 2000
552000
Play to test
A Blass, Y Gurevich, L Nachmanson, M Veanes
International Workshop on Formal Approaches to Software Testing, 32-46, 2005
482005
Symbolic automata constraint solving
M Veanes, N Bjørner, L De Moura
International Conference on Logic for Programming Artificial Intelligence …, 2010
472010
Testing concurrent object-oriented systems with Spec Explorer
C Campbell, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, ...
International Symposium on Formal Methods, 542-547, 2005
472005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20