Matches in SemOpenAlex for { <https://semopenalex.org/work/W2075319938> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2075319938 abstract "Cost of testing greater than cost of development. 100/0 increase each year for avionics software (Boeing META Project). Uneven partitioning, uneven quality: 800/0 of errors traced to 200/0 of code. Need to reduce and focus the cost of testing. Formal methods might be the primary source of evidence for the satisfaction of many of the objectives concerned with development and verification." @default.
- W2075319938 created "2016-06-24" @default.
- W2075319938 creator A5072364706 @default.
- W2075319938 date "2013-10-01" @default.
- W2075319938 modified "2023-09-25" @default.
- W2075319938 title "Integrating test and proof in the verifiable spark 2014 language using contracts and SMT solvers" @default.
- W2075319938 doi "https://doi.org/10.1109/dasc.2013.6719720" @default.
- W2075319938 hasPublicationYear "2013" @default.
- W2075319938 type Work @default.
- W2075319938 sameAs 2075319938 @default.
- W2075319938 citedByCount "0" @default.
- W2075319938 crossrefType "proceedings-article" @default.
- W2075319938 hasAuthorship W2075319938A5072364706 @default.
- W2075319938 hasConcept C115903868 @default.
- W2075319938 hasConcept C117447612 @default.
- W2075319938 hasConcept C120665830 @default.
- W2075319938 hasConcept C121332964 @default.
- W2075319938 hasConcept C127413603 @default.
- W2075319938 hasConcept C146978453 @default.
- W2075319938 hasConcept C151730666 @default.
- W2075319938 hasConcept C15792166 @default.
- W2075319938 hasConcept C177264268 @default.
- W2075319938 hasConcept C192209626 @default.
- W2075319938 hasConcept C199360897 @default.
- W2075319938 hasConcept C200601418 @default.
- W2075319938 hasConcept C2777267654 @default.
- W2075319938 hasConcept C2777904410 @default.
- W2075319938 hasConcept C2781215313 @default.
- W2075319938 hasConcept C41008148 @default.
- W2075319938 hasConcept C529173508 @default.
- W2075319938 hasConcept C53942775 @default.
- W2075319938 hasConcept C63406617 @default.
- W2075319938 hasConcept C85847156 @default.
- W2075319938 hasConcept C86803240 @default.
- W2075319938 hasConceptScore W2075319938C115903868 @default.
- W2075319938 hasConceptScore W2075319938C117447612 @default.
- W2075319938 hasConceptScore W2075319938C120665830 @default.
- W2075319938 hasConceptScore W2075319938C121332964 @default.
- W2075319938 hasConceptScore W2075319938C127413603 @default.
- W2075319938 hasConceptScore W2075319938C146978453 @default.
- W2075319938 hasConceptScore W2075319938C151730666 @default.
- W2075319938 hasConceptScore W2075319938C15792166 @default.
- W2075319938 hasConceptScore W2075319938C177264268 @default.
- W2075319938 hasConceptScore W2075319938C192209626 @default.
- W2075319938 hasConceptScore W2075319938C199360897 @default.
- W2075319938 hasConceptScore W2075319938C200601418 @default.
- W2075319938 hasConceptScore W2075319938C2777267654 @default.
- W2075319938 hasConceptScore W2075319938C2777904410 @default.
- W2075319938 hasConceptScore W2075319938C2781215313 @default.
- W2075319938 hasConceptScore W2075319938C41008148 @default.
- W2075319938 hasConceptScore W2075319938C529173508 @default.
- W2075319938 hasConceptScore W2075319938C53942775 @default.
- W2075319938 hasConceptScore W2075319938C63406617 @default.
- W2075319938 hasConceptScore W2075319938C85847156 @default.
- W2075319938 hasConceptScore W2075319938C86803240 @default.
- W2075319938 hasLocation W20753199381 @default.
- W2075319938 hasOpenAccess W2075319938 @default.
- W2075319938 hasPrimaryLocation W20753199381 @default.
- W2075319938 hasRelatedWork W1815064695 @default.
- W2075319938 hasRelatedWork W1967689076 @default.
- W2075319938 hasRelatedWork W2075319938 @default.
- W2075319938 hasRelatedWork W2088476856 @default.
- W2075319938 hasRelatedWork W2097022260 @default.
- W2075319938 hasRelatedWork W2898621196 @default.
- W2075319938 hasRelatedWork W2952280609 @default.
- W2075319938 hasRelatedWork W4320058740 @default.
- W2075319938 hasRelatedWork W652094546 @default.
- W2075319938 hasRelatedWork W75387658 @default.
- W2075319938 isParatext "false" @default.
- W2075319938 isRetracted "false" @default.
- W2075319938 magId "2075319938" @default.
- W2075319938 workType "article" @default.