Treffer: Specifying and checking method call sequences of Java programs
Title:
Specifying and checking method call sequences of Java programs
Authors:
Source:
Software Quality Journal. March 2007 15(1):7-25
Database:
Springer Nature Journals