EDSKETCH: execution-driven sketching for Java

Hua, JR; Zhang, YS; Zhang, YQ; Khurshid, S

Zhang, YQ (reprint author), Southern Univ Sci & Technol, Shenzhen, Peoples R China.

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019; 21 (3): 249

Abstract

Sketching is a synthesis approach that allows users to provide high-level insights into a synthesis problem and let synthesis tools complete low-level......

Full Text Link