Author:
Bertolini Cristiano,Schäf Martin,Schweitzer Pascal
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Barnett, M., Leino, K.R.M.: Weakest-precondition of unstructured programs. In: Proceedings of the 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2005, pp. 82–87. ACM, New York (2005)
2. Bertolini, C., Schäf, M., Schweitzer, P.: Infeasible code detection. Technical Report 455, United Nations University, IIST (November 2011)
3. Bertolino, A.: Unconstrained edges and their application to branch analysis and testing of programs. Journal of Systems and Software 20, 125–133 (1993)
4. Bertolino, A., Marré, M.: Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Trans. Softw. Eng. 20, 885–899 (1994)
5. Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst. 13, 451–490 (1991)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP;Lecture Notes in Computer Science;2024-09-10
2. Effective Bug Detection with Unused Definitions;Proceedings of the Nineteenth European Conference on Computer Systems;2024-04-22
3. Hidden truths in dead software paths;Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering;2015-08-30
4. Finding Inconsistencies in Programs with Loops;Logic for Programming, Artificial Intelligence, and Reasoning;2015
5. Conflict-Directed Graph Coverage;Lecture Notes in Computer Science;2015