Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst. Parameter reference immutability: formal definition, inference tool, and comparison. Automated Software Engineering, 16(1):145-192, 2009. [doi]
@article{ArtziKQE09,
title = {Parameter reference immutability: formal definition, inference tool, and comparison},
author = {Shay Artzi and Adam Kiezun and Jaime Quinonez and Michael D. Ernst},
year = {2009},
doi = {10.1007/s10515-008-0043-7},
url = {http://dx.doi.org/10.1007/s10515-008-0043-7},
researchr = {https://researchr.org/publication/ArtziKQE09},
cites = {0},
citedby = {0},
journal = {Automated Software Engineering},
volume = {16},
number = {1},
pages = {145-192},
}