共 50 条
- [41] Slicing from formal semantics: Chisel—a tool for generic program slicing [J]. International Journal on Software Tools for Technology Transfer, 2018, 20 : 739 - 769
- [42] Using Relational Verification for Program Slicing [J]. SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2019), 2019, 11724 : 353 - 372
- [43] Field-Sensitive Program Slicing [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, 2022, 13550 : 74 - 90
- [44] A novel formal approach to program slicing [J]. Science in China Series F: Information Sciences, 2007, 50 : 657 - 670
- [45] Study of Current Program Slicing Techniques [J]. 2014 5TH INTERNATIONAL CONFERENCE CONFLUENCE THE NEXT GENERATION INFORMATION TECHNOLOGY SUMMIT (CONFLUENCE), 2014, : 810 - 814
- [46] Refactoring via program slicing and sliding [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2007, : 519 - 520
- [48] PROGRAM SLICING - TOOL FOR INDIVIDUALIZING INSTRUCTION [J]. EDUCATION AND TRAINING IN MENTAL RETARDATION AND DEVELOPMENTAL DISABILITIES, 1973, 8 (03): : 153 - 158
- [49] Program Slicing Technique in Programming Assessment [J]. INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY, PTS 1-4, 2013, 263-266 : 1884 - 1887
- [50] WOK: Statistical Program Slicing in Production [J]. 2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2019), 2019, : 324 - 325