Specifying and checking method call sequences of Java programs

Yoonsik Cheon and Ashaveena Perumandla ، نويسنده ,

روزنامه با شماره پیاپی سال 2007

19

7

25

Method call sequence specification . Runtime checking . Assertion . Pre andpostconditions . Programming by contract . JML language

Software Quality Journal

2007

Software Quality Journal

292873