Author:
Barraclough Richard W.,Binkley David,Danicic Sebastian,Harman Mark,Hierons Robert M.,Kiss Ákos,Laurence Mike,Ouarbya Lahcen
Subject
General Computer Science,Theoretical Computer Science
Reference48 articles.
1. Formalizing executable dynamic and forward slicing;Binkley,2004
2. The application of program slicing to regression testing;Binkley;Information and Software Technology,1998
3. Minimal slicing and the relationships between forms of slicing;Binkley,2005
4. A formalisation of the relationship between forms of program slicing;Binkley;Science of Computer Programming,2006
5. Theoretical foundations of dynamic program slicing;Binkley;Theoretical Computer Science,2006
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An empirical evaluation of quasi-static executable slices;Journal of Systems and Software;2023-06
2. Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs;ACM Transactions on Programming Languages and Systems;2020-12-31
3. Functional-Style SQL UDFs With a Capital 'F';Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data;2020-06-11
4. A Theory of Slicing for Imperative Probabilistic Programs;ACM Transactions on Programming Languages and Systems;2020-05-27
5. Using Relational Verification for Program Slicing;Software Engineering and Formal Methods;2019