This HTML5 document contains 56 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n15https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Spec_Explorer
rdf:type
wikidata:Q386724 schema:CreativeWork yago:Instrumentality103575240 yago:Tool104451818 yago:Object100002684 dbo:Software yago:Whole100003553 wikidata:Q7397 owl:Thing yago:PhysicalEntity100001930 yago:Artifact100021939 yago:Implement103563967 yago:WikicatMicrosoftDevelopmentTools dbo:Work
rdfs:label
Spec Explorer
rdfs:comment
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. The concepts behind Spec Explorer and the tool itself have been described in several publications and presented in multiple academic and industry events.
foaf:name
Spec Explorer
dbp:name
Spec Explorer
foaf:isPrimaryTopicOf
wikipedia-en:Spec_Explorer
dct:subject
dbc:Microsoft_development_tools dbc:Microsoft_Visual_Studio
dbo:wikiPageID
24880689
dbo:wikiPageRevisionID
898900293
dbo:wikiPageWikiLink
dbc:Microsoft_development_tools dbr:Microsoft_Visual_Studio dbr:Unit_testing dbr:Microsoft_Windows dbr:Software_system dbr:Visual_Studio_Unit_Testing_Framework dbr:Integrated_development_environment dbr:Model-based_testing dbr:Microsoft dbc:Microsoft_Visual_Studio
owl:sameAs
wikidata:Q7574423 n15:4vFdL yago-res:Spec_Explorer freebase:m.09g76qq
dbp:wikiPageUsesTemplate
dbt:Start_date_and_age dbt:Orphan dbt:Reflist dbt:Infobox_Software
dbp:developer
dbr:Microsoft
dbp:genre
dbr:Model-based_testing
dbp:latestReleaseDate
2013-07-08
dbp:latestReleaseVersion
2010
dbp:operatingSystem
dbr:Microsoft_Windows
dbo:abstract
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. The concepts behind Spec Explorer and the tool itself have been described in several publications and presented in multiple academic and industry events. The latest version can be downloaded from Visual studio Gallery on MSDN. Technical documentation can be found in the MSDN Library. Community and engineering team support can be obtained through the Spec Explorer Forum, while the Spec Explorer Team Blog provides detailed articles and guidance.
dbo:developer
dbr:Microsoft
dbo:genre
dbr:Model-based_testing
dbo:operatingSystem
dbr:Microsoft_Windows
dbo:latestReleaseDate
2013-07-08
dbo:latestReleaseVersion
2010 Release 3.5.3146.0
prov:wasDerivedFrom
wikipedia-en:Spec_Explorer?oldid=898900293&ns=0
dbo:wikiPageLength
5525
Subject Item
dbr:Yuri_Gurevich
dbo:wikiPageWikiLink
dbr:Spec_Explorer
Subject Item
wikipedia-en:Spec_Explorer
foaf:primaryTopic
dbr:Spec_Explorer