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 ,
4
CoqPyt: Proof Navigation in Python in the Era of LLMs:
, In:
?
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
5
SmartBugs 2.0: An Execution Framework for Weakness Detectio..:
, In:
?
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
6
Polyglot Code Smell Detection for Infrastructure as Code wi..:
, In:
?
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering ,
7
GLITCH: Automated Polyglot Security Smell Detection in Infr..:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
8
Verified Password Generation from Password Composition Poli..:
, In:
?
Proceedings of the 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems ,
9
Extending ecoandroid with automated detection of resource l..:
, In:
?
2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ,
10
A Preliminary Study on Generating Well-Formed Q# Quantum Pr..:
, In:
?
2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ,
11
Message from the RSDA 2022 Workshop Chairs: ISSREW 2022:
, In:
?
2022 IEEE/ACM 9th International Conference on Mobile Software Engineering and Systems (MobileSoft) ,
12
Extending EcoAndroid with Automated Detection of Resource L..:
, In:
?
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS) ,
13
EcoAndroid: An Android Studio Plugin for Developing Energy-..:
, In:
?
Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops ,
14
Open and Interactive Learning Resources for Algorithmic Pro..:
, In:
?
Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems ,
15