John L. Singleton

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 3

Top Topics

Specification Language

Top Venues

ICSE (Companion Volume)

Publications

John L. Singleton, Gary T. Leavens, Hridesh Rajan, David R. Cok
Inferring Concise Specifications of APIs. CoRR (2019)
John L. Singleton, Gary T. Leavens, Hridesh Rajan, David R. Cok
An algorithm and tool to infer practical postconditions. ICSE (Companion Volume) (2018)
John L. Singleton, Gary T. Leavens
Spekl: A Layered System for Specification Authoring, Sharing, and Usage. IRI (2016)
John L. Singleton, Gary T. Leavens
Verily: a web framework for creating more reasonable web applications. ICSE Companion (2014)