Richard A. Kemmerer Editorial. 97 2000 26 IEEE Trans. Software Eng. 2 http://dlib.computer.org/ts/books/ts2000/pdf/e0097.pdf db/journals/tse/tse26.html#Kemmerer00