%0 Journal Article %1 journals/ase/ArtziKQE09 %A Artzi, Shay %A Kiezun, Adam %A Quinonez, Jaime %A Ernst, Michael D. %D 2009 %J Autom. Softw. Eng. %K dblp %N 1 %P 145-192 %T Parameter reference immutability: formal definition, inference tool, and comparison. %U http://dblp.uni-trier.de/db/journals/ase/ase16.html#ArtziKQE09 %V 16

@article{journals/ase/ArtziKQE09, added-at = {2009-05-20T00:00:00.000+0200}, author = {Artzi, Shay and Kiezun, Adam and Quinonez, Jaime and Ernst, Michael D.}, biburl = {https://www.bibsonomy.org/bibtex/264a31f1aebb3f8d06dc6df263fc25b0e/dblp}, date = {2009-05-20}, description = {dblp}, ee = {http://dx.doi.org/10.1007/s10515-008-0043-7}, interhash = {f4737bce465d046e4bfa93d15804ec95}, intrahash = {64a31f1aebb3f8d06dc6df263fc25b0e}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = 1, pages = {145-192}, timestamp = {2009-05-21T11:33:18.000+0200}, title = {Parameter reference immutability: formal definition, inference tool, and comparison.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase16.html#ArtziKQE09}, volume = 16, year = 2009 }