Hila Peleg

According to our database1, Hila Peleg authored at least 9 papers between 2013 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Generating Tests by Example.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Abstraction-Based Interaction Model for Synthesis.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Programming not only by example.
Proceedings of the 40th International Conference on Software Engineering, 2018

2017
Programming Not Only by Example.
CoRR, 2017

Learn&Fuzz: Machine Learning for Input Fuzzing.
CoRR, 2017

Learn&Fuzz: machine learning for input fuzzing.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016
Symbolic automata for representing big code.
Acta Inf., 2016

D^3 : Data-Driven Disjunctive Abstraction.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2013
Symbolic Automata for Static Specification Mining.
Proceedings of the Static Analysis - 20th International Symposium, 2013


  Loading...