Segui
Margus Veanes
Margus Veanes
Microsoft Research
Email verificata su microsoft.com - Home page
Titolo
Citata da
Citata da
Anno
Generating finite state machines from abstract state machines
W Grieskamp, Y Gurevich, W Schulte, M Veanes
Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002
2792002
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: An Outcome of the FORTEST Network, Revised …, 2008
2572008
Fast and precise sanitizer analysis with {BEK}
P Hooimeijer, B Livshits, D Molnar, P Saxena, M Veanes
20th USENIX Security Symposium (USENIX Security 11), 2011
2042011
Rex: Symbolic regular expression explorer
M Veanes, P De Halleux, N Tillmann
2010 Third International Conference on Software Testing, Verification and …, 2010
1942010
Symbolic finite state transducers: Algorithms and applications
M Veanes, P Hooimeijer, B Livshits, D Molnar, N Bjorner
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
1882012
Model-based software testing and analysis with C
J Jacky, M Veanes, C Campbell, W Schulte
Cambridge University Press, 2007
1492007
Minimization of symbolic automata
L D'Antoni, M Veanes
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
1232014
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
1141999
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
1072005
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
972004
Online testing with model programs
M Veanes, C Campbell, W Schulte, N Tillmann
Proceedings of the 10th European software engineering conference held …, 2005
882005
Towards a tool environment for model-based testing with AsmL
M Barnett, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, ...
Formal Approaches to Software Testing: Third International Workshop on …, 2004
852004
The power of symbolic automata and transducers
L D’Antoni, M Veanes
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
842017
An evaluation of automata algorithms for string analysis
P Hooimeijer, M Veanes
International Workshop on Verification, Model Checking, and Abstract …, 2011
832011
Abstract communication model for distributed systems
U Glasser, Y Gurevich, M Veanes
IEEE Transactions on Software Engineering 30 (7), 458-472, 2004
762004
Qex: Symbolic SQL query explorer
M Veanes, N Tillmann, J De Halleux
Logic for Programming, Artificial Intelligence, and Reasoning: 16th …, 2010
752010
On the undecidability of second-order unification
J Levy, M Veanes
Information and Computation 159 (1-2), 125-150, 2000
682000
Applications of symbolic finite automata
M Veanes
Implementation and Application of Automata: 18th International Conference …, 2013
642013
Program boosting: Program synthesis via crowd-sourcing
RA Cochran, L D'Antoni, B Livshits, D Molnar, M Veanes
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
632015
Diagnosing problems in distributed systems
S Sen, JM Joy, N Tillmann, CL Campbell, M Veanes
US Patent 7,548,911, 2009
622009
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20