Input Inference Alessio Gambi

News

Synthesizing Program Input Grammars

Written: 11.05.2017 11:32
Modified: 17.05.2017 11:26
Written By: Alessio Gambi

The paper for the next session is:

 
O. Bastani, R. Sharma, A. Aiken and P. Liang
"Synthesizing Program Input Grammars,"
in Proceedings of the Conference on Programming Language Design and Implementation (PLDI17), to appear
 
Extended version with proof:



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators