Programming Journal, Volume 6, Issue 2 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Type Checking Extracted Methods
Yuquan Fu and Sam Tobin-Hochstadt
(Indiana University, USA)

(University of Oxford, UK)

, and Shriram Krishnamurthi

(Brown University, USA)

, Lukas Lazarek, Christos Dimoulas, and Matthias Felleisen
(Brown University, USA; Northeastern University, USA; Northwestern University, USA)

Automated, Targeted Testing of Property-Based Testing Predicates
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, and Shriram Krishnamurthi

(Brown University, USA; Massachusetts Institute of Technology, USA; Indiana University, USA)

proc time: 1.5