Gary T. Leavens - Concepedia

Author

Gary T. Leavens

Also Known As

G.T. Leavens, Gary Leavens, Gary T. Leavens, Kann, Trevor, Leavens, Gary T, Leavens, Gary T., The Hopkins Objects Group, Yoonsik Cheon

246

Publications

7.6K

Citations

H-Index

Concepts

All Affiliations

Iowa State University University of Central Florida University of Washington The University of Texas at El Paso ETH Zurich

About

Gary T. Leavens is an author at Iowa State University specializing in engineering, computer science, and software analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	27	49	4K
2	Natural Sciences	2	2	142
3	Social Sciences	2	2	836
4	Language Studies	1	1	69
5	Management	1	1	707

Gary T. Leavens

Publications

Citations

H-Index

Page 1

	Year	Citations
Preliminary design of JML Gary T. Leavens, Albert L. Baker, Clyde Ruby ACM SIGSOFT Software Engineering Notes EngineeringJava ExpressionsVerificationSoftware EngineeringSoftware Analysis	2006	781
An overview of JML tools and applications Lilian Burdy, Yoonsik Cheon, David R. Cok, International Journal on Software Tools for Technology Transfer Xml LibraryEngineeringJml ToolsManagementSystems Engineering	2004	707
MultiJava Curtis Clifton, Gary T. Leavens, Craig Chambers, EngineeringCompiler TechnologyComputer ArchitectureSoftware AnalysisFormal Verification	2000	281
An overview of JML tools and applications1 1www.jmlspecs.org Lilian Burdy, Yoonsik Cheon, David R. Cok, Electronic Notes in Theoretical Computer Science Software MaintenanceJava Source FilesEngineeringObject-oriented ModelingVerification	2003	205
How the design of JML accommodates both runtime assertion checking and formal verification Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Science of Computer Programming EngineeringRuntime VerificationProgram AnalysisRuntime Assertion CheckingSoftware Testing	2004	188
Design by Contract with JML Gary T. Leavens, Yoonsik Cheon	2006	187
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies Shin Hwei Tan, Darko Marinov, Lin Tan, Software MaintenanceEngineeringVerificationSoftware EngineeringSource Code Analysis	2012	180
Forcing behavioral subtyping through specification inheritance Krishna Kishore Dhara, Gary T. Leavens International Conference on Software Engineering EngineeringSoftware EngineeringSoftware AnalysisFormal VerificationObject-oriented Software	1996	165
Modular invariants for layered object structures Péter Müller, Arnd Poetzsch‐Heffter, Gary T. Leavens Science of Computer Programming Geometric ModelingMachine VisionEngineeringGeometryNatural Sciences	2006	130
JML: notations and tools supporting detailed design in Java Gary T. Leavens, Clyde Ruby, K. Rustan,	2000	126

Page 1