ESEC/FSE
ESEC/FSE 2020
ISSTA
International Symposium on Software Testing and Analysis (ISSTA)ISSTA - ACM SIGSOFT International Symposium on Software Testing and Analysis
ISSTA
International Symposium on Software Testing and Analysis (ISSTA)ISSTA - ACM SIGSOFT International Symposium on Software Testing and Analysis
PLDI
40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019)
ICSE
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
39th International Symposium on Software Engineering
Proc. of the 8th International Conference on Tests and Proofs (TAP 2014)