Matches in SemOpenAlex for { <https://semopenalex.org/work/W2740744105> ?p ?o ?g. }
- W2740744105 abstract "This paper describes a new program simplification technique called program trimming that aims to improve the scalability and precision of safety checking tools. Given a program P, program trimming generates a new program P' such that P and P' are equi-safe (i.e., P' has a bug if and only if P has a bug), but P' has fewer execution paths than P. Since many program analyzers are sensitive to the number of execution paths, program trimming has the potential to improve the effectiveness of safety checking tools." @default.
- W2740744105 created "2017-08-08" @default.
- W2740744105 creator A5006424908 @default.
- W2740744105 creator A5022616286 @default.
- W2740744105 creator A5064181052 @default.
- W2740744105 creator A5087604407 @default.
- W2740744105 date "2017-08-21" @default.
- W2740744105 modified "2023-10-10" @default.
- W2740744105 title "Failure-directed program trimming" @default.
- W2740744105 cites W127773936 @default.
- W2740744105 cites W146475325 @default.
- W2740744105 cites W1533634404 @default.
- W2740744105 cites W1546606300 @default.
- W2740744105 cites W1605476801 @default.
- W2740744105 cites W1606177908 @default.
- W2740744105 cites W176283517 @default.
- W2740744105 cites W1819209966 @default.
- W2740744105 cites W1970168990 @default.
- W2740744105 cites W1970357325 @default.
- W2740744105 cites W1975807602 @default.
- W2740744105 cites W1984248430 @default.
- W2740744105 cites W1993836075 @default.
- W2740744105 cites W1998838326 @default.
- W2740744105 cites W2005771507 @default.
- W2740744105 cites W2041535107 @default.
- W2740744105 cites W2043100293 @default.
- W2740744105 cites W2045109907 @default.
- W2740744105 cites W2048229966 @default.
- W2740744105 cites W2066210260 @default.
- W2740744105 cites W2073264387 @default.
- W2740744105 cites W2081659623 @default.
- W2740744105 cites W2082000355 @default.
- W2740744105 cites W2089470326 @default.
- W2740744105 cites W2101512909 @default.
- W2740744105 cites W2104220745 @default.
- W2740744105 cites W2114337691 @default.
- W2740744105 cites W2117058582 @default.
- W2740744105 cites W2122749276 @default.
- W2740744105 cites W2134875273 @default.
- W2740744105 cites W2135584970 @default.
- W2740744105 cites W2139668965 @default.
- W2740744105 cites W2140809377 @default.
- W2740744105 cites W2147130904 @default.
- W2740744105 cites W2154985136 @default.
- W2740744105 cites W2155621670 @default.
- W2740744105 cites W2158870716 @default.
- W2740744105 cites W2159899121 @default.
- W2740744105 cites W2160445528 @default.
- W2740744105 cites W2163008980 @default.
- W2740744105 cites W2164419371 @default.
- W2740744105 cites W2181712945 @default.
- W2740744105 cites W2189959137 @default.
- W2740744105 cites W2267830770 @default.
- W2740744105 cites W2293781769 @default.
- W2740744105 cites W2294434616 @default.
- W2740744105 cites W2295903414 @default.
- W2740744105 cites W2295934074 @default.
- W2740744105 cites W2987907651 @default.
- W2740744105 cites W4212792638 @default.
- W2740744105 cites W4233804448 @default.
- W2740744105 cites W4235733131 @default.
- W2740744105 cites W4237492309 @default.
- W2740744105 cites W4241211222 @default.
- W2740744105 cites W4242057943 @default.
- W2740744105 cites W4252015082 @default.
- W2740744105 cites W4253587022 @default.
- W2740744105 cites W4253958760 @default.
- W2740744105 cites W81626549 @default.
- W2740744105 cites W95161029 @default.
- W2740744105 doi "https://doi.org/10.1145/3106237.3106249" @default.
- W2740744105 hasPublicationYear "2017" @default.
- W2740744105 type Work @default.
- W2740744105 sameAs 2740744105 @default.
- W2740744105 citedByCount "18" @default.
- W2740744105 countsByYear W27407441052017 @default.
- W2740744105 countsByYear W27407441052018 @default.
- W2740744105 countsByYear W27407441052019 @default.
- W2740744105 countsByYear W27407441052020 @default.
- W2740744105 countsByYear W27407441052021 @default.
- W2740744105 countsByYear W27407441052022 @default.
- W2740744105 countsByYear W27407441052023 @default.
- W2740744105 crossrefType "proceedings-article" @default.
- W2740744105 hasAuthorship W2740744105A5006424908 @default.
- W2740744105 hasAuthorship W2740744105A5022616286 @default.
- W2740744105 hasAuthorship W2740744105A5064181052 @default.
- W2740744105 hasAuthorship W2740744105A5087604407 @default.
- W2740744105 hasConcept C111919701 @default.
- W2740744105 hasConcept C127413603 @default.
- W2740744105 hasConcept C199360897 @default.
- W2740744105 hasConcept C200601418 @default.
- W2740744105 hasConcept C41008148 @default.
- W2740744105 hasConcept C48044578 @default.
- W2740744105 hasConcept C56951928 @default.
- W2740744105 hasConcept C98183937 @default.
- W2740744105 hasConceptScore W2740744105C111919701 @default.
- W2740744105 hasConceptScore W2740744105C127413603 @default.
- W2740744105 hasConceptScore W2740744105C199360897 @default.
- W2740744105 hasConceptScore W2740744105C200601418 @default.
- W2740744105 hasConceptScore W2740744105C41008148 @default.
- W2740744105 hasConceptScore W2740744105C48044578 @default.