Gary T. Leavens
Gary T. Leavens
Verified email at eecs.ucf.edu - Homepage
TitleCited byYear
Preliminary design of JML: A behavioral interface specification language for Java
GT Leavens, AL Baker, C Ruby
ACM SIGSOFT Software Engineering Notes 31 (3), 1-38, 2006
10212006
An overview of JML tools and applications
L Burdy, Y Cheon, DR Cok, MD Ernst, JR Kiniry, GT Leavens, KRM Leino, ...
International Journal on Software Tools for Technology Transfer (STTT) 7 (3 …, 2005
8002005
JML: A notation for detailed design
G Leavens, A Baker, C Ruby
KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE, 175-188, 1999
5381999
MultiJava: Modular open classes and symmetric multiple dispatch for Java
C Clifton, GT Leavens, C Chambers, T Millstein
ACM Sigplan Notices 35 (10), 130-145, 2000
4052000
A simple and practical approach to unit testing: The JML and JUnit way
Y Cheon, GT Leavens
European Conference on Object-Oriented Programming, 231-255, 2002
3772002
On binary methods
K Bruce, L Cardelli, G Castagna, GT Leavens, B Pierce
3311995
An overview of JML tools and applications
L Burdy, Y Cheon, D Cok, MD Ernst, J Kiniry, GT Leavens, K Rustan, ...
Electronic Notes in Theoretical Computer Science 80, 75-91, 2003
3022003
Beyond assertions: Advanced specification and verification with JML and ESC/Java2
P Chalin, J Kiniry, G Leavens, E Poll
Formal Methods for Components and Objects, 342-363, 2006
2782006
Forcing behavioral subtyping through specification inheritance
KK Dhara, GT Leavens
Proceedings of IEEE 18th International Conference on Software Engineering …, 1996
2621996
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
2412008
Foundations of component-based systems
GT Leavens, M Sitaraman
Cambridge University Press, 2000
2372000
How the design of JML accommodates both runtime assertion checking and formal verification
G Leavens, Y Cheon, C Clifton, C Ruby, D Cok
Formal Methods for Components and Objects, 262-284, 2003
2362003
JML: notations and tools supporting detailed design in Java
GT Leavens, KRM Leino, E Poll, C Ruby, B Jacobs
OOPSLA 2000, 105-106, 2000
2302000
A runtime assertion checker for the Java Modeling Language (JML)
Y Cheon, GT Leavens
2192002
Design by Contract with JML
GT Leavens, Y Cheon
2132006
Modular invariants for layered object structures
P Müller, A Poetzsch-Heffter, GT Leavens
Science of Computer Programming 62 (3), 253-286, 2006
1752006
Specification and verification challenges for sequential object-oriented programs
GT Leavens, KRM Leino, P Müller
Formal Aspects of Computing 19 (2), 159-189, 2007
1702007
Behavioral interface specification languages
J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson
A survey paper CS-TR-09-01, University of Central Florida, School of EECS, Draft, 2009
1672009
Ptolemy: A language with quantified, typed events
H Rajan, GT Leavens
European Conference on Object-Oriented Programming, 155-179, 2008
1512008
Observers and assistants: A proposal for modular aspect-oriented reasoning
C Clifton, GT Leavens
1472002
The system can't perform the operation now. Try again later.
Articles 1–20