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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Citation for published version (APA): Meer, van der, A. P., Kherrazi, R., & Hamilton, M. (2014). Using formal specifications to… 
2013
2013
We are undertaking a Russian-American study of orbital options to extend human exploration beyond the Moon’s orbit. For a viable… 
2011
2011
Many approaches that address scenario testing do so using models semantically distant from an implementation under test (IUT… 
2011
2011
In software engineering, several formal models and tools are proposed for defining system requirements and constraints formally… 
2011
2011
State Machines (ASM) are mathematically defined environment for high-level system design, verification and analysis. This paper… 
2010
2010
This paper describes a technique by which English prose protocol standards were transcribed into individually testable assertions… 
2010
2010
High flexibility of publish/Subscribe architecture that is a common architectural style for component based systems make it to be… 
2008
2008
Most of today's software users interact with the software through a graphical user interface (GUI), which is a representative of… 
2007
2007
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 is a technique in which test derivation from a model program and test execution are combined into a single…