FRINK Linked Data Fragments server

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

• W2109998301 abstract "High-coverage testing is challenging. Modern object-oriented programs present additional challenges for testing. One key difficulty is the generation of proper method sequences to construct desired objects as method parameters. In this paper, we cast the problem as an instance of program synthesis that automatically generates candidate programs to satisfy a user-specified intent. In our setting, candidate programs are method sequences, and desired object states specify an intent. Automatic generation of desired method sequences is difficult due to its large search space---sequences often involve methods from multiple classes and require specific primitive values. This paper introduces a novel approach, called Seeker, to intelligently navigate the large search space. Seeker synergistically combines static and dynamic analyses: (1) dynamic analysis generates method sequences to cover branches; (2) static analysis uses dynamic analysis information for not-covered branches to generate candidate sequences; and (3) dynamic analysis explores and eliminates statically generated sequences. For evaluation, we have implemented Seeker and demonstrate its effectiveness on four subject applications totalling 28K LOC. We show that Seeker achieves higher branch coverage and def-use coverage than existing state-of-the-art approaches. We also show that Seeker detects 34 new defects missed by existing tools." @default.
• W2109998301 created "2016-06-24" @default.
• W2109998301 creator A5012582060 @default.
• W2109998301 creator A5014944734 @default.
• W2109998301 creator A5024313608 @default.
• W2109998301 creator A5048118068 @default.
• W2109998301 creator A5065937088 @default.
• W2109998301 date "2011-10-22" @default.
• W2109998301 modified "2023-10-03" @default.
• W2109998301 title "Synthesizing method sequences for high-coverage testing" @default.
• W2109998301 cites W1845288303 @default.
• W2109998301 cites W1973831620 @default.
• W2109998301 cites W1985335248 @default.
• W2109998301 cites W1999680491 @default.
• W2109998301 cites W2009489720 @default.
• W2109998301 cites W2012761058 @default.
• W2109998301 cites W2014097364 @default.
• W2109998301 cites W2074273322 @default.
• W2109998301 cites W2077118916 @default.
• W2109998301 cites W2082274331 @default.
• W2109998301 cites W2087634802 @default.
• W2109998301 cites W2089175932 @default.
• W2109998301 cites W2097816970 @default.
• W2109998301 cites W2101512909 @default.
• W2109998301 cites W2106259924 @default.
• W2109998301 cites W2107709519 @default.
• W2109998301 cites W2109276114 @default.
• W2109998301 cites W2109596254 @default.
• W2109998301 cites W2114345296 @default.
• W2109998301 cites W2119251836 @default.
• W2109998301 cites W2121669067 @default.
• W2109998301 cites W2122598528 @default.
• W2109998301 cites W2126499694 @default.
• W2109998301 cites W2133900335 @default.
• W2109998301 cites W2137501186 @default.
• W2109998301 cites W2160140538 @default.
• W2109998301 cites W2163499368 @default.
• W2109998301 cites W2164214215 @default.
• W2109998301 cites W2167723122 @default.
• W2109998301 cites W2168909041 @default.
• W2109998301 cites W2171836761 @default.
• W2109998301 cites W2172260321 @default.
• W2109998301 cites W4232188856 @default.
• W2109998301 cites W4237492309 @default.
• W2109998301 cites W4242364663 @default.
• W2109998301 cites W4253606798 @default.
• W2109998301 cites W4255410821 @default.
• W2109998301 doi "https://doi.org/10.1145/2048066.2048083" @default.
• W2109998301 hasPublicationYear "2011" @default.
• W2109998301 type Work @default.
• W2109998301 sameAs 2109998301 @default.
• W2109998301 citedByCount "62" @default.
• W2109998301 countsByYear W21099983012012 @default.
• W2109998301 countsByYear W21099983012013 @default.
• W2109998301 countsByYear W21099983012014 @default.
• W2109998301 countsByYear W21099983012015 @default.
• W2109998301 countsByYear W21099983012016 @default.
• W2109998301 countsByYear W21099983012017 @default.
• W2109998301 countsByYear W21099983012018 @default.
• W2109998301 countsByYear W21099983012019 @default.
• W2109998301 countsByYear W21099983012020 @default.
• W2109998301 countsByYear W21099983012021 @default.
• W2109998301 countsByYear W21099983012022 @default.
• W2109998301 countsByYear W21099983012023 @default.
• W2109998301 crossrefType "proceedings-article" @default.
• W2109998301 hasAuthorship W2109998301A5012582060 @default.
• W2109998301 hasAuthorship W2109998301A5014944734 @default.
• W2109998301 hasAuthorship W2109998301A5024313608 @default.
• W2109998301 hasAuthorship W2109998301A5048118068 @default.
• W2109998301 hasAuthorship W2109998301A5065937088 @default.
• W2109998301 hasConcept C11413529 @default.
• W2109998301 hasConcept C124101348 @default.
• W2109998301 hasConcept C127413603 @default.
• W2109998301 hasConcept C154945302 @default.
• W2109998301 hasConcept C199360897 @default.
• W2109998301 hasConcept C26517878 @default.
• W2109998301 hasConcept C2780428219 @default.
• W2109998301 hasConcept C2780801425 @default.
• W2109998301 hasConcept C2781238097 @default.
• W2109998301 hasConcept C38652104 @default.
• W2109998301 hasConcept C41008148 @default.
• W2109998301 hasConcept C48103436 @default.
• W2109998301 hasConcept C78519656 @default.
• W2109998301 hasConcept C80444323 @default.
• W2109998301 hasConcept C97686452 @default.
• W2109998301 hasConceptScore W2109998301C11413529 @default.
• W2109998301 hasConceptScore W2109998301C124101348 @default.
• W2109998301 hasConceptScore W2109998301C127413603 @default.
• W2109998301 hasConceptScore W2109998301C154945302 @default.
• W2109998301 hasConceptScore W2109998301C199360897 @default.
• W2109998301 hasConceptScore W2109998301C26517878 @default.
• W2109998301 hasConceptScore W2109998301C2780428219 @default.
• W2109998301 hasConceptScore W2109998301C2780801425 @default.
• W2109998301 hasConceptScore W2109998301C2781238097 @default.
• W2109998301 hasConceptScore W2109998301C38652104 @default.
• W2109998301 hasConceptScore W2109998301C41008148 @default.
• W2109998301 hasConceptScore W2109998301C48103436 @default.
• W2109998301 hasConceptScore W2109998301C78519656 @default.
• W2109998301 hasConceptScore W2109998301C80444323 @default.
• W2109998301 hasConceptScore W2109998301C97686452 @default.

• next