Margus Veanes

Margus Veanes

Microsoft Research - - / United States
Others
AD Scientific Index ID: 4386572
person_outline Margus Veanes's MOST POPULAR ARTICLES
1-) Generating finite state machines from abstract state machinesW Grieskamp, Y Gurevich, W Schulte, M VeanesProceedings of the 2002 ACM SIGSOFT international symposium on Software …, 20022782002
2-) Model-based testing of object-oriented reactive systems with Spec ExplorerM Veanes, C Campbell, W Grieskamp, W Schulte, N Tillmann, ...Formal methods and testing, 39-76, 20082542008
3-) Fast and precise sanitizer analysis with {BEK}P Hooimeijer, B Livshits, D Molnar, P Saxena, M Veanes20th USENIX Security Symposium (USENIX Security 11), 20112042011
4-) Rex: Symbolic regular expression explorerM Veanes, P De Halleux, N Tillmann2010 Third International Conference on Software Testing, Verification and …, 20101982010
5-) Symbolic finite state transducers: Algorithms and applicationsM Veanes, P Hooimeijer, B Livshits, D Molnar, N BjornerProceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 20121932012