Personensuche
X
?
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis ,
2
CGuard: Scalable and Precise Object Bounds Protection for C:
, In:
?
2023 30th Asia-Pacific Software Engineering Conference (APSEC) ,
3
Verifying Exception-Handling Code in Concurrent Libraries:
, In:
?
Runtime Verification; Lecture Notes in Computer Science ,
7
Optimal Finite-State Monitoring of Partial Traces:
, In:
?
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
13
Dataset to Study Indirectly Dependent Documentation in GitH..:
, In:
?
Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings ,
14
Dataset to study indirectly dependent documentation in GitH..:
, In:
?
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) ,
15