Matches in SemOpenAlex for { <https://semopenalex.org/work/W2043985369> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2043985369 endingPage "50" @default.
- W2043985369 startingPage "41" @default.
- W2043985369 abstract "Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to determine the full functional behavior of programs under development, and even the most thorough testing can provide only partial knowledge of behaviors. Thus, effective scientific principles and engineering technology for revealing software behavior should have a positive impact on software testing. This paper describes the emerging technology of function extraction (FX) for computing the behavior of programs to the maximum extent possible with mathematical precision. We explore how the use of FX technologies can transform methods for functional verification of software. An example illustrates the value of full behavior knowledge for complete and confident assessment of software function and fitness for use. We conclude by describing a transition strategy for introducing FX technology into the development and operation of software systems." @default.
- W2043985369 created "2016-06-24" @default.
- W2043985369 creator A5059350995 @default.
- W2043985369 creator A5061263507 @default.
- W2043985369 creator A5066593676 @default.
- W2043985369 date "2008-07-31" @default.
- W2043985369 modified "2023-09-25" @default.
- W2043985369 title "Introducing function extraction into software testing" @default.
- W2043985369 cites W1964642955 @default.
- W2043985369 cites W2039631483 @default.
- W2043985369 cites W2060795628 @default.
- W2043985369 cites W2113047249 @default.
- W2043985369 cites W2129266623 @default.
- W2043985369 cites W4252775433 @default.
- W2043985369 doi "https://doi.org/10.1145/1390673.1390679" @default.
- W2043985369 hasPublicationYear "2008" @default.
- W2043985369 type Work @default.
- W2043985369 sameAs 2043985369 @default.
- W2043985369 citedByCount "15" @default.
- W2043985369 countsByYear W20439853692012 @default.
- W2043985369 crossrefType "journal-article" @default.
- W2043985369 hasAuthorship W2043985369A5059350995 @default.
- W2043985369 hasAuthorship W2043985369A5061263507 @default.
- W2043985369 hasAuthorship W2043985369A5066593676 @default.
- W2043985369 hasConcept C111524372 @default.
- W2043985369 hasConcept C111919701 @default.
- W2043985369 hasConcept C115903868 @default.
- W2043985369 hasConcept C127413603 @default.
- W2043985369 hasConcept C14036430 @default.
- W2043985369 hasConcept C182500959 @default.
- W2043985369 hasConcept C186846655 @default.
- W2043985369 hasConcept C201995342 @default.
- W2043985369 hasConcept C21547014 @default.
- W2043985369 hasConcept C2777904410 @default.
- W2043985369 hasConcept C41008148 @default.
- W2043985369 hasConcept C44416564 @default.
- W2043985369 hasConcept C48002344 @default.
- W2043985369 hasConcept C529173508 @default.
- W2043985369 hasConcept C52928878 @default.
- W2043985369 hasConcept C78458016 @default.
- W2043985369 hasConcept C86803240 @default.
- W2043985369 hasConceptScore W2043985369C111524372 @default.
- W2043985369 hasConceptScore W2043985369C111919701 @default.
- W2043985369 hasConceptScore W2043985369C115903868 @default.
- W2043985369 hasConceptScore W2043985369C127413603 @default.
- W2043985369 hasConceptScore W2043985369C14036430 @default.
- W2043985369 hasConceptScore W2043985369C182500959 @default.
- W2043985369 hasConceptScore W2043985369C186846655 @default.
- W2043985369 hasConceptScore W2043985369C201995342 @default.
- W2043985369 hasConceptScore W2043985369C21547014 @default.
- W2043985369 hasConceptScore W2043985369C2777904410 @default.
- W2043985369 hasConceptScore W2043985369C41008148 @default.
- W2043985369 hasConceptScore W2043985369C44416564 @default.
- W2043985369 hasConceptScore W2043985369C48002344 @default.
- W2043985369 hasConceptScore W2043985369C529173508 @default.
- W2043985369 hasConceptScore W2043985369C52928878 @default.
- W2043985369 hasConceptScore W2043985369C78458016 @default.
- W2043985369 hasConceptScore W2043985369C86803240 @default.
- W2043985369 hasIssue "3" @default.
- W2043985369 hasLocation W20439853691 @default.
- W2043985369 hasOpenAccess W2043985369 @default.
- W2043985369 hasPrimaryLocation W20439853691 @default.
- W2043985369 hasRelatedWork W1857348236 @default.
- W2043985369 hasRelatedWork W1866037163 @default.
- W2043985369 hasRelatedWork W1932020719 @default.
- W2043985369 hasRelatedWork W2043985369 @default.
- W2043985369 hasRelatedWork W2054445351 @default.
- W2043985369 hasRelatedWork W2142884843 @default.
- W2043985369 hasRelatedWork W3022674617 @default.
- W2043985369 hasRelatedWork W3047487263 @default.
- W2043985369 hasRelatedWork W4243211268 @default.
- W2043985369 hasRelatedWork W4282044550 @default.
- W2043985369 hasVolume "39" @default.
- W2043985369 isParatext "false" @default.
- W2043985369 isRetracted "false" @default.
- W2043985369 magId "2043985369" @default.
- W2043985369 workType "article" @default.