Matches in SemOpenAlex for { <https://semopenalex.org/work/W4206915968> ?p ?o ?g. }
- W4206915968 endingPage "112" @default.
- W4206915968 startingPage "99" @default.
- W4206915968 abstract "Testing multi-threaded programs is challenging due to the enormous space of thread interleavings. Recently, a code coverage criterion for multi-threaded programs called MAP-coverage has been proposed and shown to be effective for testing concurrent programs. Existing approaches for achieving high MAP-coverage are based on random testing with simple heuristics, which is ineffective in systematically triggering rare thread interleavings. In this study, we propose a novel approach called pattern constraint reduction (PCR), which employs optimized constraint solving to generate thread interleavings for high MAP-coverage. The idea is to iteratively encode and solve path conditions to generate thread interleavings which are guaranteed to improve MAP-coverage. Furthermore, we effectively apply interpolation techniques to reduce the efforts of constraint solving by avoiding solving infeasible constraints. The experiment results on 20 benchmark programs show that our approach complements existing random testing based approaches when there are rare failure-inducing interleaving in the whole search space. Specifically, PCR finds concurrency bugs faster in 18 out of 20 programs, with an average speedup of 4.2x and a maximum speedup of 11.4x." @default.
- W4206915968 created "2022-01-26" @default.
- W4206915968 creator A5000979147 @default.
- W4206915968 creator A5051439216 @default.
- W4206915968 creator A5052676856 @default.
- W4206915968 creator A5068911982 @default.
- W4206915968 creator A5076768386 @default.
- W4206915968 creator A5089420241 @default.
- W4206915968 date "2023-01-01" @default.
- W4206915968 modified "2023-10-17" @default.
- W4206915968 title "Achieving High MAP-Coverage Through Pattern Constraint Reduction" @default.
- W4206915968 cites W1480909796 @default.
- W4206915968 cites W1534988187 @default.
- W4206915968 cites W1548806133 @default.
- W4206915968 cites W1598018711 @default.
- W4206915968 cites W1972544179 @default.
- W4206915968 cites W1984481956 @default.
- W4206915968 cites W1986006371 @default.
- W4206915968 cites W2005335403 @default.
- W4206915968 cites W2008078972 @default.
- W4206915968 cites W2013560272 @default.
- W4206915968 cites W2018949666 @default.
- W4206915968 cites W2049633124 @default.
- W4206915968 cites W2051016152 @default.
- W4206915968 cites W2051393771 @default.
- W4206915968 cites W2102731275 @default.
- W4206915968 cites W2105391037 @default.
- W4206915968 cites W2111413199 @default.
- W4206915968 cites W2112274482 @default.
- W4206915968 cites W2113027907 @default.
- W4206915968 cites W2114647187 @default.
- W4206915968 cites W2120027538 @default.
- W4206915968 cites W2121702020 @default.
- W4206915968 cites W2137422315 @default.
- W4206915968 cites W2141975313 @default.
- W4206915968 cites W2149984854 @default.
- W4206915968 cites W2158124716 @default.
- W4206915968 cites W2162446957 @default.
- W4206915968 cites W2170998491 @default.
- W4206915968 cites W2296019735 @default.
- W4206915968 cites W2317931072 @default.
- W4206915968 cites W2357666213 @default.
- W4206915968 cites W2516342558 @default.
- W4206915968 cites W2578160636 @default.
- W4206915968 cites W2617064781 @default.
- W4206915968 cites W2619153025 @default.
- W4206915968 cites W2734336505 @default.
- W4206915968 cites W2778798134 @default.
- W4206915968 cites W2794682558 @default.
- W4206915968 cites W2888262223 @default.
- W4206915968 cites W2897753094 @default.
- W4206915968 cites W2963322207 @default.
- W4206915968 cites W2968450123 @default.
- W4206915968 cites W2999226845 @default.
- W4206915968 cites W3006516349 @default.
- W4206915968 cites W3007730687 @default.
- W4206915968 cites W3017218903 @default.
- W4206915968 cites W3098882403 @default.
- W4206915968 cites W3101794866 @default.
- W4206915968 cites W3128783161 @default.
- W4206915968 cites W4230928844 @default.
- W4206915968 cites W4238388226 @default.
- W4206915968 cites W4243016075 @default.
- W4206915968 cites W4243332545 @default.
- W4206915968 doi "https://doi.org/10.1109/tse.2022.3144480" @default.
- W4206915968 hasPublicationYear "2023" @default.
- W4206915968 type Work @default.
- W4206915968 citedByCount "2" @default.
- W4206915968 countsByYear W42069159682023 @default.
- W4206915968 crossrefType "journal-article" @default.
- W4206915968 hasAuthorship W4206915968A5000979147 @default.
- W4206915968 hasAuthorship W4206915968A5051439216 @default.
- W4206915968 hasAuthorship W4206915968A5052676856 @default.
- W4206915968 hasAuthorship W4206915968A5068911982 @default.
- W4206915968 hasAuthorship W4206915968A5076768386 @default.
- W4206915968 hasAuthorship W4206915968A5089420241 @default.
- W4206915968 hasBestOaLocation W42069159682 @default.
- W4206915968 hasConcept C111919701 @default.
- W4206915968 hasConcept C11413529 @default.
- W4206915968 hasConcept C120314980 @default.
- W4206915968 hasConcept C127413603 @default.
- W4206915968 hasConcept C127705205 @default.
- W4206915968 hasConcept C138101251 @default.
- W4206915968 hasConcept C173608175 @default.
- W4206915968 hasConcept C193702766 @default.
- W4206915968 hasConcept C199360897 @default.
- W4206915968 hasConcept C201410400 @default.
- W4206915968 hasConcept C2776036281 @default.
- W4206915968 hasConcept C28034677 @default.
- W4206915968 hasConcept C41008148 @default.
- W4206915968 hasConcept C68339613 @default.
- W4206915968 hasConcept C78519656 @default.
- W4206915968 hasConcept C80444323 @default.
- W4206915968 hasConceptScore W4206915968C111919701 @default.
- W4206915968 hasConceptScore W4206915968C11413529 @default.
- W4206915968 hasConceptScore W4206915968C120314980 @default.
- W4206915968 hasConceptScore W4206915968C127413603 @default.
- W4206915968 hasConceptScore W4206915968C127705205 @default.