| 2009 | ||
|---|---|---|
| 3 | Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst: Parameter reference immutability: formal definition, inference tool, and comparison. Autom. Softw. Eng. 16(1): 145-192 (2009) | |
| 2008 | ||
| 2 | Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst: Inference of Reference Immutability. ECOOP 2008: 616-641 | |
| 2007 | ||
| 1 | Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst: Tools for enforcing and inferring reference immutability in Java. OOPSLA Companion 2007: 866-867 | |
| 1 | Shay Artzi | [3] |
| 2 | Telmo Luis Correa Jr. | [1] |
| 3 | Michael D. Ernst | [1] [2] [3] |
| 4 | Adam Kiezun | [3] |
| 5 | Matthew S. Tschantz | [2] |