Harrison Goldstein

Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing

B. Pierce, Leonidas Lampropoulos, John Hughes, 2020 .

Parsing randomness

B. Pierce, Harrison Goldstein, 2022, Proc. ACM Program. Lang..

Abstractions for AI-Based User Interfaces and Systems pdf

Chris Quirk, Adrian Sampson, Sarah Bird, 2017, ArXiv.

Stream Types

B. Pierce, C. Stanford, Harrison Goldstein, 2023, ArXiv.

Reflecting on Random Generation

B. Pierce, Harrison Goldstein, Meng Wang, 2023, Proc. ACM Program. Lang..

Property-Based Testing in Practice

Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, 2024, 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE).