Carlo A. Furia

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 49

Top Venues

CoRR

IEEE Trans. Software Eng.

Empir. Softw. Eng.

Publications

Carlo A. Furia, Abhishek Tiwari
Challenges of Multilingual Program Specification and Analysis. CoRR (2024)
Shifat Sahariar Bhuiyan, Abhishek Tiwari, Yu Pei, Carlo A. Furia
Ranking Plausible Patches by Historic Feature Frequencies. CoRR (2024)
Carlo A. Furia, Richard Torkar, Robert Feldt
Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Riccardo Felici, Laura Pozzi, Carlo A. Furia
HyperPUT: generating synthetic faulty programs to challenge bug-finding tools. Empir. Softw. Eng. 29 (2) (2024)
Mohammad Rezaalipour, Carlo A. Furia
FauxPy: A Fault Localization Tool for Python. CoRR (2024)
Diego Marcilio, Carlo A. Furia
Lightweight precise automatic extraction of exception preconditions in java methods. Empir. Softw. Eng. 29 (1) (2024)
Mohammad Rezaalipour, Carlo A. Furia
An empirical study of fault localization in Python programs. Empir. Softw. Eng. 29 (4) (2024)
Mohammad Rezaalipour, Carlo A. Furia
An Empirical Study of Fault Localization in Python Programs. CoRR (2023)
Mohammad Rezaalipour, Carlo A. Furia
aNNoTest: An Annotation-based Test Generation Tool for Neural Network Programs. ICSME (2023)
Marco Paganoni, Carlo A. Furia
Verifying Functional Correctness Properties at the Level of Java Bytecode. FM (2023)
Liushan Chen, Yu Pei, Minxue Pan, Tian Zhang, Qixin Wang, Carlo A. Furia
Program Repair With Repeated Learning. IEEE Trans. Software Eng. 49 (2) (2023)
Diego Marcilio, Carlo A. Furia
Towards Code Improvements Suggestions from Client Exception Analysis. ICSME (2023)
Mohammad Rezaalipour, Carlo A. Furia
An annotation-based approach for finding bugs in neural network programs. J. Syst. Softw. 201 (2023)
Carlo A. Furia, Richard Torkar, Robert Feldt
Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions. CoRR (2023)
Marco Paganoni, Carlo A. Furia
Reasoning About Exceptional Behavior at the Level of Java Bytecode. iFM (2023)
Martin Odermatt, Diego Marcilio, Carlo A. Furia
Static Analysis Warnings and Automatic Fixing: A Replication for C# Projects. SANER (2022)
Diego Marcilio, Carlo A. Furia
What Is Thrown? Lightweight Precise Automatic Extraction of Exception Preconditions in Java Methods. ICSME (2022)
Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia
Restore: Retrospective Fault Localization Enhancing Automated Program Repair. IEEE Trans. Software Eng. 48 (2) (2022)
Carlo A. Furia, Richard Torkar, Robert Feldt
Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality. ACM Trans. Softw. Eng. Methodol. 31 (3) (2022)
Bhargav Nagaraja Bhatt, Carlo A. Furia
Automated repair of resource leaks in Android applications. J. Syst. Softw. 192 (2022)
Riccardo Felici, Laura Pozzi, Carlo A. Furia
HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding Tools. CoRR (2022)
Richard Torkar, Carlo A. Furia, Robert Feldt, Francisco Gomes de Oliveira Neto, Lucas Gren, Per Lenberg, Neil A. Ernst
A Method to Assess and Argue for Practical Significance in Software Engineering. IEEE Trans. Software Eng. 48 (6) (2022)
Carlo A. Furia, Robert Feldt, Richard Torkar
Bayesian Data Analysis in Empirical Software Engineering Research. IEEE Trans. Software Eng. 47 (9) (2021)
Mohammad Rezaalipour, Carlo A. Furia
Test-Case Generation for Finding Neural Network Bugs. CoRR (2021)
Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller
VerifyThis 2019: a program verification competition. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Richard Torkar, Carlo A. Furia, Robert Feldt
Bayesian Data Analysis for Software Engineering. ICSE (Companion Volume) (2021)
Carlo A. Furia, Richard Torkar, Robert Feldt
Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality. CoRR (2021)
Diego Marcilio, Carlo A. Furia
How Java Programmers Test Exceptional Behavior. MSR (2021)
Liushan Chen, Yu Pei, Carlo A. Furia
Contract-Based Program Repair Without The Contracts: An Extended Study. IEEE Trans. Software Eng. 47 (12) (2021)
Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller
VerifyThis 2019: A Program Verification Competition (Extended Report). CoRR (2020)
Bhargav Nagaraja Bhatt, Carlo A. Furia
Automated Repair of Resource Leaks in Android Applications. CoRR (2020)
Diego Marcilio, Carlo A. Furia, Rodrigo Bonifácio, Gustavo Pinto
SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings. J. Syst. Softw. 168 (2020)
Diego Marcilio, Carlo A. Furia, Rodrigo Bonifácio, Gustavo Pinto
Automatically Generating Fix Suggestions in Response to Static Code Analysis Warnings. SCAM (2019)
Francisco Gomes de Oliveira Neto, Richard Torkar, Robert Feldt, Lucas Gren, Carlo A. Furia, Ziwei Huang
Evolution of statistical analysis in empirical software engineering research: Current state and steps forward. J. Syst. Softw. 156 (2019)
Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia
Restore: Retrospective Fault Localization Enhancing Automated Program Repair. CoRR (2019)
Yuting Chen, Carlo A. Furia
Robustness Testing of Intermediate Verifiers. CoRR (2018)
Carlo A. Furia, Robert Feldt, Richard Torkar
Bayesian Data Analysis in Empirical Software Engineering Research. CoRR (2018)
Richard Torkar, Robert Feldt, Carlo A. Furia
Arguing Practical Significance in Software Engineering Using Bayesian Data Analysis. CoRR (2018)
Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons
Special section of Tests and Proofs 2016. Formal Aspects Comput. 30 (6) (2018)
Yuting Chen, Carlo A. Furia
Robustness Testing of Intermediate Verifiers. ATVA (2018)
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia
A fully verified container library. Formal Aspects Comput. 30 (5) (2018)
Carlo A. Furia, Martin Nordio, Nadia Polikarpova, Julian Tschannen
AutoProof: auto-active functional verification of object-oriented programs. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Carlo A. Furia
What good is bayesian data analysis for software engineering? ICSE (Companion Volume) (2017)
Carlo A. Furia, Paola Spoletini
Bounded variability of metric temporal logic. Ann. Math. Artif. Intell. 80 (3-4) (2017)
Liushan Chen, Yu Pei, Carlo A. Furia
Contract-based program repair without the contracts. ASE (2017)
Yuting Chen, Carlo A. Furia
Triggerless Happy - Intermediate Verification with a First-Order Prover. IFM (2017)
Michael Ameri, Carlo A. Furia
Why Just Boogie? Translating Between Intermediate Verification Languages. CoRR (2016)
Carlo A. Furia
Bayesian Statistics in Software Engineering: Practical Guide and Case Studies. CoRR (2016)
Michael Ameri, Carlo A. Furia
Why Just Boogie? - Translating Between Intermediate Verification Languages. IFM (2016)
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia
A Fully Verified Container Library. FM (2015)
Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen
The AutoProof Verifier: Usability by Non-Experts and on Standard Code. F-IDE (2015)
Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking. IEEE Trans. Software Eng. 41 (10) (2015)
Julian Tschannen, Carlo A. Furia, Martín Nordio, Nadia Polikarpova
AutoProof: Auto-active Functional Verification of Object-oriented Programs. CoRR (2015)
Sebastian Nanz, Carlo A. Furia
A Comparative Study of Programming Languages in Rosetta Code. ICSE (1) (2015)
Julian Tschannen, Carlo A. Furia, Martin Nordio
AutoProof meets some verification challenges. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer
Automated Program Repair in an Integrated Development Environment. ICSE (2) (2015)
Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova
AutoProof: Auto-Active Functional Verification of Object-Oriented Programs. TACAS (2015)
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
Automated Fixing of Programs with Contracts. CoRR (2014)
Carlo A. Furia, Paola Spoletini
Bounded Variability of Metric Temporal Logic. TIME (2014)
Hans-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider
Agile vs. structured distributed software development: A case study. Empir. Softw. Eng. 19 (5) (2014)
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
Automated Fixing of Programs with Contracts. IEEE Trans. Software Eng. 40 (5) (2014)
Carlo A. Furia, Bertrand Meyer, Sergey Velder
Loop invariants: Analysis, classification, and examples. ACM Comput. Surv. 46 (3) (2014)
Carlo A. Furia
Rotation of Sequences: Algorithms and Proofs. CoRR (2014)
H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer
Contracts in Practice. FM (2014)
Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
Automating Full Functional Verification of Programs with Loops. CoRR (2014)
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
Awareness and Merge Conflicts in Distributed Software Development. ICGSE (2014)
Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Automatic Program Repair by Fixing Contracts. FASE (2014)
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer
Flexible Invariants through Semantic Collaboration. FM (2014)
Sebastian Nanz, Carlo A. Furia
A Comparative Study of Programming Languages in Rosetta Code. CoRR (2014)
Juan Pablo Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. Haifa Verification Conference (2014)
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
Collaborative Debugging. ICGSE (2013)
Nadia Polikarpova, Carlo A. Furia, Scott West
To Run What No One Has Run Before: Executing an Intermediate Verification Language. RV (2013)
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
What good are strong specifications? ICSE (2013)
Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei
The search for the laws of automatic random testing. SAC (2013)
Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi
A publication culture in software engineering (panel). ESEC/SIGSOFT FSE (2013)
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer
Flexible Invariants Through Semantic Collaboration. CoRR (2013)
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Program Checking with Less Hassle. VSTTE (2013)
Marco Piccioni, Carlo A. Furia, Bertrand Meyer
An Empirical Study of API Usability. ESEM (2013)
Carlo A. Furia, Sebastian Nanz
TOOLS Europe 2012 Special Section. J. Object Technol. 12 (3) (2013)
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Really Automatic Scalable Object-Oriented Reengineering. ECOOP (2013)
Carlo A. Furia, Paola Spoletini
Bounded Variability of Metric Temporal Logic. CoRR (2013)
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
Unifying Configuration Management with Merge Conflict Detection and Awareness Systems. Australian Software Engineering Conference (2013)
Carlo A. Furia
A Verifier for Functional Properties of Sequence-Manipulating Programs. ATVA (2012)
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol
C to O-O Translation: Beyond the Easy Stuff. WCRE (2012)
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
What Good Are Strong Specifications? CoRR (2012)
Marco Trudel, Carlo A. Furia, Martin Nordio
Automatic C to O-O Translation with C2Eiffel. WCRE (2012)
Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei
The Search for the Laws of Automatic Random Testing CoRR (2012)
Carlo A. Furia
A Survey of Multi-Tape Automata CoRR (2012)
Carlo A. Furia, Bertrand Meyer, Sergey Velder
A survey of loop invariants CoRR (2012)
Carlo A. Furia
Multi-tape automata for automatic verification CoRR (2012)
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol
Automatic Translation of C Source Code to Eiffel CoRR (2012)
H.-Christian Estler, Martín Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider
Agile vs. Structured Distributed Software Development: A Case Study. ICGSE (2012)
H.-Christian Estler, Marco Piccioni, Carlo A. Furia, Martin Nordio, Bertrand Meyer
How Specifications Change and Why You Should Care CoRR (2012)
Carlo A. Furia, Paola Spoletini
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. TIME (2012)
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Verifying Eiffel Programs with Boogie CoRR (2011)
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Evidence-Based Automated Program Fixing CoRR (2011)
Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio
Automated Translation of Java Source Code to Eiffel. TOOLS (49) (2011)
Carlo A. Furia, Paola Spoletini
On Relaxing Metric Information in Linear Temporal Logic. TIME (2011)
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
Stateful Testing: Finding More Errors in Code and Contracts CoRR (2011)
Carlo A. Furia
Review of The calculus of computation: decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna. SIGACT News 42 (1) (2011)

Carlo A. Furia.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carlo A. Furia