Folgen
Gary T. Leavens
Gary T. Leavens
Professor, University of Central Florida
Bestätigte E-Mail-Adresse bei cs.ucf.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
11602006
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
8892005
JML: A notation for detailed design
G Leavens, A Baker, C Ruby
KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE, 175-188, 1999
6001999
A simple and practical approach to unit testing: The JML and JUnit way
Y Cheon, GT Leavens
ECOOP 2002—Object-Oriented Programming: 16th European Conference Málaga …, 2002
4612002
MultiJava: Modular open classes and symmetric multiple dispatch for Java
C Clifton, GT Leavens, C Chambers, T Millstein
Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000
4402000
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
3562006
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
3502003
On binary methods
K Bruce, L Cardelli, G Castagna, Hopkins Objects Group, GT Leavens, ...
Theory and Practice of Object Systems 1 (3), 221-242, 1995
3411995
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
3212008
Forcing behavioral subtyping through specification inheritance
KK Dhara, GT Leavens
Proceedings of IEEE 18th International Conference on Software Engineering …, 1996
2921996
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface
M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ...
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006
288*2006
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
2792003
Design by Contract with JML
GT Leavens, Y Cheon
2592006
JML (poster session) notations and tools supporting detailed design in JAVA
GT Leavens, C Ruby, KRM Leino, E Poll, B Jacobs
Addendum to the 2000 proceedings of the conference on Object-oriented …, 2000
2532000
Foundations of component-based systems
GT Leavens, M Sitaraman
Cambridge University Press, 2000
2442000
@ tcomment: Testing javadoc comments to detect comment-code inconsistencies
SH Tan, D Marinov, L Tan, GT Leavens
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
2432012
A runtime assertion checker for the Java Modeling Language (JML)
Y Cheon, G Leavens
2382002
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
2362009
Modular invariants for layered object structures
P Müller, A Poetzsch-Heffter, GT Leavens
Science of Computer Programming 62 (3), 253-286, 2006
1952006
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
1872007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20