Yoonsik Cheon Ashaveena Perumandla Specifying and checking method call sequences of Java programs. 7-25 2007 15 Software Quality Journal 1 http://dx.doi.org/10.1007/s11219-006-9001-4 db/journals/sqj/sqj15.html#CheonP07