Concepedia

Gary T. Leavens

GT

71

Publications

5K

Citations

34

H-Index

1987

Active since

Affiliations

Iowa State University(Current)

University of Central Florida

University of Washington

The University of Texas at El Paso

ETH Zurich

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

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware AnalysisProgram AnalysisFormal VerificationSoftware EngineeringSoftware DesignVerificationSystem Software

Publications per year

1987–2022

71

Publications

71

Preliminary design of JML

Gary T. Leavens, Albert L. Baker, Clyde Ruby · ACM SIGSOFT Software Engineering Notes · 2006 · 781 citations

Engineering, Java Expressions, Verification +24

An overview of JML tools and applications

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · International Journal on Software Tools for Technology Transfer · 2004 · 707 citations

Xml Library, Engineering, Jml Tools +12

Curtis Clifton, Gary T. Leavens, Craig Chambers et al. · 2000 · 281 citations · Full text

Engineering, Compiler Technology, Computer Architecture +17

An overview of JML tools and applications1 1www.jmlspecs.org

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · Electronic Notes in Theoretical Computer Science · 2003 · 205 citations · Full text

Software Maintenance, Java Source Files, Engineering +25

How the design of JML accommodates both runtime assertion checking and formal verification

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton et al. · Science of Computer Programming · 2004 · 188 citations

Engineering, Runtime Verification, Program Analysis +11

Rows per page

1–5 of 71