Registered user since Mon 22 Apr 2019
My main research topic is the application of Machine Learning techniques to Program Analysis tasks. Specifically, i research how to automatically produce formal software specifications. My research involves using a variety of techniques, Neural Networks and Genetic Algorithms in particular.
|ICSE 2022||Fuzzing Class Specifications|
|Show activities from other conferences|
View general profile