FRINK Linked Data Fragments server

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

• W2885994992 abstract "Automated unit testing reduces manual effort to write unit test drivers/stubs and generate unit test inputs. However, automatically generated unit test drivers/stubs raise false alarms because they often over-approximate real contexts of a target function f and allow infeasible executions of f. To solve this problem, we have developed a concolic unit testing technique CONBRIO. To provide realistic context to f, it constructs an extended unit of f that consists of f and closely relevant functions to f. Also, CONBRIO filters out a false alarm by checking feasibility of a corresponding symbolic execution path with regard to f's symbolic calling contexts obtained by combining symbolic execution paths of f's closely related predecessor functions." @default.
• W2885994992 created "2018-08-22" @default.
• W2885994992 creator A5033449942 @default.
• W2885994992 creator A5081305477 @default.
• W2885994992 creator A5081553158 @default.
• W2885994992 date "2018-05-27" @default.
• W2885994992 modified "2023-09-23" @default.
• W2885994992 title "Precise concolic unit testing of C programs using extended units and symbolic alarm filtering" @default.
• W2885994992 cites W1546956568 @default.
• W2885994992 cites W1563577331 @default.
• W2885994992 cites W1794159487 @default.
• W2885994992 cites W1970005004 @default.
• W2885994992 cites W1971137495 @default.
• W2885994992 cites W1971455601 @default.
• W2885994992 cites W1971650562 @default.
• W2885994992 cites W1992105245 @default.
• W2885994992 cites W2000414759 @default.
• W2885994992 cites W2001565125 @default.
• W2885994992 cites W2009489720 @default.
• W2885994992 cites W2011843373 @default.
• W2885994992 cites W2016712834 @default.
• W2885994992 cites W2040385668 @default.
• W2885994992 cites W2042465741 @default.
• W2885994992 cites W2050853996 @default.
• W2885994992 cites W2061548807 @default.
• W2885994992 cites W2062200967 @default.
• W2885994992 cites W2062392785 @default.
• W2885994992 cites W2084187335 @default.
• W2885994992 cites W2088105804 @default.
• W2885994992 cites W2088181608 @default.
• W2885994992 cites W2092231696 @default.
• W2885994992 cites W2105864475 @default.
• W2885994992 cites W2106545804 @default.
• W2885994992 cites W2107709519 @default.
• W2885994992 cites W2122475137 @default.
• W2885994992 cites W2136363516 @default.
• W2885994992 cites W2151532300 @default.
• W2885994992 cites W2153185479 @default.
• W2885994992 cites W2160140538 @default.
• W2885994992 cites W2167723122 @default.
• W2885994992 cites W2171683519 @default.
• W2885994992 cites W2172260321 @default.
• W2885994992 cites W2246070153 @default.
• W2885994992 cites W2806248449 @default.
• W2885994992 cites W3023992471 @default.
• W2885994992 cites W4237492309 @default.
• W2885994992 doi "https://doi.org/10.1145/3180155.3180253" @default.
• W2885994992 hasPublicationYear "2018" @default.
• W2885994992 type Work @default.
• W2885994992 sameAs 2885994992 @default.
• W2885994992 citedByCount "12" @default.
• W2885994992 countsByYear W28859949922018 @default.
• W2885994992 countsByYear W28859949922019 @default.
• W2885994992 countsByYear W28859949922020 @default.
• W2885994992 countsByYear W28859949922021 @default.
• W2885994992 countsByYear W28859949922022 @default.
• W2885994992 crossrefType "proceedings-article" @default.
• W2885994992 hasAuthorship W2885994992A5033449942 @default.
• W2885994992 hasAuthorship W2885994992A5081305477 @default.
• W2885994992 hasAuthorship W2885994992A5081553158 @default.
• W2885994992 hasConcept C110251889 @default.
• W2885994992 hasConcept C11171543 @default.
• W2885994992 hasConcept C11219265 @default.
• W2885994992 hasConcept C11413529 @default.
• W2885994992 hasConcept C122637931 @default.
• W2885994992 hasConcept C14036430 @default.
• W2885994992 hasConcept C145420912 @default.
• W2885994992 hasConcept C148027188 @default.
• W2885994992 hasConcept C151730666 @default.
• W2885994992 hasConcept C154945302 @default.
• W2885994992 hasConcept C15744967 @default.
• W2885994992 hasConcept C199360897 @default.
• W2885994992 hasConcept C23123167 @default.
• W2885994992 hasConcept C2776095079 @default.
• W2885994992 hasConcept C2776836416 @default.
• W2885994992 hasConcept C2777735758 @default.
• W2885994992 hasConcept C2777904410 @default.
• W2885994992 hasConcept C2779343474 @default.
• W2885994992 hasConcept C2779639559 @default.
• W2885994992 hasConcept C33923547 @default.
• W2885994992 hasConcept C41008148 @default.
• W2885994992 hasConcept C65620979 @default.
• W2885994992 hasConcept C78458016 @default.
• W2885994992 hasConcept C80444323 @default.
• W2885994992 hasConcept C86803240 @default.
• W2885994992 hasConceptScore W2885994992C110251889 @default.
• W2885994992 hasConceptScore W2885994992C11171543 @default.
• W2885994992 hasConceptScore W2885994992C11219265 @default.
• W2885994992 hasConceptScore W2885994992C11413529 @default.
• W2885994992 hasConceptScore W2885994992C122637931 @default.
• W2885994992 hasConceptScore W2885994992C14036430 @default.
• W2885994992 hasConceptScore W2885994992C145420912 @default.
• W2885994992 hasConceptScore W2885994992C148027188 @default.
• W2885994992 hasConceptScore W2885994992C151730666 @default.
• W2885994992 hasConceptScore W2885994992C154945302 @default.
• W2885994992 hasConceptScore W2885994992C15744967 @default.
• W2885994992 hasConceptScore W2885994992C199360897 @default.
• W2885994992 hasConceptScore W2885994992C23123167 @default.
• W2885994992 hasConceptScore W2885994992C2776095079 @default.
• W2885994992 hasConceptScore W2885994992C2776836416 @default.

• next