## Ted Kremenek, Dawson R. Engler

*Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations*

SAS, 2003.

@inproceedings{SAS-2003-KremenekE, author = "Ted Kremenek and Dawson R. Engler", booktitle = "{Proceedings of the 10th International Static Analysis Symposium}", doi = "10.1007/3-540-44898-5_16", isbn = "3-540-40325-6", pages = "295--315", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations}", volume = 2694, year = 2003, }