Search for persons
X
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
1
Leveraging Large Language Models to Boost Dafny's Developer..:
, In:
?
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings ,
3
How are Contracts Used in Android Mobile Applications?:
, In:
?
2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
4
How are Contracts Used in Android Mobile Applications?:
, In:
?
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
6
Polyglot Code Smell Detection for Infrastructure as Code wi..:
, In:
?
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
8
SmartBugs 2.0: An Execution Framework for Weakness Detectio..:
, In:
?
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering ,
10
GLITCH: Automated Polyglot Security Smell Detection in Infr..:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
13
Verified Password Generation from Password Composition Poli..:
, In:
?
Proceedings of the 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems ,
14
Extending ecoandroid with automated detection of resource l..:
, In:
?
2022 IEEE/ACM 9th International Conference on Mobile Software Engineering and Systems (MobileSoft) ,
15