Personensuche
X
?
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering ,
1
Rapid Taint Assisted Concolic Execution (TACE):
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
2
ESBMC v7.4: Harnessing the Power of Intervals: (Competition..:
, In:
?
Proceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineering ,
5
The FormAI Dataset: Generative AI in Software Security thro..:
, In:
?
2021 International Carnahan Conference on Security Technology (ICCST) ,
7
Creating effective fingerprint artefacts: a cooperative and..:
, In:
?
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ,
8