Author of the publication

Statistical Symbolic Execution with Informed Sampling.

, , , and . Software Engineering & Management, volume P-239 of LNI, page 51-52. GI, (2015)

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

Run-time efficient probabilistic model checking., , and . ICSE, page 341-350. ACM, (2011)Iterative distribution-aware sampling for probabilistic symbolic execution., , , and . ESEC/SIGSOFT FSE, page 866-877. ACM, (2015)Model based verification and adaptation of software systems @runtime.. Polytechnic University of Milan, Italy, (2013)Compositional solution space quantification for probabilistic software analysis., , , , and . PLDI, page 123-132. ACM, (2014)Statistical symbolic execution with informed sampling., , , and . SIGSOFT FSE, page 437-448. ACM, (2014)Input splitting for cloud-based static application security testing platforms., , , , , , , , , and . ESEC/SIGSOFT FSE, page 1367-1378. ACM, (2022)Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned., , , , and . ESEC/SIGSOFT FSE, page 120-132. ACM, (2023)Model Counting for Complex Data Structures., , , and . SPIN, volume 9232 of Lecture Notes in Computer Science, page 222-241. Springer, (2015)Control theory for software engineering: technical briefing., and . ICSE (Companion Volume), page 908-910. ACM, (2016)Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach., , , and . CCA, page 557-562. IEEE, (2012)