Author:
Kumar Shrawan,Sanyal Amitabha,Khedker Uday P.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, & Tools. Pearson Education, Inc. (2006)
2. Barros, J.B., da Cruz, D., Henriques, P.R., Pinto, J.S.: Assertion-based slicing and slice graphs. In: Proceedings of SEFM (2010)
3. Bergeretti, J.-F., Carré, B.A.: Information-flow and data-flow analysis of while-programs. ACM Trans. Program. Lang. Syst. 7(1), 37–61 (1985)
4. Bilardi, G., Pingali, K.: A framework for generalized control dependence. In: Proceedings of PLDI (1996)
5. Binkley, D.W., Gallagher, K.B.: Program slicing. Advances in Computers 43, 1–50 (1996)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Classification and Ranking of Delta Static Analysis Alarms;2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM);2022-10
2. Identifying Relevant Changes for Incremental Verification of Evolving Software Systems;2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2022-03
3. Selective path-sensitive interval analysis (WIP paper);Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2021-06-22
4. Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies;Programming Languages and Systems;2019
5. Towards Evaluating Size Reduction Techniques for Software Model Checking;Electronic Proceedings in Theoretical Computer Science;2017-08-23