FRINK Linked Data Fragments server

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

• W2033072042 endingPage "300" @default.
• W2033072042 startingPage "293" @default.
• W2033072042 abstract "Software validation through testing will continue to be a very important tool for ensuring correctness of large scale software systems. Automation of testing tools can greatly enhance their power and reduce testing cost. In this paper, techniques for automated test data generation are discussed. Given a program graph, a set of paths are identified to satisfy some given testing criteria. When a path or a program segment is specified, symbolic execution is used for generating input constraints which define a set of inputs for executing this path or segment. Problems encountered in symbolic execution are discussed. A new approach for resolving array reference ambiguities and a procedure for generating test inputs satisfying input constraints are proposed. References to arrays are recorded in a table. during symbolic execution and ambiguities are resolved when test data are generated to evaluate the subscript expressions. The implementation of a test data generator for Fortran programs incorporating these techniques is also described." @default.
• W2033072042 created "2016-06-24" @default.
• W2033072042 creator A5035511655 @default.
• W2033072042 creator A5038231385 @default.
• W2033072042 creator A5066801848 @default.
• W2033072042 date "1976-12-01" @default.
• W2033072042 modified "2023-09-26" @default.
• W2033072042 title "On the Automated Generation of Program Test Data" @default.
• W2033072042 cites W1996528637 @default.
• W2033072042 cites W2003295303 @default.
• W2033072042 cites W2109276114 @default.
• W2033072042 cites W2164836255 @default.
• W2033072042 cites W2610438762 @default.
• W2033072042 cites W2610485112 @default.
• W2033072042 cites W2610511123 @default.
• W2033072042 cites W2611698539 @default.
• W2033072042 cites W4247246286 @default.
• W2033072042 doi "https://doi.org/10.1109/tse.1976.233835" @default.
• W2033072042 hasPublicationYear "1976" @default.
• W2033072042 type Work @default.
• W2033072042 sameAs 2033072042 @default.
• W2033072042 citedByCount "287" @default.
• W2033072042 countsByYear W20330720422012 @default.
• W2033072042 countsByYear W20330720422013 @default.
• W2033072042 countsByYear W20330720422014 @default.
• W2033072042 countsByYear W20330720422015 @default.
• W2033072042 countsByYear W20330720422016 @default.
• W2033072042 countsByYear W20330720422017 @default.
• W2033072042 countsByYear W20330720422018 @default.
• W2033072042 countsByYear W20330720422019 @default.
• W2033072042 countsByYear W20330720422020 @default.
• W2033072042 countsByYear W20330720422021 @default.
• W2033072042 countsByYear W20330720422022 @default.
• W2033072042 crossrefType "journal-article" @default.
• W2033072042 hasAuthorship W2033072042A5035511655 @default.
• W2033072042 hasAuthorship W2033072042A5038231385 @default.
• W2033072042 hasAuthorship W2033072042A5066801848 @default.
• W2033072042 hasConcept C11219265 @default.
• W2033072042 hasConcept C115901376 @default.
• W2033072042 hasConcept C119857082 @default.
• W2033072042 hasConcept C121332964 @default.
• W2033072042 hasConcept C124101348 @default.
• W2033072042 hasConcept C127413603 @default.
• W2033072042 hasConcept C128942645 @default.
• W2033072042 hasConcept C132525143 @default.
• W2033072042 hasConcept C149091818 @default.
• W2033072042 hasConcept C152877465 @default.
• W2033072042 hasConcept C162443782 @default.
• W2033072042 hasConcept C163258240 @default.
• W2033072042 hasConcept C16910744 @default.
• W2033072042 hasConcept C169168650 @default.
• W2033072042 hasConcept C177264268 @default.
• W2033072042 hasConcept C186846655 @default.
• W2033072042 hasConcept C199360897 @default.
• W2033072042 hasConcept C2777904410 @default.
• W2033072042 hasConcept C2778241615 @default.
• W2033072042 hasConcept C2779639559 @default.
• W2033072042 hasConcept C2780992000 @default.
• W2033072042 hasConcept C41008148 @default.
• W2033072042 hasConcept C45235069 @default.
• W2033072042 hasConcept C55439883 @default.
• W2033072042 hasConcept C62520636 @default.
• W2033072042 hasConcept C78519656 @default.
• W2033072042 hasConcept C80444323 @default.
• W2033072042 hasConcept C98183937 @default.
• W2033072042 hasConceptScore W2033072042C11219265 @default.
• W2033072042 hasConceptScore W2033072042C115901376 @default.
• W2033072042 hasConceptScore W2033072042C119857082 @default.
• W2033072042 hasConceptScore W2033072042C121332964 @default.
• W2033072042 hasConceptScore W2033072042C124101348 @default.
• W2033072042 hasConceptScore W2033072042C127413603 @default.
• W2033072042 hasConceptScore W2033072042C128942645 @default.
• W2033072042 hasConceptScore W2033072042C132525143 @default.
• W2033072042 hasConceptScore W2033072042C149091818 @default.
• W2033072042 hasConceptScore W2033072042C152877465 @default.
• W2033072042 hasConceptScore W2033072042C162443782 @default.
• W2033072042 hasConceptScore W2033072042C163258240 @default.
• W2033072042 hasConceptScore W2033072042C16910744 @default.
• W2033072042 hasConceptScore W2033072042C169168650 @default.
• W2033072042 hasConceptScore W2033072042C177264268 @default.
• W2033072042 hasConceptScore W2033072042C186846655 @default.
• W2033072042 hasConceptScore W2033072042C199360897 @default.
• W2033072042 hasConceptScore W2033072042C2777904410 @default.
• W2033072042 hasConceptScore W2033072042C2778241615 @default.
• W2033072042 hasConceptScore W2033072042C2779639559 @default.
• W2033072042 hasConceptScore W2033072042C2780992000 @default.
• W2033072042 hasConceptScore W2033072042C41008148 @default.
• W2033072042 hasConceptScore W2033072042C45235069 @default.
• W2033072042 hasConceptScore W2033072042C55439883 @default.
• W2033072042 hasConceptScore W2033072042C62520636 @default.
• W2033072042 hasConceptScore W2033072042C78519656 @default.
• W2033072042 hasConceptScore W2033072042C80444323 @default.
• W2033072042 hasConceptScore W2033072042C98183937 @default.
• W2033072042 hasIssue "4" @default.
• W2033072042 hasLocation W20330720421 @default.
• W2033072042 hasOpenAccess W2033072042 @default.
• W2033072042 hasPrimaryLocation W20330720421 @default.
• W2033072042 hasRelatedWork W1585907542 @default.

• next