Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Iterative distribution-aware sampling for probabilistic symbolic execution., , , and . ESEC/SIGSOFT FSE, page 866-877. ACM, (2015)Run-time efficient probabilistic model checking., , and . ICSE, page 341-350. ACM, (2011)Input splitting for cloud-based static application security testing platforms., , , , , , , , , and . ESEC/SIGSOFT FSE, page 1367-1378. ACM, (2022)Statistical symbolic execution with informed sampling., , , and . SIGSOFT FSE, page 437-448. ACM, (2014)Compositional solution space quantification for probabilistic software analysis., , , , and . PLDI, page 123-132. ACM, (2014)Model based verification and adaptation of software systems @runtime.. Polytechnic University of Milan, Italy, (2013)Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned., , , , and . ESEC/SIGSOFT FSE, page 120-132. ACM, (2023)Approximate and Probabilistic Computing: Design, Coding, Verification, , , and . (2015)Chapter Five - Advances in Symbolic Execution., , , , and . Adv. Comput., (2019)Sibyl: Improving Software Engineering Tools with SMT Selection., , and . ICSE, page 2185-2197. IEEE, (2023)