?
Formal Methods; Lecture Notes in Computer Science ,
3
Shifting Left for Early Detection of Machine-Learning Bugs:
, In:
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
6
Neural-Based Test Oracle Generation: A Large-Scale Evaluati..:
, In:
?
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
8
Input splitting for cloud-based static application security..:
, In:
?
Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
12
RAPID: checking API usage for the cloud in the cloud:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
14