Gary T. Leavens

Identifiers

• name variant Gary T. Leavens 0.60 · backfill

Papers (2)

1. Inferring Concise Specifications of APIs cs.SE · 2019 · author #2
2. @tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies cs.SE · 2012 · author #4

Mentions

• 1201.6078 #4 · backfill · confidence 0.70 Gary T. Leavens

Frequent Coauthors

• Darko Marinov 1 shared papers
• David R. Cok 1 shared papers
• Hridesh Rajan 1 shared papers
• John L. Singleton 1 shared papers
• Lin Tan 1 shared papers
• Shin Hwei Tan 1 shared papers