Thomas Ellman Andrea Zisman Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE'2005). 127-128 2007 14 Autom. Softw. Eng. 2 http://dx.doi.org/10.1007/s10515-007-0009-1 db/journals/ase/ase14.html#EllmanZ07