Aug./Sept. 2008 Algebriac Testing 1 Automated Testing of Software Components Based on Algebraic Specifications -- Method, Tool And Experiments Hong Zhu.
Untangling Names Lessons learned (so far) from the linking of IPNI and TROPICOS Julius Welby RBG Kew [email protected].
Javari: Adding Reference Immutability to Java Matthew Tschantz and Michael Ernst MIT CSAIL.