FRINK Linked Data Fragments server

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

• W3109272827 startingPage "27" @default.
• W3109272827 abstract "We describe internal test-case reduction, the method of test-case reduction employed by Hypothesis, a widely-used property-based testing library for Python. The key idea of internal test-case reduction is that instead of applying test-case reduction externally to generated test cases, we apply it internally, to the sequence of random choices made during generation, so that a test case is reduced by continually re-generating smaller and simpler test cases that continue to trigger some property of interest (e.g. a bug in the system under test). This allows for fully generic test-case reduction without any user intervention and without the need to write a specific test-case reducer for a particular application domain. It also significantly mitigates the impact of the test-case validity problem, by ensuring that any reduced test case is one that could in principle have been generated. We describe the rationale behind this approach, explain its implementation in Hypothesis, and present an extensive evaluation comparing its effectiveness with that of several other test-case reducers, including C-Reduce and delta debugging, on applications including Python auto-formatting, C compilers, and the SymPy symbolic math library. Our hope is that these insights into the reduction mechanism employed by Hypothesis will be useful to researchers interested in randomized testing and test-case reduction, as the crux of the approach is fully generic and should be applicable to any random generator of test cases." @default.
• W3109272827 created "2020-12-07" @default.
• W3109272827 creator A5080781439 @default.
• W3109272827 creator A5089480061 @default.
• W3109272827 date "2020-01-01" @default.
• W3109272827 modified "2023-10-03" @default.
• W3109272827 title "Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper)" @default.
• W3109272827 doi "https://doi.org/10.4230/lipics.ecoop.2020.13" @default.
• W3109272827 hasPublicationYear "2020" @default.
• W3109272827 type Work @default.
• W3109272827 sameAs 3109272827 @default.
• W3109272827 citedByCount "5" @default.
• W3109272827 countsByYear W31092728272021 @default.
• W3109272827 countsByYear W31092728272023 @default.
• W3109272827 crossrefType "proceedings-article" @default.
• W3109272827 hasAuthorship W3109272827A5080781439 @default.
• W3109272827 hasAuthorship W3109272827A5089480061 @default.
• W3109272827 hasConcept C101468663 @default.
• W3109272827 hasConcept C106159264 @default.
• W3109272827 hasConcept C109086967 @default.
• W3109272827 hasConcept C111335779 @default.
• W3109272827 hasConcept C119599485 @default.
• W3109272827 hasConcept C119857082 @default.
• W3109272827 hasConcept C127413603 @default.
• W3109272827 hasConcept C128942645 @default.
• W3109272827 hasConcept C134146338 @default.
• W3109272827 hasConcept C147176958 @default.
• W3109272827 hasConcept C151552104 @default.
• W3109272827 hasConcept C151730666 @default.
• W3109272827 hasConcept C152877465 @default.
• W3109272827 hasConcept C168065819 @default.
• W3109272827 hasConcept C17626397 @default.
• W3109272827 hasConcept C186846655 @default.
• W3109272827 hasConcept C199360897 @default.
• W3109272827 hasConcept C200601418 @default.
• W3109272827 hasConcept C2524010 @default.
• W3109272827 hasConcept C2776985865 @default.
• W3109272827 hasConcept C2777267654 @default.
• W3109272827 hasConcept C2777904410 @default.
• W3109272827 hasConcept C33923547 @default.
• W3109272827 hasConcept C41008148 @default.
• W3109272827 hasConcept C519991488 @default.
• W3109272827 hasConcept C529173508 @default.
• W3109272827 hasConcept C7435765 @default.
• W3109272827 hasConcept C86803240 @default.
• W3109272827 hasConceptScore W3109272827C101468663 @default.
• W3109272827 hasConceptScore W3109272827C106159264 @default.
• W3109272827 hasConceptScore W3109272827C109086967 @default.
• W3109272827 hasConceptScore W3109272827C111335779 @default.
• W3109272827 hasConceptScore W3109272827C119599485 @default.
• W3109272827 hasConceptScore W3109272827C119857082 @default.
• W3109272827 hasConceptScore W3109272827C127413603 @default.
• W3109272827 hasConceptScore W3109272827C128942645 @default.
• W3109272827 hasConceptScore W3109272827C134146338 @default.
• W3109272827 hasConceptScore W3109272827C147176958 @default.
• W3109272827 hasConceptScore W3109272827C151552104 @default.
• W3109272827 hasConceptScore W3109272827C151730666 @default.
• W3109272827 hasConceptScore W3109272827C152877465 @default.
• W3109272827 hasConceptScore W3109272827C168065819 @default.
• W3109272827 hasConceptScore W3109272827C17626397 @default.
• W3109272827 hasConceptScore W3109272827C186846655 @default.
• W3109272827 hasConceptScore W3109272827C199360897 @default.
• W3109272827 hasConceptScore W3109272827C200601418 @default.
• W3109272827 hasConceptScore W3109272827C2524010 @default.
• W3109272827 hasConceptScore W3109272827C2776985865 @default.
• W3109272827 hasConceptScore W3109272827C2777267654 @default.
• W3109272827 hasConceptScore W3109272827C2777904410 @default.
• W3109272827 hasConceptScore W3109272827C33923547 @default.
• W3109272827 hasConceptScore W3109272827C41008148 @default.
• W3109272827 hasConceptScore W3109272827C519991488 @default.
• W3109272827 hasConceptScore W3109272827C529173508 @default.
• W3109272827 hasConceptScore W3109272827C7435765 @default.
• W3109272827 hasConceptScore W3109272827C86803240 @default.
• W3109272827 hasLocation W31092728271 @default.
• W3109272827 hasOpenAccess W3109272827 @default.
• W3109272827 hasPrimaryLocation W31092728271 @default.
• W3109272827 hasRelatedWork W1003524540 @default.
• W3109272827 hasRelatedWork W1991596178 @default.
• W3109272827 hasRelatedWork W2052800086 @default.
• W3109272827 hasRelatedWork W2138976973 @default.
• W3109272827 hasRelatedWork W2160441317 @default.
• W3109272827 hasRelatedWork W2173869268 @default.
• W3109272827 hasRelatedWork W2183160655 @default.
• W3109272827 hasRelatedWork W2327339546 @default.
• W3109272827 hasRelatedWork W2330134870 @default.
• W3109272827 hasRelatedWork W2371257169 @default.
• W3109272827 hasRelatedWork W2403165502 @default.
• W3109272827 hasRelatedWork W2515462146 @default.
• W3109272827 hasRelatedWork W2564924167 @default.
• W3109272827 hasRelatedWork W2883743404 @default.
• W3109272827 hasRelatedWork W3004171511 @default.
• W3109272827 hasRelatedWork W632606703 @default.
• W3109272827 hasRelatedWork W2184270655 @default.
• W3109272827 hasRelatedWork W2520038436 @default.
• W3109272827 hasRelatedWork W2586472418 @default.
• W3109272827 hasRelatedWork W2740825507 @default.
• W3109272827 isParatext "false" @default.
• W3109272827 isRetracted "false" @default.
• W3109272827 magId "3109272827" @default.

• next