Specifying and checking method call sequences of Java programs

Yoonsik Cheon, Ashaveena Perumandla. Specifying and checking method call sequences of Java programs. Software Quality Journal, 15(1):7-25, 2007. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: