Tests and Proofs Tests and Proofs
2022
Machine Learning for Dynamic Software Analysis: Potentials and Limits Machine Learning for Dynamic Software Analysis: Potentials and Limits
2018