Program slices: formal, psychological, and practical investigations of an automatic program abstraction method
- Author:
- Mark David Weiser
Abstract
No abstract available.
Cited By
Wu B, Liu S, Xiao Y, Li Z, Sun J and Lin S Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (1371-1383)- Badihi S, Ahmed K, Li Y and Rubin J Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis Proceedings of the 45th International Conference on Software Engineering, (563-575)
- Yao D, Rahaman S, Xiao Y, Afrose S, Frantz M, Tian K, Meng N, Cifuentes C, Zhao Y, Allen N, Keynes N, Miller B, Heymann E, Kantarcioglu M and Shaon F (2022). Being the Developers’ Friend: Our Experience Developing a High-Precision Tool for Secure Coding, IEEE Security and Privacy, 20:6, (43-52), Online publication date: 1-Nov-2022.
- Liu Y, Nie P, Legunsen O and Gligoric M Inline Tests Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, (1-13)
- Mecenero L, Paramitha R, Pashchenko I and Massacci F Lightweight Parsing and Slicing for Bug Identification in C Proceedings of the 17th International Conference on Availability, Reliability and Security, (1-10)
- Chi M Backward Slicing Analysis on Debug Log for Crash Comprehension Proceedings of the 2020 9th International Conference on Software and Computer Applications, (258-263)
- Nguyen S Configuration-dependent fault localization Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, (156-158)
- Danicic S and Laurence M (2018). Static Backward Slicing of Non-deterministic Programs and Systems, ACM Transactions on Programming Languages and Systems, 40:3, (1-46), Online publication date: 30-Sep-2018.
- Gold N, Binkley D, Harman M, Islam S, Krinke J and Yoo S Generalized observational slicing for tree-represented modelling languages Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, (547-558)
- Pearson S, Campos J, Just R, Fraser G, Abreu R, Ernst M, Pang D and Keller B Evaluating and improving fault localization Proceedings of the 39th International Conference on Software Engineering, (609-620)
- Yi Z, Zhang X, Zhang Y and Ren Y Study on Simplified Dynamic Slicing Algorithm based on Input Classification Proceedings of the 2017 International Conference on Management Engineering, Software Engineering and Service Sciences, (71-75)
- Newman C, Sage T, Collard M, Alomari H and Maletic J srcSlice Proceedings of the 38th International Conference on Software Engineering Companion, (621-624)
- Backes M, Hammer C, Pfaff D and Skoruppa M Implementation-level analysis of the JavaScript helios voting client Proceedings of the 31st Annual ACM Symposium on Applied Computing, (2071-2078)
- Azadmanesh M and Hauswirth M BLAST Proceedings of the Principles and Practices of Programming on The Java Platform, (152-158)
- Barr E, Harman M, Jia Y, Marginean A and Petke J Automated software transplantation Proceedings of the 2015 International Symposium on Software Testing and Analysis, (257-269)
- Hamza H and Counsell S Exploiting slicing and patterns for RTSJ immortal memory optimization Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, (159-164)
- Cheng Y, Ding X and Deng R (2013). DriverGuard, ACM Transactions on Information and System Security, 16:2, (1-30), Online publication date: 1-Sep-2013.
- Harman M, Lakhotia K, Singer J, White D and Yoo S (2013). Cloud engineering is Search Based Software Engineering too, Journal of Systems and Software, 86:9, (2225-2241), Online publication date: 1-Sep-2013.
- Androutsopoulos K, Clark D, Harman M, Krinke J and Tratt L (2013). State-based model slicing, ACM Computing Surveys, 45:4, (1-36), Online publication date: 1-Aug-2013.
- Mu C Quantitative program dependence graphs Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering, (103-118)
- Wu J, Tang Y, Hu G, Cui H and Yang J (2012). Sound and precise analysis of parallel programs through schedule specialization, ACM SIGPLAN Notices, 47:6, (205-216), Online publication date: 6-Aug-2012.
- Wu J, Tang Y, Hu G, Cui H and Yang J Sound and precise analysis of parallel programs through schedule specialization Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, (205-216)
- Silva J (2012). A vocabulary of program slicing-based techniques, ACM Computing Surveys, 44:3, (1-41), Online publication date: 1-Jun-2012.
- Yu L, Wu S, Guo T, Dong G, Wan C and Jing Y Ontology model-based static analysis of security vulnerabilities Proceedings of the 13th international conference on Information and communications security, (330-344)
- Danicic S, Barraclough R, Harman M, Howroyd J, Kiss Á and Laurence M (2011). A unifying theory of control dependence and its application to arbitrary program structures, Theoretical Computer Science, 412:49, (6809-6842), Online publication date: 1-Nov-2011.
- Bollin A Is there evolution before birth? deterioration effects of formal Z specifications Proceedings of the 13th international conference on Formal methods and software engineering, (66-81)
- Sobrinho F, Gattaz C and Pacheco O (2011). COMPLEXITY MEASURES FOR NETWORK PROCESS EVOLUTION, Journal of Integrated Design & Process Science, 15:4, (95-115), Online publication date: 1-Oct-2011.
- Binkley D, Harman M and Lakhotia K (2011). FlagRemover, ACM Transactions on Software Engineering and Methodology, 20:3, (1-33), Online publication date: 1-Aug-2011.
- Litvak S, Dor N, Bodik R, Rinetzky N and Sagiv M Field-sensitive program dependence analysis Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, (287-296)
- Perugini S and Ramakrishnan N (2010). Program transformations for information personalization, Computer Languages, Systems and Structures, 36:3, (223-249), Online publication date: 1-Oct-2010.
- Falk H and Lokuciejewski P (2010). A compiler framework for the reduction of worst-case execution times, Real-Time Systems, 46:2, (251-300), Online publication date: 1-Oct-2010.
- Bao T, Zheng Y, Lin Z, Zhang X and Xu D Strict control dependence and its effect on dynamic information flow analyses Proceedings of the 19th international symposium on Software testing and analysis, (13-24)
- Barraclough R, Binkley D, Danicic S, Harman M, Hierons R, Kiss Á, Laurence M and Ouarbya L (2010). A trajectory-based strict semantics for program slicing, Theoretical Computer Science, 411:11-13, (1372-1386), Online publication date: 1-Mar-2010.
- Wang C, Wu Y, Borin E, Hu S, Liu W, Sager D, Ngai T and Fang J Dynamic parallelization of single-threaded binary programs using speculative slicing Proceedings of the 23rd international conference on Supercomputing, (158-168)
- Lokuciejewski P, Cordes D, Falk H and Marwedel P A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization, (136-146)
- Leuschel M, Llorens M, Oliver J, Silva J and Tamarit S SOC Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, (165-168)
- Li Y, Li J, Yang Y and Li M Requirement-centric traceability for change impact analysis Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story, (100-111)
- Cavadini S Secure slices of insecure programs Proceedings of the 2008 ACM symposium on Information, computer and communications security, (112-122)
- Harman M, Baresel A, Binkley D, Hierons R, Hu L, Korel B, McMinn P and Roper M Testability transformation Formal methods and testing, (320-344)
- Binkley D, Harman M and Krinke J (2007). Empirical study of optimization techniques for massive slicing, ACM Transactions on Programming Languages and Systems, 30:1, (3-es), Online publication date: 1-Nov-2007.
- Drewry W and Ormandy T Flayer Proceedings of the first USENIX workshop on Offensive Technologies, (1-9)
- Zhang W and Ryder B (2007). Automatic construction of accurate application call graph with library call abstraction for Java, Journal of Software Maintenance and Evolution: Research and Practice, 19:4, (231-252), Online publication date: 1-Jul-2007.
- Sridharan M, Fink S and Bodik R Thin slicing Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, (112-122)
- Sridharan M, Fink S and Bodik R (2007). Thin slicing, ACM SIGPLAN Notices, 42:6, (112-122), Online publication date: 10-Jun-2007.
- Danicic S, Harman M, Hierons R, Howroyd J and Laurence M (2007). Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time, Theoretical Computer Science, 373:1-2, (1-18), Online publication date: 10-Mar-2007.
- Ferdinand C, Martin F, Cullmann C, Schlickling M, Stein I, Thesing S and Heckmann R New developments in WCET analysis Program analysis and compilation, theory and practice, (12-52)
- Silva J and Vidal G (2007). Forward slicing of functional logic programs by partial evaluation, Theory and Practice of Logic Programming, 7:1-2, (215-247), Online publication date: 1-Jan-2007.
- Stoerzer M, Ryder B, Ren X and Tip F Finding failure-inducing changes in java programs using change classification Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, (57-68)
- Binkley D, Danicic S, Gyimóthy T, Harman M, Kiss Á and Korel B (2006). A formalisation of the relationship between forms of program slicing, Science of Computer Programming, 62:3, (228-252), Online publication date: 15-Oct-2006.
- Ochoa C, Silva J and Vidal G A slicing tool for lazy functional logic programs Proceedings of the 10th European conference on Logics in Artificial Intelligence, (498-501)
- Binkley D, Danicic S, Gyimóthy T, Harman M, Kiss Á and Korel B (2006). Theoretical foundations of dynamic program slicing, Theoretical Computer Science, 360:1, (23-41), Online publication date: 21-Aug-2006.
- Brückner I, Metzler B and Wehrheim H (2006). Optimizing slicing of formal specifications by deductive verification, Nordic Journal of Computing, 13:1, (22-45), Online publication date: 1-Jun-2006.
- Mund G and Mall R (2006). An efficient interprocedural dynamic slicing method, Journal of Systems and Software, 79:6, (791-806), Online publication date: 1-Jun-2006.
- Fujita M Behavior-RTL equivalence checking based on data transfer analysis with virtual controllers and datapaths Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods, (340-344)
- Ochoa C, Silva J and Vidal G Lightweight program specialization via dynamic slicing Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming, (1-7)
- Chinchani R and van den Berg E A fast static analysis approach to detect exploit code inside network flows Proceedings of the 8th international conference on Recent Advances in Intrusion Detection, (284-308)
- Danicic S, Daoudi M, Fox C, Harman M, Hierons R, Howroyd J, Ourabya L and Ward M (2005). ConSUS, Journal of Systems and Software, 77:3, (241-262), Online publication date: 1-Sep-2005.
- Jhala R and Majumdar R Path slicing Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, (38-47)
- Jhala R and Majumdar R (2005). Path slicing, ACM SIGPLAN Notices, 40:6, (38-47), Online publication date: 12-Jun-2005.
- Xu B, Qian J, Zhang X, Wu Z and Chen L (2005). A brief survey of program slicing, ACM SIGSOFT Software Engineering Notes, 30:2, (1-36), Online publication date: 1-Mar-2005.
- Krinke J (2004). Slicing, Chopping, and Path Conditions with Barriers, Software Quality Journal, 12:4, (339-360), Online publication date: 1-Dec-2004.
- Binkley D and Harman M (2004). Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables, IEEE Transactions on Software Engineering, 30:11, (715-735), Online publication date: 1-Nov-2004.
- Morel B and Alexander P (2004). SPARTACAS Automating Component Reuse and Adaptation, IEEE Transactions on Software Engineering, 30:9, (587-600), Online publication date: 1-Sep-2004.
- Baresel A, Binkley D, Harman M and Korel B Evolutionary testing in the presence of loop-assigned flags Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, (108-118)
- Baresel A, Binkley D, Harman M and Korel B (2004). Evolutionary testing in the presence of loop-assigned flags, ACM SIGSOFT Software Engineering Notes, 29:4, (108-118), Online publication date: 1-Jul-2004.
- Harman M, Hu L, Hierons R, Wegener J, Sthamer H, Baresel A and Roper M (2004). Testability Transformation, IEEE Transactions on Software Engineering, 30:1, (3-16), Online publication date: 1-Jan-2004.
- Harman M, Hu L, Munro M, Zhang X, Binkley D, Danicic S, Daoudi M and Ouarbya L (2004). Syntax-Directed Amorphous Slicing, Automated Software Engineering, 11:1, (27-61), Online publication date: 1-Jan-2004.
- Fox C, Danicic S, Harman M and Hierons R (2004). CONSIT, Software—Practice & Experience, 34:1, (15-46), Online publication date: 1-Jan-2004.
- Morel B and Alexander P Automating component adaptation for reuse Proceedings of the 18th IEEE International Conference on Automated Software Engineering, (142-151)
- Krinke J (2003). Context-sensitive slicing of concurrent programs, ACM SIGSOFT Software Engineering Notes, 28:5, (178-187), Online publication date: 1-Sep-2003.
- Krinke J Context-sensitive slicing of concurrent programs Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, (178-187)
- Laurence M, Danicic S, Harman M, Hierons R and Howroyd J (2003). Equivalence of conservative, free, linear program schemas is decidable, Theoretical Computer Science, 290:1, (831-862), Online publication date: 1-Jan-2003.
- Vidal G Forward slicing of multi-paradigm declarative programs based on partial evaluation Proceedings of the 12th international conference on Logic based program synthesis and transformation, (219-237)
- Danicic S and Harman M Espresso Proceedings of the 2000 ACM symposium on Applied computing - Volume 2, (831-839)
- Ramalingam G, Field J and Tip F Aggregate structure identification and its application to program analysis Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (119-132)
- Dinesh T and Tip F A slicing-based approach for locating type errors Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, (7-7)
- Tip F and Sweeney P (1997). Class hierarchy specialization, ACM SIGPLAN Notices, 32:10, (271-285), Online publication date: 9-Oct-1997.
- Tip F and Sweeney P Class hierarchy specialization Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (271-285)
- Tip F, Choi J, Field J and Ramalingam G (1996). Slicing class hierarchies in C++, ACM SIGPLAN Notices, 31:10, (179-197), Online publication date: 1-Oct-1996.
- Tip F, Choi J, Field J and Ramalingam G Slicing class hierarchies in C++ Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (179-197)
- Harman M and Danicic S (1993). Projecting functional models of imperative programs, ACM SIGPLAN Notices, 28:11, (33-41), Online publication date: 1-Nov-1993.
- Freeman R and Munro M Redocumentation for the maintenance of software Proceedings of the 30th annual Southeast regional conference, (413-416)
- Venkatesh G (1991). The semantic approach to program slicing, ACM SIGPLAN Notices, 26:6, (107-119), Online publication date: 1-Jun-1991.
- Venkatesh G The semantic approach to program slicing Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, (107-119)
- Podgurski A and Clarke L (1989). The implications of program dependencies for software testing, debugging, and maintenance, ACM SIGSOFT Software Engineering Notes, 14:8, (168-178), Online publication date: 1-Dec-1989.
- Podgurski A and Clarke L The implications of program dependencies for software testing, debugging, and maintenance Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, (168-178)
- Sedlmeyer R, Thompson W and Johnson P (1983). Knowledge-based fault localization in debugging, ACM SIGPLAN Notices, 18:8, (25-31), Online publication date: 1-Aug-1983.
- Sedlmeyer R, Thompson W and Johnson P (1983). Knowledge-based fault localization in debugging, ACM SIGSOFT Software Engineering Notes, 8:4, (25-31), Online publication date: 1-Aug-1983.
- Sedlmeyer R, Thompson W and Johnson P Knowledge-based fault localization in debugging Proceedings of the symposium on High-level debugging, (25-31)
- Sedlmeyer R, Thompson W and Johnson P Knowledge-based fault localization in debugging (Preliminary Draft) Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging, (25-31)
- Weiser M (1982). Programmers use slices when debugging, Communications of the ACM, 25:7, (446-452), Online publication date: 1-Jul-1982.
- Weiser M Program slicing Proceedings of the 5th international conference on Software engineering, (439-449)
Recommendations
Informality in Program Specifications
This paper is concerned with the need for computer-based tools which help human designers formulate formal process-oriented specifications. It first determines some attributes of a suitable process-oriented specification language, then examines the ...
Partial Slices in Program Testing
SEW '12: Proceedings of the 2012 35th Annual IEEE Software Engineering WorkshopProgram slicing is widely used as an aid in program analysis. In several cases, it is observed that the static slices contain a large number of program statements. Due to this increased size of the static slice, they are of little use in many practical ...
Precise executable interprocedural slices
The notion of a program slice, originally introduced by Mark Weiser, is useful in program debugging, automatic parallelization, program integration, and software maintenance. A slice of a program is taken with respect to a program point p and a variable ...