M
Margus Veanes
Researcher at Microsoft
Publications - 164
Citations - 3855
Margus Veanes is an academic researcher from Microsoft. The author has contributed to research in topics: Decidability & Finite-state machine. The author has an hindex of 31, co-authored 161 publications receiving 3683 citations. Previous affiliations of Margus Veanes include Max Planck Society & University of Wisconsin-Madison.
Papers
More filters
Book ChapterDOI
Model-based testing of object-oriented reactive systems with spec explorer
Margus Veanes,Colin Campbell,Wolfgang Grieskamp,Wolfram Schulte,Nikolai Tillmann,Lev Nachmanson +5 more
TL;DR: This chapter provides a comprehensive survey of the concepts of the model-based testing tool and their foundations.
Journal ArticleDOI
Generating finite state machines from abstract state machines
TL;DR: An algorithm is given that derives a finite state machine from a given abstract state machine (ASM) specification to integrate ASM specs with the existing tools for test case generation from FSMs.
Proceedings Article
Fast and precise sanitizer analysis with BEK
TL;DR: BEK is a language and system for writing sanitizers that enables precise analysis of sanitizer behavior, including checking idempotence, commutativity, and equivalence, and programs written in BEK can be compiled to traditional languages such as JavaScript and C#, making it possible for web developers to writesanitizers supported by deep analysis, yet deploy the analyzed code directly to real applications.
Proceedings ArticleDOI
Rex: Symbolic Regular Expression Explorer
TL;DR: A method and a tool, called Rex, for symbolically expressing and analyzing regular expression constraints, which is implemented using the SMT solver Z3 and provides experimental evaluation of Rex.
Journal ArticleDOI
Symbolic finite state transducers: algorithms and applications
TL;DR: The algorithms give rise to a complete decidable algebra of symbolic transducers, which can synthesize string pre-images in excess of 8,000 bytes in roughly a minute, and are found to significantly outperform previous techniques in succinctness and speed of analysis.