FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1985759744> ?p ?o ?g. }

• W1985759744 endingPage "1418" @default.
• W1985759744 startingPage "1403" @default.
• W1985759744 abstract "The use of model checkers for automated software testing has received some attention in the literature: It is convenient because it allows fully automated generation of test suites for many different test objectives. On the other hand, model checkers were not originally meant to be used this way but for formal verification, so using model checkers for testing is sometimes perceived as a “hack”. Indeed, several drawbacks result from the use of model checkers for test case generation. If model checkers were designed or adapted to take into account the needs that result from the application to software testing, this could lead to significant improvements with regard to test suite quality and performance. In this paper we identify the drawbacks of current model checkers when used for testing. We illustrate techniques to overcome these problems, and show how they could be integrated into the model checking process. In essence, the described techniques can be seen as a general road map to turn model checkers into general purpose testing tools." @default.
• W1985759744 created "2016-06-24" @default.
• W1985759744 creator A5011388533 @default.
• W1985759744 creator A5037613705 @default.
• W1985759744 creator A5079261847 @default.
• W1985759744 date "2009-09-01" @default.
• W1985759744 modified "2023-09-26" @default.
• W1985759744 title "Issues in using model checkers for test case generation" @default.
• W1985759744 cites W1522465028 @default.
• W1985759744 cites W1598031569 @default.
• W1985759744 cites W1992987499 @default.
• W1985759744 cites W1998393968 @default.
• W1985759744 cites W2004929506 @default.
• W1985759744 cites W2018145554 @default.
• W1985759744 cites W2028586402 @default.
• W1985759744 cites W2062897452 @default.
• W1985759744 cites W2080267935 @default.
• W1985759744 cites W2088655521 @default.
• W1985759744 cites W2104420598 @default.
• W1985759744 cites W2110441383 @default.
• W1985759744 cites W2115309705 @default.
• W1985759744 cites W2116671687 @default.
• W1985759744 cites W2118962824 @default.
• W1985759744 cites W2147259298 @default.
• W1985759744 cites W2153385696 @default.
• W1985759744 cites W2162200351 @default.
• W1985759744 doi "https://doi.org/10.1016/j.jss.2009.05.016" @default.
• W1985759744 hasPublicationYear "2009" @default.
• W1985759744 type Work @default.
• W1985759744 sameAs 1985759744 @default.
• W1985759744 citedByCount "30" @default.
• W1985759744 countsByYear W19857597442012 @default.
• W1985759744 countsByYear W19857597442013 @default.
• W1985759744 countsByYear W19857597442014 @default.
• W1985759744 countsByYear W19857597442015 @default.
• W1985759744 countsByYear W19857597442016 @default.
• W1985759744 countsByYear W19857597442017 @default.
• W1985759744 countsByYear W19857597442019 @default.
• W1985759744 countsByYear W19857597442020 @default.
• W1985759744 countsByYear W19857597442023 @default.
• W1985759744 crossrefType "journal-article" @default.
• W1985759744 hasAuthorship W1985759744A5011388533 @default.
• W1985759744 hasAuthorship W1985759744A5037613705 @default.
• W1985759744 hasAuthorship W1985759744A5079261847 @default.
• W1985759744 hasConcept C110251889 @default.
• W1985759744 hasConcept C115903868 @default.
• W1985759744 hasConcept C119857082 @default.
• W1985759744 hasConcept C127413603 @default.
• W1985759744 hasConcept C128942645 @default.
• W1985759744 hasConcept C151552104 @default.
• W1985759744 hasConcept C151730666 @default.
• W1985759744 hasConcept C152877465 @default.
• W1985759744 hasConcept C165825675 @default.
• W1985759744 hasConcept C169168650 @default.
• W1985759744 hasConcept C186846655 @default.
• W1985759744 hasConcept C199360897 @default.
• W1985759744 hasConcept C200601418 @default.
• W1985759744 hasConcept C2777267654 @default.
• W1985759744 hasConcept C2777904410 @default.
• W1985759744 hasConcept C41008148 @default.
• W1985759744 hasConcept C529173508 @default.
• W1985759744 hasConcept C86803240 @default.
• W1985759744 hasConcept C98045186 @default.
• W1985759744 hasConceptScore W1985759744C110251889 @default.
• W1985759744 hasConceptScore W1985759744C115903868 @default.
• W1985759744 hasConceptScore W1985759744C119857082 @default.
• W1985759744 hasConceptScore W1985759744C127413603 @default.
• W1985759744 hasConceptScore W1985759744C128942645 @default.
• W1985759744 hasConceptScore W1985759744C151552104 @default.
• W1985759744 hasConceptScore W1985759744C151730666 @default.
• W1985759744 hasConceptScore W1985759744C152877465 @default.
• W1985759744 hasConceptScore W1985759744C165825675 @default.
• W1985759744 hasConceptScore W1985759744C169168650 @default.
• W1985759744 hasConceptScore W1985759744C186846655 @default.
• W1985759744 hasConceptScore W1985759744C199360897 @default.
• W1985759744 hasConceptScore W1985759744C200601418 @default.
• W1985759744 hasConceptScore W1985759744C2777267654 @default.
• W1985759744 hasConceptScore W1985759744C2777904410 @default.
• W1985759744 hasConceptScore W1985759744C41008148 @default.
• W1985759744 hasConceptScore W1985759744C529173508 @default.
• W1985759744 hasConceptScore W1985759744C86803240 @default.
• W1985759744 hasConceptScore W1985759744C98045186 @default.
• W1985759744 hasIssue "9" @default.
• W1985759744 hasLocation W19857597441 @default.
• W1985759744 hasOpenAccess W1985759744 @default.
• W1985759744 hasPrimaryLocation W19857597441 @default.
• W1985759744 hasRelatedWork W11197825 @default.
• W1985759744 hasRelatedWork W1983276929 @default.
• W1985759744 hasRelatedWork W1985759744 @default.
• W1985759744 hasRelatedWork W2131044856 @default.
• W1985759744 hasRelatedWork W2189059128 @default.
• W1985759744 hasRelatedWork W2204156854 @default.
• W1985759744 hasRelatedWork W2217783425 @default.
• W1985759744 hasRelatedWork W2394172897 @default.
• W1985759744 hasRelatedWork W2763952729 @default.
• W1985759744 hasRelatedWork W46418635 @default.
• W1985759744 hasVolume "82" @default.
• W1985759744 isParatext "false" @default.

• next