published in Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering Journal
presented at event ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering Conference
keywords Computer Science Computer Science, Software Engineering Decision trees Environment assumptions Machine learning Model checking Science & Technology Search-based software testing Technology