Cited By
View all- Nilizadeh ALeavens GPăsăreanu CNoller Y(2023)JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion CheckingFormal Aspects of Computing10.1145/360753836:1(1-24)Online publication date: 5-Aug-2023
- Pontes FGheyi RSouto SGarcia ARibeiro MDumas MPfahl DApel SRusso A(2019)Java reflection API: revealing the dark side of the mirrorProceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3338906.3338946(636-646)Online publication date: 12-Aug-2019
- Blasi AGoffi AKuznetsov KGorla AErnst MPezzè MCastellanos STip FBodden E(2018)Translating code comments to procedure specificationsProceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3213846.3213872(242-253)Online publication date: 12-Jul-2018
- Show More Cited By