Behavioral Interface Specification Languages von HATCLIFF, John, LEAVENS, Gary T, LEINO, K. Rustan M, MULLER, Peter, PARKINSON, Matthew

Volltext

Automated translation of VDM to JML-annotated Java von Tran-Jørgensen, Peter W. V., Larsen, Peter Gorm, Leavens, Gary T.

Volltext

What kinds of contracts do ML APIs need? von Khairunnesa, Samantha Syeda, Ahmed, Shibbir, Imtiaz, Sayem Mohammad, Rajan, Hridesh, Leavens, Gary T.

Volltext

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way von Cheon, Yoonsik, Leavens, Gary T.

Volltext

Specification and verification challenges for sequential object-oriented programs von LEAVENS, Gary T, RUSTAN, K, LEINO, M, MÜLLER, Peter

Volltext

Unifying separation logic and region logic to allow interoperability von Bao, Yuyan, Leavens, Gary T., Ernst, Gidon

Volltext

Transactions on Modularity and Composition I von Chiba, Shigeru, Südholt, Mario, Eugster, Patrick, Ziarek, Lukasz, Leavens, Gary T

Volltext

Behavioral Subtyping, Specification Inheritance, and Modular Reasoning von Leavens, Gary T., Naumann, David A.

Volltext

Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 von Chalin, Patrice, Kiniry, Joseph R., Leavens, Gary T., Poll, Erik

Volltext

An overview of JML tools and applications von BURDY, Lilian, CHEON, Yoonsik, COK, David R, ERNST, Michael D, KINIRY, Joseph R, LEAVENS, Gary T, LEINO, K. Rustan M, POLL, Erik

Volltext

Specifying subtypes in Safety Critical Java programs von Haddad, Ghaith, Leavens, Gary T.

Volltext

Extending JML for Modular Specification and Verification of Multi-threaded Programs von Rodríguez, Edwin, Dwyer, Matthew, Flanagan, Cormac, Hatcliff, John, Leavens, Gary T., Robby

Volltext

Multijava : Design rationale, compiler implementation, and applications von CLIFTON, Curtis, MILLSTEIN, Todd, LEAVENS, Gary T, CHAMBERS, Craig

Volltext

MiniMAO1 : An imperative core language for studying aspect-oriented reasoning von Clifton, Curtis, Leavens, Gary T.

Volltext

JML’s Rich, Inherited Specifications for Behavioral Subtypes von Leavens, Gary T.

Volltext

Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings von Leavens, Gary T, O'Hearn, Peter, Rajamani, Sriram K

Volltext

Transactions on Aspect-Oriented Software Development IX von Leavens, Gary T, Chiba, Shigeru, Haupt, Michael, Ostermann, Klaus, Wohlstadter, Eric

Volltext

Generalized Layer Activation Mechanism for Context-Oriented Programming von Kamina, Tetsuo, Aotani, Tomoyuki, Masuhara, Hidehiko

Volltext

Further Lessons from the JML Project von Leavens, Gary T., Cok, David R., Nilizadeh, Amirfarhad

Volltext

JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking von Nilizadeh, Amirfarhad, Leavens, Gary T., Păsăreanu, Corina S., Noller, Yannic

Volltext