E-LIB Suche - Ergebnisse für: Furia, Carlo A

1

HyperPUT: generating synthetic faulty programs to challenge..:

Felici, Riccardo ; Pozzi, Laura ; Furia, Carlo A.
Empirical Software Engineering. 29 (2024) 2 - p. , 2024

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

2

An empirical study of fault localization in Python programs:

Rezaalipour, Mohammad ; Furia, Carlo A.
Empirical Software Engineering. 29 (2024) 4 - p. , 2024

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

3

Proceedings of the 2024 IEEE/ACM 12th International Confere..:

Furia, Carlo A. ; Lopes, Antónia ; Plat, Nico. , 2024

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

4

Towards Causal Analysis of Empirical Software Engineering D..:

Furia, Carlo A. ; Torkar, Richard ; Feldt, Robert
ACM Transactions on Software Engineering and Methodology. 33 (2023) 1 - p. 1-35 , 2023

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

5

Towards Code Improvements Suggestions from Client Exception..:

, In: 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME),

Marcilio, Diego ; Furia, Carlo A. - p. 363-368 , 2023

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

6

Verifying Functional Correctness Properties at the Level of..:

, In: Formal Methods; Lecture Notes in Computer Science,

Paganoni, Marco ; Furia, Carlo A. - p. 343-363 , 2023

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

7

Reasoning About Exceptional Behavior at the Level of Java B..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Paganoni, Marco ; Furia, Carlo A. - p. 113-133 , 2023

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

8

Program Repair With Repeated Learning:

Chen, Liushan ; Pei, Yu ; Pan, Minxue...
IEEE Transactions on Software Engineering. 49 (2023) 2 - p. 831-848 , 2023

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

9

aNNoTest: An Annotation-based Test Generation Tool for Neur..:

, In: 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME),

Rezaalipour, Mohammad ; Furia, Carlo A. - p. 574-579 , 2023

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

10

An annotation-based approach for finding bugs in neural net..:

Rezaalipour, Mohammad ; Furia, Carlo A.
Journal of Systems and Software. 201 (2023) - p. 111669 , 2023

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

11

Lightweight precise automatic extraction of exception preco..:

Marcilio, Diego ; Furia, Carlo A.
Empirical Software Engineering. 29 (2023) 1 - p. , 2023

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

12

Restore: Retrospective Fault Localization Enhancing Automat..:

Xu, Tongtong ; Chen, Liushan ; Pei, Yu...
IEEE Transactions on Software Engineering. 48 (2022) 1 - p. 309-326 , 2022

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

13

What Is Thrown? Lightweight Precise Automatic Extraction of..:

, In: 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME),

Marcilio, Diego ; Furia, Carlo A. - p. 340-351 , 2022

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

14

A Method to Assess and Argue for Practical Significance in ..:

Torkar, Richard ; Furia, Carlo A. ; Feldt, Robert...
IEEE Transactions on Software Engineering. 48 (2022) 6 - p. 2053-2065 , 2022

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

15

Automated repair of resource leaks in Android applications:

Bhatt, Bhargav Nagaraja ; Furia, Carlo A.
Journal of Systems and Software. 192 (2022) - p. 111417 , 2022

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