E-LIB Suche - Ergebnisse für: Riganelli, Oliviero

1

Generating Java Methods: An Empirical Assessment of Four AI..:

, In: Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension,

Corso, Vincenzo ; Mariani, Leonardo ; Micucci, Daniela. - p. 13-23 , 2024

2

Automatic testing of runtime enforcers with Test4Enforcers:

Riganelli, Oliviero ; Micucci, Daniela ; Mariani, Leonardo
Journal of Systems and Software. 210 (2024) - p. 111949 , 2024

Link: https://doi.org/10.1016/..

3

Analyzing Prompt Influence on Automated Method Generation: ..:

, In: Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension,

Fagadau, Ionut Daniel ; Mariani, Leonardo ; Micucci, Daniela. - p. 24-34 , 2024

Link: https://dl.acm.org/doi/1..

4

Assessing AI-Based Code Assistants in Method Generation Tas..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Corso, Vincenzo ; Mariani, Leonardo ; Micucci, Daniela. - p. 380-381 , 2024

Link: https://doi.org/10.1145/..

5

Monitoring Probe Deployment Patterns for Cloud-Native Appli..:

Tundo, Alessandro ; Mobilio, Marco ; Riganelli, Oliviero.
IEEE Transactions on Services Computing. , 2024

Link: https://doi.org/10.1109/..

6

Assessing AI-Based Code Assistants in Method Generation Tas..:

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,

Corso, Vincenzo ; Mariani, Leonardo ; Micucci, Daniela. - p. 380-381 , 2024

Link: https://dl.acm.org/doi/1..

7

Automated Probe Life-Cycle Management for Monitoring-As-a-S..:

Tundo, Alessandro ; Mobilio, Marco ; Riganelli, Oliviero.
IEEE Transactions on Services Computing. 16 (2023) 2 - p. 969-982 , 2023

Link: https://doi.org/10.1109/..

8

Proactive Libraries: Enforcing Correct Behaviors in Android..:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Riganelli, Oliviero ; Daniel Fagadau, Ionut ; Micucci, Daniela. - p. 159-163 , 2022

Link: https://doi.org/10.1145/..

9

Non-functional Testing of Runtime Enforcers in Android:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,

Riganelli, Oliviero ; Micucci, Daniela ; Mariani, Leonardo - p. 320-334 , 2022

Link: https://doi.org/10.1007/..

10

Proactive libraries : enforcing correct behaviors in And..:

, In: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings,

Riganelli, Oliviero ; Fagadau, Ionut Daniel ; Micucci, Daniela. - p. 159-163 , 2022

Link: https://dl.acm.org/doi/1..

11

Exception-Driven Fault Localization for Automated Program R..:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS),

Ginelli, Davide ; Riganelli, Oliviero ; Micucci, Daniela. - p. 598-607 , 2021

Link: https://doi.org/10.1109/..

12

Test4Enforcers: Test Case Generation for Software Enforcers:

, In: Runtime Verification; Lecture Notes in Computer Science,

Guzman, Michell ; Riganelli, Oliviero ; Micucci, Daniela. - p. 279-297 , 2020

Link: https://doi.org/10.1007/..

13

Data loss detector: automatically revealing data loss bugs ..:

, In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Riganelli, Oliviero ; Mottadelli, Simone Paolo ; Rota, Claudio.. - p. 141-152 , 2020

Link: https://dl.acm.org/doi/1..

14

FILO : FIx-LOcus localization for backward incompatibili..:

, In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering,

Mobilio, Marco ; Riganelli, Oliviero ; Micucci, Daniela. - p. 1292-1296 , 2020

Link: https://dl.acm.org/doi/1..

15

Declarative Dashboard Generation:

, In: 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Tundo, Alessandro ; Castelnovo, Chiara ; Mobilio, Marco.. - p. 215-218 , 2020

Link: https://doi.org/10.1109/..