Higher-order test generation

Patrice Godefroid
2011 Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11  
doi:10.1145/1993498.1993529 dblp:conf/pldi/Godefroid11 fatcat:pu662vfl2rdsbjfl3uoxs7n25i