Live briefing
Everything about 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 define a model describing the expected behavior of a software system. From these models, the tool can generate tests automatically for execution within Visual Studio's own testing framework, or many other unit testing frameworks. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Spec ExplorerA 5-minute orientation
- Skim a recent paper: Moons and Jupiter Imaging Spectrometer (MAJIS) on Jupiter Icy Moons Explorer (JUICE)Influential work since 2022
- Pick up a classic book: Astronomy Spec. Exploring (1 Issue)The most-reprinted book on the subject
- Read the landmark paper: Overview of the [ITAL]Far Ultraviolet Spectroscopic Explorer[/ITAL] MissionCited 577 times
- Go sideways: Abstract State Machine LanguageA closely related topic
- Go sideways: ISP Formal Verification ToolA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
No outline available.
🏆 Landmark papers (most cited)
Overview of the [ITAL]Far Ultraviolet Spectroscopic Explorer[/ITAL] Mission
Natural inflation: Particle physics models, power-law spectra for large-scale structure, and constraints from the Cosmic Background Explorer
A preliminary measurement of the cosmic microwave background spectrum by the Cosmic Background Explorer (COBE) satellite
On-Orbit Performance of the [ITAL]Far Ultraviolet Spectroscopic Explorer[/ITAL] Satellite
AFar Ultraviolet Spectroscopic ExplorerSurvey of Interstellar Molecular Hydrogen in Translucent Clouds
Preliminary spectral observations of the Galaxy with a 7 deg beam by the Cosmic Background Explorer (COBE)
🆕 Influential since 2022
Moons and Jupiter Imaging Spectrometer (MAJIS) on Jupiter Icy Moons Explorer (JUICE)
Search for gamma-ray spectral lines with the DArk Matter Particle Explorer
Prospects for a Precise Equation of State Measurement from Advanced LIGO and Cosmic Explorer
1200 GHz High Spectral Resolution Receiver Front-End of Submillimeter Wave Instrument for JUpiter ICy Moon Explorer: Part I - RF Performance Optimization for Cryogenic Operation
📚 Books worth reading
- 📕Astronomy Spec. Exploring (1 Issue)
Identify&exploring Security&time Cj Spec Pkg · 2003
Teaching Spec Studnt Gen Educ&explor DIV Pk · 2005
Data mining and data warehousing (SPEC kit)Barbara Mento · 2003- 📕2020 Chevrolet Sonic : Explore All Attractive Thing in 2020 Chevrolet SonicSlate AMANDA · 2021
Explorations of phase theoryKleanthes K. Grohmann · 2009- 📕Davis & Lachlan methods. Straight talk about communication research methods (3RD Ed.) · 2017
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Abstract State Machine Language Abstract State Machine Language (AsmL) is a programming language based on abstract state machines developed by Microsoft. AsmL is a functional language…
- ISP Formal Verification Tool ISP ("In-situ Partial Order") is a tool for the formal verification of MPI programs developed within the School of Computing at the University of Utah…
- Yuri Gurevich Yuri Gurevich, Professor Emeritus at the University of Michigan, is an American computer scientist and mathematician and the inventor of abstract state…
- Concolic testing Concolic testing (a portmanteau of concrete and symbolic, also known as dynamic symbolic execution) is a hybrid software verification technique that performs…
- Behavior tree A behavior tree is a structured visual modeling technique used in systems engineering and software engineering to represent system behavior. It utilizes…
- Rigi (software) Rigi is an interactive graph editor tool for software reverse engineering using the white box method, i.e. necessitating source code, thus it is mainly…
- Visual Studio Tools for Applications Visual Studio Tools for Applications (VSTA) is a set of tools that independent software vendors (ISVs) can use to build customization abilities into their…
- Visual Studio Visual Studio is an integrated development environment (IDE) developed by Microsoft. It is used to develop computer programs including websites, web apps…