Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,951,210 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
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
A. V. D. Meer
,
R. Kherrazi
,
M. Hamilton
MBT
2014
Corpus ID: 17509194
Citation for published version (APA): Meer, van der, A. P., Kherrazi, R., & Hamilton, M. (2014). Using formal specifications to…
Expand
2013
2013
New Approaches for Human Deep-Space Exploration
D. Dunham
,
R. Farquhar
,
N. Eismont
,
E. Chumachenko
2013
Corpus ID: 54678945
We are undertaking a Russian-American study of orbital options to extend human exploration beyond the Moon’s orbit. For a viable…
Expand
2011
2011
Generating Verifiable Test Scenarios
J. Corriveau
,
W. Shi
2011
Corpus ID: 14480965
Many approaches that address scenario testing do so using models semantically distant from an implementation under test (IUT…
Expand
2011
2011
Using Spec Explorer for Automatic Checking of Constraints in Software €Controlled Systems
Salam Al-Emari
,
I. Alsmadi
2011
Corpus ID: 61532240
In software engineering, several formal models and tools are proposed for defining system requirements and constraints formally…
Expand
2011
2011
An Approach for Specification and Testing of Stateful Grid Services
D. Lamch
,
R. Wyrzykowski
Sixth International Symposium on Parallel…
2011
Corpus ID: 18646709
State Machines (ASM) are mathematically defined environment for high-level system design, verification and analysis. This paper…
Expand
2010
2010
Discretizing Technical Documentation for End-to-End Traceability Tests
Keith Stobie
,
N. Kicillof
,
W. Grieskamp
Second International Conference on Advances in…
2010
Corpus ID: 913503
This paper describes a technique by which English prose protocol standards were transcribed into individually testable assertions…
Expand
2010
2010
A formal framework for software development using publish/Subscribe architecture
Azadeh Esfandyari
,
V. Rafe
International Conference on Advanced Computer…
2010
Corpus ID: 18868437
High flexibility of publish/Subscribe architecture that is a common architectural style for component based systems make it to be…
Expand
2008
2008
Feedback-Directed Model-Based GUI Test Case Generation
Xun Yuan
2008
Corpus ID: 8653455
Most of today's software users interact with the software through a graphical user interface (GUI), which is a representative of…
Expand
2007
2007
Model-based Testing of the Conference Protocol with Spec Explorer
M. Botincan
,
Vedran Novakovic
International Conference on Telecommunications
2007
Corpus ID: 16867523
This paper presents a case study of model-based testing of the Conference Protocol, a simple multicast chat box protocol, with…
Expand
2005
2005
On-The-Fly Testing of Reactive Systems
Margus Veanes
,
C. Campbell
,
Wolfram Schulte
,
Pushmeet Kohli
2005
Corpus ID: 10627083
On-the-fly testing is a technique in which test derivation from a model program and test execution are combined into a single…
Expand
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)
ACCEPT & CONTINUE