Personensuche
X
?
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
3
Potential Solutions to Challenges in C Program Repair: A Pr..:
, In:
?
2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) ,
8
Input Validation for Neural Networks via Local Robustness V..:
, In:
?
Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science ,
9
An Abstract Domain of Linear Templates with Disjunctive Rig..:
, In:
?
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering ,
14