Also on Zoom-
QuickCheck-style property-based testing occupies an intriguing middle ground among software correctness techniques: it is relatively lightweight and accessible, but much more expressive than conventional unit testing dealing with logical specifications rather than simple examples. In this talk, I’ll describe ongoing research threads on improving property-based testing with the use of feedback, type information, or both!
Leonidas Lampropoulos is an assistant professor of Computer Science at the University of Maryland, College Park. Before that, he was a Victor Basili postdoctoral fellow jointly between UMD and UPenn, under the supervision of Prof. Michael Hicks and Prof. Benjamin Pierce. He got his Ph.D. at the University of Pennsylvania under Prof. Pierce. His research interests lie in programming languages, with an emphasis on software correctness through both random testing and verification. He is the principal author of the fourth volume in the popular Software Foundations series of online textbooks: "QuickChick: Property-Based Testing in Coq".