Synthesizing Piece-Wise Functions by Learning Classifiers

@inproceedings{Neider2016SynthesizingPF,
  title={Synthesizing Piece-Wise Functions by Learning Classifiers},
  author={Daniel Neider and Shambwaditya Saha and P. Madhusudan},
  booktitle={TACAS},
  year={2016}
}
We present a novel general technique that classifier learning to synthesize piece-wise functions (functions that split the domain into regions, applying simpler functions to each region), working in combination with a synthesizer of the simpler functions for concrete inputs and a synthesizer of predicates that can be used to define regions. We develop a theory of single-point refutable specifications that facilitate generating concrete counterexamples using constraint solvers. We implement the… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…