Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313447549> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W4313447549 abstract "Automated test case generation tools help businesses to write tests and increase the safety net provided by high regression test coverage when making code changes. Test generation needs to cover as much as possible of the uncovered code while avoiding generating redundant tests for code that is already covered by an existing test-suite. In this paper we present our work on a tool for the real world application of integrating formal analysis with automatic test case generation. The test case generation is based on coverage analysis using the Java bounded model checker (JBMC). Counterexamples of the model checker can be translated into Java method calls with specific parameters. In order to avoid the generation of redundant tests, it is necessary to measure the coverage in the exact same way as JBMC generates its coverage goals. Each existing coverage measurement tool uses a slightly different instrumentation and thus a different coverage criterion. This makes integration with a test case generator based on formal analysis difficult. Therefore, we developed BlueCov as a specific runtime coverage measurement tool which uses the exact same coverage criteria as JBMC does. This approach also allows for incremental test-case generation, only generating test coverage for previously untested code, e.g., to complete existing test suites." @default.
- W4313447549 created "2023-01-06" @default.
- W4313447549 creator A5034850670 @default.
- W4313447549 creator A5066022930 @default.
- W4313447549 date "2022-12-30" @default.
- W4313447549 modified "2023-10-18" @default.
- W4313447549 title "BlueCov: Integrating Test Coverage and Model Checking with JBMC" @default.
- W4313447549 doi "https://doi.org/10.48550/arxiv.2212.14779" @default.
- W4313447549 hasPublicationYear "2022" @default.
- W4313447549 type Work @default.
- W4313447549 citedByCount "1" @default.
- W4313447549 countsByYear W43134475492023 @default.
- W4313447549 crossrefType "posted-content" @default.
- W4313447549 hasAuthorship W4313447549A5034850670 @default.
- W4313447549 hasAuthorship W4313447549A5066022930 @default.
- W4313447549 hasBestOaLocation W43134475491 @default.
- W4313447549 hasConcept C110251889 @default.
- W4313447549 hasConcept C111919701 @default.
- W4313447549 hasConcept C119857082 @default.
- W4313447549 hasConcept C121332964 @default.
- W4313447549 hasConcept C127413603 @default.
- W4313447549 hasConcept C128942645 @default.
- W4313447549 hasConcept C133162039 @default.
- W4313447549 hasConcept C151552104 @default.
- W4313447549 hasConcept C151730666 @default.
- W4313447549 hasConcept C152877465 @default.
- W4313447549 hasConcept C161821725 @default.
- W4313447549 hasConcept C162443782 @default.
- W4313447549 hasConcept C163258240 @default.
- W4313447549 hasConcept C165825675 @default.
- W4313447549 hasConcept C177264268 @default.
- W4313447549 hasConcept C186846655 @default.
- W4313447549 hasConcept C199360897 @default.
- W4313447549 hasConcept C200601418 @default.
- W4313447549 hasConcept C26517878 @default.
- W4313447549 hasConcept C2776760102 @default.
- W4313447549 hasConcept C2777267654 @default.
- W4313447549 hasConcept C2777904410 @default.
- W4313447549 hasConcept C2780992000 @default.
- W4313447549 hasConcept C41008148 @default.
- W4313447549 hasConcept C529173508 @default.
- W4313447549 hasConcept C53942775 @default.
- W4313447549 hasConcept C548217200 @default.
- W4313447549 hasConcept C62520636 @default.
- W4313447549 hasConcept C7435765 @default.
- W4313447549 hasConcept C86803240 @default.
- W4313447549 hasConceptScore W4313447549C110251889 @default.
- W4313447549 hasConceptScore W4313447549C111919701 @default.
- W4313447549 hasConceptScore W4313447549C119857082 @default.
- W4313447549 hasConceptScore W4313447549C121332964 @default.
- W4313447549 hasConceptScore W4313447549C127413603 @default.
- W4313447549 hasConceptScore W4313447549C128942645 @default.
- W4313447549 hasConceptScore W4313447549C133162039 @default.
- W4313447549 hasConceptScore W4313447549C151552104 @default.
- W4313447549 hasConceptScore W4313447549C151730666 @default.
- W4313447549 hasConceptScore W4313447549C152877465 @default.
- W4313447549 hasConceptScore W4313447549C161821725 @default.
- W4313447549 hasConceptScore W4313447549C162443782 @default.
- W4313447549 hasConceptScore W4313447549C163258240 @default.
- W4313447549 hasConceptScore W4313447549C165825675 @default.
- W4313447549 hasConceptScore W4313447549C177264268 @default.
- W4313447549 hasConceptScore W4313447549C186846655 @default.
- W4313447549 hasConceptScore W4313447549C199360897 @default.
- W4313447549 hasConceptScore W4313447549C200601418 @default.
- W4313447549 hasConceptScore W4313447549C26517878 @default.
- W4313447549 hasConceptScore W4313447549C2776760102 @default.
- W4313447549 hasConceptScore W4313447549C2777267654 @default.
- W4313447549 hasConceptScore W4313447549C2777904410 @default.
- W4313447549 hasConceptScore W4313447549C2780992000 @default.
- W4313447549 hasConceptScore W4313447549C41008148 @default.
- W4313447549 hasConceptScore W4313447549C529173508 @default.
- W4313447549 hasConceptScore W4313447549C53942775 @default.
- W4313447549 hasConceptScore W4313447549C548217200 @default.
- W4313447549 hasConceptScore W4313447549C62520636 @default.
- W4313447549 hasConceptScore W4313447549C7435765 @default.
- W4313447549 hasConceptScore W4313447549C86803240 @default.
- W4313447549 hasLocation W43134475491 @default.
- W4313447549 hasOpenAccess W4313447549 @default.
- W4313447549 hasPrimaryLocation W43134475491 @default.
- W4313447549 hasRelatedWork W1966242135 @default.
- W4313447549 hasRelatedWork W1978406750 @default.
- W4313447549 hasRelatedWork W2047684709 @default.
- W4313447549 hasRelatedWork W2052414005 @default.
- W4313447549 hasRelatedWork W2142162735 @default.
- W4313447549 hasRelatedWork W2154032253 @default.
- W4313447549 hasRelatedWork W2243231242 @default.
- W4313447549 hasRelatedWork W2319432232 @default.
- W4313447549 hasRelatedWork W3175215928 @default.
- W4313447549 hasRelatedWork W4239216682 @default.
- W4313447549 isParatext "false" @default.
- W4313447549 isRetracted "false" @default.
- W4313447549 workType "article" @default.