@inproceedings{10.1007/978-3-662-46669-8_16,
    Abstract = {This paper presents a generic method for randomly generating well-typed expressions. It starts from a specification of a typing judgment in PLT Redex and uses a specialized solver that employs randomness to find many different valid derivations of the judgment form.},
    Address = {Berlin, Heidelberg},
    Author = {Fetscher, Burke and Claessen, Koen and Pa{{\l}}ka, Micha{{\l}} and Hughes, John and Findler, Robert Bruce},
    BookTitle = {Programming Languages and Systems},
    Editor = {Vitek, Jan},
    File = {10.1007\%2F978-3-662-46669-8\_16 (0) - a - a - m.pdf},
    ISBN = {978-3-662-46669-8},
    Pages = {383--405},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System},
    Year = {2015},
    date-added = {2018-04-25 08:26:56 +0000},
    date-modified = {2018-04-25 08:26:56 +0000},
    file-2 = {random-judgments-esop15 (0) - a - a - m.pdf},
    doi = {10.1007/978-3-662-46669-8_16}
}

@inproceedings{10.1007/978-3-662-46669-8_16, Abstract = {This paper presents a generic method for randomly generating well-typed expressions. It starts from a specification of a typing judgment in PLT Redex and uses a specialized solver that employs randomness to find many different valid derivations of the judgment form.}, Address = {Berlin, Heidelberg}, Author = {Fetscher, Burke and Claessen, Koen and Pa{{\l}}ka, Micha{{\l}} and Hughes, John and Findler, Robert Bruce}, BookTitle = {Programming Languages and Systems}, Editor = {Vitek, Jan}, File = {10.1007\%2F978-3-662-46669-8_16 (0) - a - a - m.pdf}, ISBN = {978-3-662-46669-8}, Pages = {383--405}, Publisher = {Springer Berlin Heidelberg}, Title = {Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System}, Year = {2015}, date-added = {2018-04-25 08:26:56 +0000}, date-modified = {2018-04-25 08:26:56 +0000}, file-2 = {random-judgments-esop15 (0) - a - a - m.pdf}, doi = {10.1007/978-3-662-46669-8_16} }