API-Driven Program Synthesis for Testing Static Typing Implementations
Published in Proceedings of the ACM on Programming Languages • Jan 2, 2024
NobleIDNI8P14W49R75S09
Authors:,,
Thodoris Sotiropoulos
Stefanos Chaliasos
Zhendong Su
Abstract
We introduce a novel approach for testing static typing implementations based on the concept of API-driven program synthesis . The idea is to synthesize type-intensive but small and well-typed programs by leveraging and combining application programming interfaces (APIs) derived from existing softwa...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!