Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Cordeiro, Norbert J
3  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Rapid Taint Assisted Concolic Execution (TACE):

, In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering,
Jain, Ridhi ; Tihanyi, Norbert ; Ndhlovu, Mthandazo.. - p. 627-631 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

ESBMC v7.4: Harnessing the Power of Intervals: (Competition..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Menezes, Rafael Sá ; Aldughaim, Mohannad ; Farias, Bruno... - p. 376-380 , 2024
Link: https://doi.org/10.1007/..
 
?
3

The FormAI Dataset: Generative AI in Software Security thro..:

, In: Proceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineering,
Tihanyi, Norbert ; Bisztray, Tamas ; Jain, Ridhi... - p. 33-43 , 2023
Link: https://dl.acm.org/doi/1..
 
1-3