Skip to main content
Microsoft
Research
Research
Research
Home
Our research
Resources
Resources
Publications
Code & data
People
Microsoft Research blog
Research areas: Intelligence
Research areas: Intelligence
Artificial intelligence
Audio & acoustics
Computer vision
Graphics & multimedia
Human-computer interaction
Human language technologies
Search & information retrieval
Research areas: Systems
Research areas: Systems
Data platforms and analytics
Hardware & devices
Programming languages & software engineering
Quantum computing
Security, privacy & cryptography
Systems & networking
Research areas: Theory
Research areas: Theory
Algorithms
Mathematics
Research areas: Other Sciences
Research areas: Other Sciences
Ecology & environment
Economics
Medical, health & genomics
Social sciences
Technology for emerging markets
Programs & events
Academic programs
Events & academic conferences
Microsoft Research Forum
Connect & learn
Behind the Tech podcast
Microsoft Research blog
Microsoft Research Forum
Microsoft Research podcast
About
People & news
People & news
About Microsoft Research
Careers & internships
People
Emeritus program
News & awards
Microsoft Research newsletter
Microsoft Research Labs
Microsoft Research Labs
Africa
AI for Science
AI Frontiers
Asia-Pacific
Cambridge
Health Futures
India
Montreal
New England
New York City
Redmond
Other labs
Other labs
Applied Sciences
Mixed Reality & AI - Cambridge
Mixed Reality & AI - Zurich
More
Register: Research Forum
All Microsoft
Global
Microsoft Security
Azure
Dynamics 365
Microsoft 365
Microsoft Teams
Windows 365
Tech & innovation
Tech & innovation
Microsoft Cloud
AI
Azure Space
Mixed reality
Microsoft HoloLens
Microsoft Viva
Quantum computing
Sustainability
Industries
Industries
Education
Automotive
Financial services
Government
Healthcare
Manufacturing
Retail
All industries
Partners
Partners
Find a partner
Become a partner
Partner Network
Azure Marketplace
AppSource
Resources
Resources
Blog
Microsoft Advertising
Developer Center
Documentation
Events
Licensing
Microsoft Learn
Microsoft Research
View Sitemap
Search
Search Microsoft Research
No results
Cancel
Model-based Testing with SpecExplorer
Established: December 10, 2008
Publications
Downloads
Downloads
Loading...
Spec Explorer
September 2006
People
Margus Veanes
Principal Researcher
Follow us:
Follow on X
Like on Facebook
Follow on LinkedIn
Subscribe on Youtube
Follow on Instagram
Subscribe to our RSS feed
Share this page:
Share on X
Share on Facebook
Share on LinkedIn
Share on Reddit
