John Wrenn

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 10

Top Topics

Narrative Centered Learning Environments

Benchmark Problems

Top Venues

Art Sci. Eng. Program.

Publications

John Wrenn, Anjali Pal, Alexa VanHattum, Shriram Krishnamurthi
Dependently Typing R Vectors, Arrays, and Matrices. CoRR (2023)
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi
Automated, Targeted Testing of Property-Based Testing Predicates. Art Sci. Eng. Program. 6 (2) (2022)
Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi
Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions. Koli Calling (2022)
John Wrenn, Tim Nelson, Shriram Krishnamurthi
Using Relational Problems to Teach Property-Based Testing. Art Sci. Eng. Program. 5 (2) (2021)
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi
Automated, Targeted Testing of Property-Based Testing Predicates. CoRR (2021)
John Wrenn, Shriram Krishnamurthi
Will Students Write Tests Early Without Coercion?✱. Koli Calling (2020)
John Wrenn, Tim Nelson, Shriram Krishnamurthi
Using Relational Problems to Teach Property-Based Testing. CoRR (2020)
John Wrenn, Shriram Krishnamurthi
Executable Examples for Programming Problem Comprehension. ICER (2019)
John Wrenn, Shriram Krishnamurthi, Kathi Fisler
Who Tests the Testers? ICER (2018)
John Wrenn, Shriram Krishnamurthi
Error messages are classifiers: a process to design and evaluate error messages. Onward! (2017)