Author:
Barros Jose Bernardo,da Cruz Daniela,Henriques Pedro Rangel,Pinto Jorge Sousa
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstract Program Slicing;ACM Transactions on Computational Logic;2017-04-13
2. Static Backward Program Slicing for Safety-Critical Systems;Lecture Notes in Computer Science;2015
3. Value Slice: A New Slicing Concept for Scalable Property Checking;Tools and Algorithms for the Construction and Analysis of Systems;2015
4. Interactive Verification of Safety-Critical Software;2013 IEEE 37th Annual Computer Software and Applications Conference;2013-07
5. Assertion-based slicing and slice graphs;Formal Aspects of Computing;2012-03