Skip to search formSkip to main contentSkip to account menu

Spec Explorer

Spec Explorer is a Model-Based Testing (MBT) tool from Microsoft. It extends the Visual Studio Integrated Development Environment with the ability to… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations

Broader (1)

Microsoft Visual Studio
Software system

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques
Citation for published version (APA): Meer, van der, A. P., Kherrazi, R., & Hamilton, M. (2014). Using formal specifications to… 
2013
2013
New Approaches for Human Deep-Space Exploration
We are undertaking a Russian-American study of orbital options to extend human exploration beyond the Moon’s orbit. For a viable… 
2011
2011
Generating Verifiable Test Scenarios
Many approaches that address scenario testing do so using models semantically distant from an implementation under test (IUT… 
2011
2011
Using Spec Explorer for Automatic Checking of Constraints in Software €Controlled Systems
In software engineering, several formal models and tools are proposed for defining system requirements and constraints formally… 
2011
2011
An Approach for Specification and Testing of Stateful Grid Services
State Machines (ASM) are mathematically defined environment for high-level system design, verification and analysis. This paper… 
2010
2010
Discretizing Technical Documentation for End-to-End Traceability Tests
This paper describes a technique by which English prose protocol standards were transcribed into individually testable assertions… 
2010
2010
A formal framework for software development using publish/Subscribe architecture
High flexibility of publish/Subscribe architecture that is a common architectural style for component based systems make it to be… 
2008
2008
Feedback-Directed Model-Based GUI Test Case Generation
Most of today's software users interact with the software through a graphical user interface (GUI), which is a representative of… 
2007
2007
Model-based Testing of the Conference Protocol with Spec Explorer
This paper presents a case study of model-based testing of the Conference Protocol, a simple multicast chat box protocol, with… 
2005
2005
On-The-Fly Testing of Reactive Systems
On-the-fly testing is a technique in which test derivation from a model program and test execution are combined into a single… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)