Symbolic Grey-Box Learning of Input-Output Relations

  title={Symbolic Grey-Box Learning of Input-Output Relations},
  author={Domagoj Babic and Matko Botincan and Dawn SongDawn Song},
Learning of stateful models has been extensively used in ver ification. Some applications include inference of interface invariants, learning-guided concolic execution, compositional verification, and regular model checking. Learning shows a great pro mise for verification, but suffers from two fundamental limitati ons. First, learning stateful models over concrete alphabets does not s cale in practice, as alphabets can be large or even infinite in size. S econd, learning techniques produce… CONTINUE READING
1 Extracted Citations
41 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 41 references

Streaming transducers for algorithmic verification of single-pass list-processing programs

  • R. Alur, P.Černý
  • Proceedings of the 38th annual ACM SIGPLAN-SIGACT…
  • 2011
Highly Influential
6 Excerpts

and M

  • N. Bjørner, P. Hooimeijer, B. Livshits, D. Molnar
  • Veanes. Symbolic finite state transducers…
  • 2012
Highly Influential
15 Excerpts

Similar Papers

Loading similar papers…