Carlo A. Furia - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Carlo A. Furia' as author, editor, or advisor:

Reasoning About Exceptional Behavior at the Level of Java BytecodeMarco Paganoni, Carlo A. Furia. IFM 2024: 113-133 [doi]
Static Analysis Warnings and Automatic Fixing: A Replication for C# ProjectsMartin Odermatt, Diego Marcilio, Carlo A. Furia. WCRE 2022: 805-816 [doi]
A fully verified container libraryNadia Polikarpova, Julian Tschannen, Carlo A. Furia. fac, 30(5):495-523, 2018. [doi]
Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding CompetitionsCarlo A. Furia, Richard Torkar, Robert Feldt. TOSEM, 33(1), January 2024. [doi]
A Method to Assess and Argue for Practical Significance in Software EngineeringRichard Torkar, Carlo A. Furia, Robert Feldt, Francisco Gomes de Oliveira Neto, Lucas Gren, Per Lenberg, Neil A. Ernst. TSE, 48(6):2053-2065, 2022. [doi]
AutoProof meets some verification challengesJulian Tschannen, Carlo A. Furia, Martin Nordio. STTT, 17(6):745-755, 2015. [doi]
Evolution of statistical analysis in empirical software engineering research: Current state and steps forwardFrancisco Gomes de Oliveira Neto, Richard Torkar, Robert Feldt, Lucas Gren, Carlo A. Furia, Ziwei Huang. jss, 156:246-267, 2019. [doi]
Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, ProceedingsCarlo A. Furia, Kirsten Winter, editors, Volume 11023 of Lecture Notes in Computer Science, Springer, 2018. [doi]
What Is Thrown? Lightweight Precise Automatic Extraction of Exception Preconditions in Java MethodsDiego Marcilio, Carlo A. Furia. ICSM 2022: 340-351 [doi]
Automatically Generating Fix Suggestions in Response to Static Code Analysis WarningsDiego Marcilio, Carlo A. Furia, Rodrigo Bonifácio, Gustavo Pinto 0001. SCAM 2019: 34-44 [doi]
An annotation-based approach for finding bugs in neural network programsMohammad Rezaalipour, Carlo A. Furia. jss, 201:111669, July 2023. [doi]
Automated repair of resource leaks in Android applicationsBhargav Nagaraja Bhatt, Carlo A. Furia. jss, 192:111417, 2022. [doi]
Bounded variability of metric temporal logicCarlo A. Furia, Paola Spoletini. AMAI, 80(3-4):283-316, 2017. [doi]
Restore: Retrospective Fault Localization Enhancing Automated Program RepairTongtong Xu, Liushan Chen, Yu Pei 0001, Tian Zhang 0001, Minxue Pan, Carlo A. Furia. TSE, 48(2):309-326, 2022. [doi]
Bayesian Data Analysis for Software EngineeringRichard Torkar, Carlo A. Furia, Robert Feldt. ICSE 2021: 328-329 [doi]
Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code QualityCarlo A. Furia, Richard Torkar, Robert Feldt. TOSEM, 31(3), 2022. [doi]
Why Just Boogie? - Translating Between Intermediate Verification LanguagesMichael Ameri, Carlo A. Furia. IFM 2016: 79-95 [doi]
Robustness Testing of Intermediate VerifiersYuting Chen, Carlo A. Furia. ATVA 2018: 91-108 [doi]
Towards Code Improvements Suggestions from Client Exception AnalysisDiego Marcilio, Carlo A. Furia. ICSM 2023: 363-368 [doi]
Special section of Tests and Proofs 2016Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons. fac, 30(6):627-628, 2018. [doi]
How Java Programmers Test Exceptional BehaviorDiego Marcilio, Carlo A. Furia. msr 2021: 207-218 [doi]
Bayesian Data Analysis in Empirical Software Engineering ResearchCarlo A. Furia, Robert Feldt, Richard Torkar. TSE, 47(9):1786-1810, 2021. [doi]
AutoProof: auto-active functional verification of object-oriented programsCarlo A. Furia, Martin Nordio, Nadia Polikarpova, Julian Tschannen. STTT, 19(6):697-716, 2017. [doi]
Triggerless Happy - Intermediate Verification with a First-Order ProverYuting Chen, Carlo A. Furia. IFM 2017: 295-311 [doi]
Contract-Based Program Repair Without The Contracts: An Extended StudyLiushan Chen, Yu Pei 0001, Carlo A. Furia. TSE, 47(12):2841-2857, 2021. [doi]
Program Repair With Repeated LearningLiushan Chen, Yu Pei 0001, Minxue Pan, Tian Zhang 0001, Qixin Wang, Carlo A. Furia. TSE, 49(2):831-848, February 2023. [doi]
aNNoTest: An Annotation-based Test Generation Tool for Neural Network ProgramsMohammad Rezaalipour, Carlo A. Furia. ICSM 2023: 574-579 [doi]
Contract-based program repair without the contractsLiushan Chen, Yu Pei 0001, Carlo A. Furia. ASE 2017: 637-647 [doi]
Verifying Functional Correctness Properties at the Level of Java BytecodeMarco Paganoni, Carlo A. Furia. FM 2023: 343-363 [doi]
Lightweight precise automatic extraction of exception preconditions in java methodsDiego Marcilio, Carlo A. Furia. ese, 29(1):30, February 2024. [doi]
VerifyThis 2019: a program verification competitionClaire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller 0001. STTT, 23(6):883-893, 2021. [doi]
SpongeBugs: Automatically generating fix suggestions in response to static code analysis warningsDiego Marcilio, Carlo A. Furia, Rodrigo Bonifácio, Gustavo Pinto 0001. jss, 168:110671, 2020. [doi]
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static CheckingJuan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller. TSE, 41(10):1019-1037, 2015. [doi]
Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, ProceedingsBernhard K. Aichernig, Carlo A. Furia, editors, Volume 9762 of Lecture Notes in Computer Science, Springer, 2016. [doi]
Bayesian Data Analysis in Empirical Software Engineering: The Case of Missing DataRichard Torkar, Robert Feldt, Carlo A. Furia. In Michael Felderer, Guilherme Horta Travassos, editors, Contemporary Empirical Methods in Software Engineering. pages 289-324, Springer, 2020. [doi]
HyperPUT: generating synthetic faulty programs to challenge bug-finding toolsRiccardo Felici, Laura Pozzi, Carlo A. Furia. ese, 29(2):38, April 2024. [doi]
What good is bayesian data analysis for software engineering?Carlo A. Furia. ICSE 2017: 374-376 [doi]

runs on WebDSL