Matches in SemOpenAlex for { <https://semopenalex.org/work/W1544488064> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1544488064 abstract "A test oracle provides a means for determining whether an implementation behaves according to its specification. A passive test oracle checks that the correct behaviour has been implemented, but does not implement the behaviour itself. In previous work, we have presented a method that allows us to derive passive C++ test oracles from formal specifications written in Object-Z. We describe the prototype tool that supports the method. Warlock is built on top of an existing Object-Z type checker and generates oracle code for a substantial subset of the Object-Z language. We describe the architecture of Warlock and its application to a number of Object-Z specifications. We also discuss its current limitations." @default.
- W1544488064 created "2016-06-24" @default.
- W1544488064 creator A5034265314 @default.
- W1544488064 creator A5076924318 @default.
- W1544488064 creator A5083475195 @default.
- W1544488064 date "2004-07-08" @default.
- W1544488064 modified "2023-09-25" @default.
- W1544488064 title "Tool support for generating passive C++ test oracles from object-Z specifications" @default.
- W1544488064 cites W1501031081 @default.
- W1544488064 cites W1542040340 @default.
- W1544488064 cites W1567147371 @default.
- W1544488064 cites W1825542462 @default.
- W1544488064 cites W1828651577 @default.
- W1544488064 cites W2016578292 @default.
- W1544488064 cites W2070756052 @default.
- W1544488064 cites W2095828033 @default.
- W1544488064 cites W2111654822 @default.
- W1544488064 cites W2117176604 @default.
- W1544488064 cites W2157888382 @default.
- W1544488064 cites W2159648215 @default.
- W1544488064 doi "https://doi.org/10.1109/apsec.2003.1254386" @default.
- W1544488064 hasPublicationYear "2004" @default.
- W1544488064 type Work @default.
- W1544488064 sameAs 1544488064 @default.
- W1544488064 citedByCount "4" @default.
- W1544488064 countsByYear W15444880642014 @default.
- W1544488064 crossrefType "proceedings-article" @default.
- W1544488064 hasAuthorship W1544488064A5034265314 @default.
- W1544488064 hasAuthorship W1544488064A5076924318 @default.
- W1544488064 hasAuthorship W1544488064A5083475195 @default.
- W1544488064 hasConcept C116253237 @default.
- W1544488064 hasConcept C119857082 @default.
- W1544488064 hasConcept C128942645 @default.
- W1544488064 hasConcept C152877465 @default.
- W1544488064 hasConcept C154945302 @default.
- W1544488064 hasConcept C199360897 @default.
- W1544488064 hasConcept C2781238097 @default.
- W1544488064 hasConcept C41008148 @default.
- W1544488064 hasConcept C55166926 @default.
- W1544488064 hasConcept C80444323 @default.
- W1544488064 hasConceptScore W1544488064C116253237 @default.
- W1544488064 hasConceptScore W1544488064C119857082 @default.
- W1544488064 hasConceptScore W1544488064C128942645 @default.
- W1544488064 hasConceptScore W1544488064C152877465 @default.
- W1544488064 hasConceptScore W1544488064C154945302 @default.
- W1544488064 hasConceptScore W1544488064C199360897 @default.
- W1544488064 hasConceptScore W1544488064C2781238097 @default.
- W1544488064 hasConceptScore W1544488064C41008148 @default.
- W1544488064 hasConceptScore W1544488064C55166926 @default.
- W1544488064 hasConceptScore W1544488064C80444323 @default.
- W1544488064 hasLocation W15444880641 @default.
- W1544488064 hasOpenAccess W1544488064 @default.
- W1544488064 hasPrimaryLocation W15444880641 @default.
- W1544488064 hasRelatedWork W1585321256 @default.
- W1544488064 hasRelatedWork W1605424409 @default.
- W1544488064 hasRelatedWork W1920048997 @default.
- W1544488064 hasRelatedWork W2018197150 @default.
- W1544488064 hasRelatedWork W2070756052 @default.
- W1544488064 hasRelatedWork W2100731616 @default.
- W1544488064 hasRelatedWork W2103393482 @default.
- W1544488064 hasRelatedWork W2105051842 @default.
- W1544488064 hasRelatedWork W2112317337 @default.
- W1544488064 hasRelatedWork W2112499278 @default.
- W1544488064 hasRelatedWork W2119669916 @default.
- W1544488064 hasRelatedWork W2120186763 @default.
- W1544488064 hasRelatedWork W2135275658 @default.
- W1544488064 hasRelatedWork W2135292007 @default.
- W1544488064 hasRelatedWork W2135654320 @default.
- W1544488064 hasRelatedWork W2149722899 @default.
- W1544488064 hasRelatedWork W2153133295 @default.
- W1544488064 hasRelatedWork W2156872761 @default.
- W1544488064 hasRelatedWork W2479117467 @default.
- W1544488064 hasRelatedWork W2483314354 @default.
- W1544488064 isParatext "false" @default.
- W1544488064 isRetracted "false" @default.
- W1544488064 magId "1544488064" @default.
- W1544488064 workType "article" @default.