Matches in SemOpenAlex for { <https://semopenalex.org/work/W68130004> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W68130004 endingPage "294" @default.
- W68130004 startingPage "281" @default.
- W68130004 abstract "TOBIAS is a combinatorial testing tool, aimed at the production of large test suites. In this paper, TOBIAS is applied to conformance tests for model-based specifications (expressed with assertions, pre and post-conditions) and associated implementations. The tool takes advantage of the executable character of VDM or JML assertions which provide an oracle for the testing process. Executing large test suites may require a lot of time. This paper shows how assertions can be exploited at generation time to filter the set of test cases, and at execution time to detect inconclusive test cases." @default.
- W68130004 created "2016-06-24" @default.
- W68130004 creator A5034605686 @default.
- W68130004 creator A5056667816 @default.
- W68130004 creator A5088244266 @default.
- W68130004 creator A5091763647 @default.
- W68130004 date "2004-01-01" @default.
- W68130004 modified "2023-09-25" @default.
- W68130004 title "Filtering TOBIAS Combinatorial Test Suites" @default.
- W68130004 cites W1506375872 @default.
- W68130004 cites W1521494223 @default.
- W68130004 cites W1583826417 @default.
- W68130004 cites W2000254368 @default.
- W68130004 cites W2113944334 @default.
- W68130004 doi "https://doi.org/10.1007/978-3-540-24721-0_21" @default.
- W68130004 hasPublicationYear "2004" @default.
- W68130004 type Work @default.
- W68130004 sameAs 68130004 @default.
- W68130004 citedByCount "38" @default.
- W68130004 countsByYear W681300042012 @default.
- W68130004 countsByYear W681300042013 @default.
- W68130004 countsByYear W681300042014 @default.
- W68130004 countsByYear W681300042015 @default.
- W68130004 countsByYear W681300042016 @default.
- W68130004 countsByYear W681300042017 @default.
- W68130004 countsByYear W681300042021 @default.
- W68130004 crossrefType "book-chapter" @default.
- W68130004 hasAuthorship W68130004A5034605686 @default.
- W68130004 hasAuthorship W68130004A5056667816 @default.
- W68130004 hasAuthorship W68130004A5088244266 @default.
- W68130004 hasAuthorship W68130004A5091763647 @default.
- W68130004 hasBestOaLocation W681300041 @default.
- W68130004 hasConcept C106131492 @default.
- W68130004 hasConcept C151730666 @default.
- W68130004 hasConcept C160145156 @default.
- W68130004 hasConcept C177264268 @default.
- W68130004 hasConcept C199360897 @default.
- W68130004 hasConcept C26713055 @default.
- W68130004 hasConcept C2777267654 @default.
- W68130004 hasConcept C31972630 @default.
- W68130004 hasConcept C41008148 @default.
- W68130004 hasConcept C55166926 @default.
- W68130004 hasConcept C86803240 @default.
- W68130004 hasConcept C98045186 @default.
- W68130004 hasConceptScore W68130004C106131492 @default.
- W68130004 hasConceptScore W68130004C151730666 @default.
- W68130004 hasConceptScore W68130004C160145156 @default.
- W68130004 hasConceptScore W68130004C177264268 @default.
- W68130004 hasConceptScore W68130004C199360897 @default.
- W68130004 hasConceptScore W68130004C26713055 @default.
- W68130004 hasConceptScore W68130004C2777267654 @default.
- W68130004 hasConceptScore W68130004C31972630 @default.
- W68130004 hasConceptScore W68130004C41008148 @default.
- W68130004 hasConceptScore W68130004C55166926 @default.
- W68130004 hasConceptScore W68130004C86803240 @default.
- W68130004 hasConceptScore W68130004C98045186 @default.
- W68130004 hasLocation W681300041 @default.
- W68130004 hasOpenAccess W68130004 @default.
- W68130004 hasPrimaryLocation W681300041 @default.
- W68130004 hasRelatedWork W1504651774 @default.
- W68130004 hasRelatedWork W1554764448 @default.
- W68130004 hasRelatedWork W1565501066 @default.
- W68130004 hasRelatedWork W1967499492 @default.
- W68130004 hasRelatedWork W1984757784 @default.
- W68130004 hasRelatedWork W2026046761 @default.
- W68130004 hasRelatedWork W2083338789 @default.
- W68130004 hasRelatedWork W2475423329 @default.
- W68130004 hasRelatedWork W2553219795 @default.
- W68130004 hasRelatedWork W2748872428 @default.
- W68130004 isParatext "false" @default.
- W68130004 isRetracted "false" @default.
- W68130004 magId "68130004" @default.
- W68130004 workType "book-chapter" @default.