FRINK Linked Data Fragments server

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

• W2053296447 endingPage "20" @default.
• W2053296447 startingPage "1" @default.
• W2053296447 abstract "Motivated by the need for validation methodologies for embedded systems we propose a method for embedded software testing that can be integrated with existing hardware methods. Existing coverage-directed validation methods guarantee the execution of a certain percentage of the program code under test. Yet they do not generally verify whether the statements executed have any influence on the program's output. In the proposed method, a program statement is considered covered not simply for belonging to the executed path, but only if its execution has influence in some observable output. The paths are generated by searching the longest path in terms of the number of statements in the path. Given that not all paths are valid, we check their feasibility using a method based on Mixed Integer Linear Programming (MILP). Variable aliasing is accounted for by representing variables by their memory addresses when building this MILP problem. In this manner, for feasible paths, we obtain immediately the input values that allow the execution of the path. Using these inputs, we determine the statements actually observed. We repeat this process until a user-specified level of coverage has been achieved. In the generation of each new path, the statement coverage obtained so far and the feasibility of previous paths is taken into account. We present results that demonstrate the effectiveness of this methodology." @default.
• W2053296447 created "2016-06-24" @default.
• W2053296447 creator A5039448613 @default.
• W2053296447 creator A5067864193 @default.
• W2053296447 date "2013-03-01" @default.
• W2053296447 modified "2023-09-24" @default.
• W2053296447 title "Coverage-directed observability-based validation for embedded software" @default.
• W2053296447 cites W1528279629 @default.
• W2053296447 cites W1971727464 @default.
• W2053296447 cites W1975620021 @default.
• W2053296447 cites W1979607300 @default.
• W2053296447 cites W1989291120 @default.
• W2053296447 cites W2004917085 @default.
• W2053296447 cites W2011367000 @default.
• W2053296447 cites W2011848140 @default.
• W2053296447 cites W2020689607 @default.
• W2053296447 cites W2025304834 @default.
• W2053296447 cites W2041470132 @default.
• W2053296447 cites W2045821558 @default.
• W2053296447 cites W2050157787 @default.
• W2053296447 cites W2081840025 @default.
• W2053296447 cites W2099855131 @default.
• W2053296447 cites W2103825248 @default.
• W2053296447 cites W2109276114 @default.
• W2053296447 cites W2112461649 @default.
• W2053296447 cites W2120552859 @default.
• W2053296447 cites W2124537426 @default.
• W2053296447 cites W2125201605 @default.
• W2053296447 cites W2138721431 @default.
• W2053296447 cites W2144123593 @default.
• W2053296447 cites W2147974680 @default.
• W2053296447 cites W2154001469 @default.
• W2053296447 cites W2163499368 @default.
• W2053296447 cites W2169687938 @default.
• W2053296447 cites W4234542549 @default.
• W2053296447 cites W4237492309 @default.
• W2053296447 doi "https://doi.org/10.1145/2442087.2442090" @default.
• W2053296447 hasPublicationYear "2013" @default.
• W2053296447 type Work @default.
• W2053296447 sameAs 2053296447 @default.
• W2053296447 citedByCount "1" @default.
• W2053296447 countsByYear W20532964472014 @default.
• W2053296447 crossrefType "journal-article" @default.
• W2053296447 hasAuthorship W2053296447A5039448613 @default.
• W2053296447 hasAuthorship W2053296447A5067864193 @default.
• W2053296447 hasConcept C106131492 @default.
• W2053296447 hasConcept C11413529 @default.
• W2053296447 hasConcept C134306372 @default.
• W2053296447 hasConcept C17744445 @default.
• W2053296447 hasConcept C182365436 @default.
• W2053296447 hasConcept C199360897 @default.
• W2053296447 hasConcept C199539241 @default.
• W2053296447 hasConcept C2777026412 @default.
• W2053296447 hasConcept C2777735758 @default.
• W2053296447 hasConcept C2777904410 @default.
• W2053296447 hasConcept C28826006 @default.
• W2053296447 hasConcept C31972630 @default.
• W2053296447 hasConcept C33923547 @default.
• W2053296447 hasConcept C36299963 @default.
• W2053296447 hasConcept C4069607 @default.
• W2053296447 hasConcept C41008148 @default.
• W2053296447 hasConcept C53942775 @default.
• W2053296447 hasConcept C56086750 @default.
• W2053296447 hasConcept C97137487 @default.
• W2053296447 hasConcept C98045186 @default.
• W2053296447 hasConceptScore W2053296447C106131492 @default.
• W2053296447 hasConceptScore W2053296447C11413529 @default.
• W2053296447 hasConceptScore W2053296447C134306372 @default.
• W2053296447 hasConceptScore W2053296447C17744445 @default.
• W2053296447 hasConceptScore W2053296447C182365436 @default.
• W2053296447 hasConceptScore W2053296447C199360897 @default.
• W2053296447 hasConceptScore W2053296447C199539241 @default.
• W2053296447 hasConceptScore W2053296447C2777026412 @default.
• W2053296447 hasConceptScore W2053296447C2777735758 @default.
• W2053296447 hasConceptScore W2053296447C2777904410 @default.
• W2053296447 hasConceptScore W2053296447C28826006 @default.
• W2053296447 hasConceptScore W2053296447C31972630 @default.
• W2053296447 hasConceptScore W2053296447C33923547 @default.
• W2053296447 hasConceptScore W2053296447C36299963 @default.
• W2053296447 hasConceptScore W2053296447C4069607 @default.
• W2053296447 hasConceptScore W2053296447C41008148 @default.
• W2053296447 hasConceptScore W2053296447C53942775 @default.
• W2053296447 hasConceptScore W2053296447C56086750 @default.
• W2053296447 hasConceptScore W2053296447C97137487 @default.
• W2053296447 hasConceptScore W2053296447C98045186 @default.
• W2053296447 hasFunder F4320334779 @default.
• W2053296447 hasIssue "2" @default.
• W2053296447 hasLocation W20532964471 @default.
• W2053296447 hasOpenAccess W2053296447 @default.
• W2053296447 hasPrimaryLocation W20532964471 @default.
• W2053296447 hasRelatedWork W1489983534 @default.
• W2053296447 hasRelatedWork W1541804796 @default.
• W2053296447 hasRelatedWork W1976702040 @default.
• W2053296447 hasRelatedWork W1976896050 @default.
• W2053296447 hasRelatedWork W2024298120 @default.
• W2053296447 hasRelatedWork W2166470941 @default.
• W2053296447 hasRelatedWork W2348670029 @default.
• W2053296447 hasRelatedWork W2395694803 @default.

• next