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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

More Reliable Test Suites for Dynamic APR by using Counterexamples by Nilizadeh, Amirfarhad, Calvo, Marlon, Leavens, Gary T., Le, Xuan-Bach D.

Request full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

Information Hiding and Visibility in Interface Specifications by Leavens, Gary T., Muller, Peter

Request full text

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

Get full text

Modular specification of frame properties in JML by Müller, Peter, Poetzsch-Heffter, Arnd, Leavens, Gary T.

Get full text

Poster: An Algorithm and Tool to Infer Practical Postconditions by Singleton, John L., Leavens, Gary T., Rajan, Hridesh, Cok, David

Request full text

Typechecking and modules for multimethods by Chambers, Craig, Leavens, Gary T.

Get full text

Modular invariants for layered object structures by Müller, Peter, Poetzsch-Heffter, Arnd, Leavens, Gary T.

Get full text

Use Concurrent Programming Models to Motivate Teaching of Programming Languages by LEAVENS, Gary T

Get full text

The verified software initiative: A manifesto by Hoare, C.A.R., Misra, Jayadev, Leavens, Gary T., Shankar, Natarajan

Get full text

Executing Formal Specifications with Concurrent Constraint Programming by Wahls, Tim, Leavens, Gary T, Baker, Albert L

Get full text