Citation to this article as recorded by
Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns IEEE Access |
How to cite this article
Cheng Zhang and Yuting Chen, 2012. Detecting Infeasible Paths via Mining Branch Correlations. Journal of Software Engineering, 6: 65-78.
DOI: 10.3923/jse.2012.65.78
URL: https://scialert.net/abstract/?doi=jse.2012.65.78
DOI: 10.3923/jse.2012.65.78
URL: https://scialert.net/abstract/?doi=jse.2012.65.78