G. Snelting, T. Robschink, and J. Krinke. E#cient path conditions in dependence graphs for software safety analysis. ACM Transactions on Software Engineering and Methodology. to appear 2006. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Dynamic Path Conditions in Dependence Graphs - Hammer, Grimme, Krinke (2006) Self-citation (Krinke) (Correct)
No context found.
G. Snelting, T. Robschink, and J. Krinke. E#cient path conditions in dependence graphs for software safety analysis. ACM Transactions on Software Engineering and Methodology. to appear 2006.
Information Flow Control for Java Based on Path.. - Hammer, Krinke, Snelting (2006) Self-citation (Snelting Krinke) (Correct)
No context found.
G. Snelting, T. Robschink, and J. Krinke. E#cient path conditions in dependence graphs for software safety analysis. ACM Transactions on Software Engineering and Methodology, to appear 2005.
An Improved Slicer for Java - Hammer, Snelting (2004) Self-citation (Snelting) (Correct)
No context found.
G. Snelting, T. Robschink, and J. Krinke. E#cient path conditions in dependence graphs for software safety analysis. Submitted for publication, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC