Matches in SemOpenAlex for { <https://semopenalex.org/work/W2166251285> ?p ?o ?g. }
- W2166251285 abstract "Different testing techniques are being proposed in software testing to improve systems quality and increase development productivity. However, it is difficult to determine from a given set of testing techniques, which is the most effective testing technique for a certain domain, particularly if they are random-based. We are proposing a strategy and a framework that can evaluate such testing techniques. Our framework is defined compositionally and parametrically. This allows us to characterize different aspects of systems in an incremental way as well as test specific hypothesis about the system under test. In this paper we focus on GUI-based systems. That is, the specific internal behavior of the system is unknown but it can be approximated by probabilistic behaviors. And the empirical evaluation is based on the probabilistic model checker PRISM." @default.
- W2166251285 created "2016-06-24" @default.
- W2166251285 creator A5074182733 @default.
- W2166251285 creator A5035231618 @default.
- W2166251285 date "2009-01-01" @default.
- W2166251285 modified "2023-09-24" @default.
- W2166251285 title "Using Probabilistic Model Checking to Evaluate GUI Testing Techniques" @default.
- W2166251285 cites W1498614727 @default.
- W2166251285 cites W1516256348 @default.
- W2166251285 cites W1516732167 @default.
- W2166251285 cites W1591521007 @default.
- W2166251285 cites W1910771831 @default.
- W2166251285 cites W1992602600 @default.
- W2166251285 cites W2012086719 @default.
- W2166251285 cites W2018044188 @default.
- W2166251285 cites W2023730632 @default.
- W2166251285 cites W2114831855 @default.
- W2166251285 cites W2118734428 @default.
- W2166251285 cites W2138660048 @default.
- W2166251285 cites W2141291123 @default.
- W2166251285 cites W2143792751 @default.
- W2166251285 cites W2146174626 @default.
- W2166251285 cites W2167751257 @default.
- W2166251285 cites W2169752941 @default.
- W2166251285 cites W962664633 @default.
- W2166251285 doi "https://doi.org/10.1109/sefm.2009.28" @default.
- W2166251285 hasPublicationYear "2009" @default.
- W2166251285 type Work @default.
- W2166251285 sameAs 2166251285 @default.
- W2166251285 citedByCount "6" @default.
- W2166251285 countsByYear W21662512852012 @default.
- W2166251285 countsByYear W21662512852013 @default.
- W2166251285 crossrefType "proceedings-article" @default.
- W2166251285 hasAuthorship W2166251285A5035231618 @default.
- W2166251285 hasAuthorship W2166251285A5074182733 @default.
- W2166251285 hasConcept C106159264 @default.
- W2166251285 hasConcept C107683887 @default.
- W2166251285 hasConcept C108913964 @default.
- W2166251285 hasConcept C117447612 @default.
- W2166251285 hasConcept C119857082 @default.
- W2166251285 hasConcept C128942645 @default.
- W2166251285 hasConcept C134306372 @default.
- W2166251285 hasConcept C149091818 @default.
- W2166251285 hasConcept C152877465 @default.
- W2166251285 hasConcept C154945302 @default.
- W2166251285 hasConcept C165825675 @default.
- W2166251285 hasConcept C169168650 @default.
- W2166251285 hasConcept C177264268 @default.
- W2166251285 hasConcept C178059732 @default.
- W2166251285 hasConcept C182122060 @default.
- W2166251285 hasConcept C186846655 @default.
- W2166251285 hasConcept C188598960 @default.
- W2166251285 hasConcept C199360897 @default.
- W2166251285 hasConcept C2777904410 @default.
- W2166251285 hasConcept C33923547 @default.
- W2166251285 hasConcept C36503486 @default.
- W2166251285 hasConcept C41008148 @default.
- W2166251285 hasConcept C49937458 @default.
- W2166251285 hasConcept C529173508 @default.
- W2166251285 hasConcept C86469151 @default.
- W2166251285 hasConceptScore W2166251285C106159264 @default.
- W2166251285 hasConceptScore W2166251285C107683887 @default.
- W2166251285 hasConceptScore W2166251285C108913964 @default.
- W2166251285 hasConceptScore W2166251285C117447612 @default.
- W2166251285 hasConceptScore W2166251285C119857082 @default.
- W2166251285 hasConceptScore W2166251285C128942645 @default.
- W2166251285 hasConceptScore W2166251285C134306372 @default.
- W2166251285 hasConceptScore W2166251285C149091818 @default.
- W2166251285 hasConceptScore W2166251285C152877465 @default.
- W2166251285 hasConceptScore W2166251285C154945302 @default.
- W2166251285 hasConceptScore W2166251285C165825675 @default.
- W2166251285 hasConceptScore W2166251285C169168650 @default.
- W2166251285 hasConceptScore W2166251285C177264268 @default.
- W2166251285 hasConceptScore W2166251285C178059732 @default.
- W2166251285 hasConceptScore W2166251285C182122060 @default.
- W2166251285 hasConceptScore W2166251285C186846655 @default.
- W2166251285 hasConceptScore W2166251285C188598960 @default.
- W2166251285 hasConceptScore W2166251285C199360897 @default.
- W2166251285 hasConceptScore W2166251285C2777904410 @default.
- W2166251285 hasConceptScore W2166251285C33923547 @default.
- W2166251285 hasConceptScore W2166251285C36503486 @default.
- W2166251285 hasConceptScore W2166251285C41008148 @default.
- W2166251285 hasConceptScore W2166251285C49937458 @default.
- W2166251285 hasConceptScore W2166251285C529173508 @default.
- W2166251285 hasConceptScore W2166251285C86469151 @default.
- W2166251285 hasLocation W21662512851 @default.
- W2166251285 hasOpenAccess W2166251285 @default.
- W2166251285 hasPrimaryLocation W21662512851 @default.
- W2166251285 hasRelatedWork W1993897010 @default.
- W2166251285 hasRelatedWork W2109315538 @default.
- W2166251285 hasRelatedWork W2116374913 @default.
- W2166251285 hasRelatedWork W2159120852 @default.
- W2166251285 hasRelatedWork W2188367799 @default.
- W2166251285 hasRelatedWork W2200713179 @default.
- W2166251285 hasRelatedWork W2898972976 @default.
- W2166251285 hasRelatedWork W2909653756 @default.
- W2166251285 hasRelatedWork W2953463707 @default.
- W2166251285 hasRelatedWork W2966595444 @default.
- W2166251285 hasRelatedWork W2977632390 @default.
- W2166251285 hasRelatedWork W3033397011 @default.