...
机译:使用QuickCheck生成随机的类型良好的轻量级Java程序
Random Program GenerationProperty-Based TestingFeatherweight Java;
机译:一种定向算法,用于生成随机良好键入的Java 8程序
机译:QuickCheck:用于Haskell程序随机测试的轻量级工具
机译:QuickCheck:一种用于Haskell程序随机测试的轻量级工具
机译:一种类型定向算法,用于生成类型良好的轻量级Java程序
机译:通过静态和动态分析对Java程序进行逆向工程以生成方案图
机译:中华绒螯蟹诱导胆汁发育初期爪哇大头菜发育程序的重编程
机译:随机判断:从类型系统的定义中自动生成良好类型的术语