Search for persons
X
?
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings ,
1
How are Contracts Used in Android Mobile Applications?:
, In:
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
2
Leveraging Large Language Models to Boost Dafny's Developer..:
, In:
?
2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
3
How are Contracts Used in Android Mobile Applications?:
, In:
?
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering ,
5
CoqPyt: Proof Navigation in Python in the Era of LLMs:
, In:
?
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
8
SmartBugs 2.0: An Execution Framework for Weakness Detectio..:
, In:
?
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
9
Polyglot Code Smell Detection for Infrastructure as Code wi..:
, In:
?
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering ,
10
GLITCH: Automated Polyglot Security Smell Detection in Infr..:
, In:
?
Proceedings of the 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems ,
12
Extending ecoandroid with automated detection of resource l..:
, In:
?
2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ,
13
A Preliminary Study on Generating Well-Formed Q# Quantum Pr..:
, In:
?
2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ,
14