Skip to content

Andrea Fornaia

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

19

Venues

6

Active years

2014–2021

Best venue rank

C

Where they publish

Papers

19 indexed papers, newest first.

YearVenueTitleAuthors
2021WETICEA (Reverse) Mutation Testing Approach to Automatically generate parallel C/C++ Code.Calanna Salvatore, Andrea Calvagna, Salvatore Campisi, Andrea Fornaia, Giuseppe Pappalardo, Riccardo Torrisi, Emiliano Tramontana
2020WETICEAutomatic Generation of Effective Unit Tests based on Code Behaviour.Andrea Fornaia, Alessandro Midolo, Giuseppe Pappalardo, Emiliano Tramontana
2020SmartCompFrom Smart City to Smart Citizen: Rewarding Waste Recycle by Designing a Data-Centric IoT based Garbage Collection Service.Leonardo Pelonero, Andrea Fornaia, Emiliano Tramontana
2020SmartCompVSEW: an early warning system for volcanic and seismic events.Roberto Spina, Andrea Fornaia, Emiliano Tramontana
2019WETICEJSCAN: Designing an Easy to use LLVM-Based Static Analysis Framework.Andrea Fornaia, Stefano Scafiti, Emiliano Tramontana
2019WETICEValidation of Safety Critical Collaboration Systems (VSC) at WETICE 2019: Track Report.Emiliano Tramontana, Andrea Calvagna, Andrea Fornaia
2018APSECProgram Analysis and Graph Pattern Matching to Reveal Modularity and Potential for Parallelism.Andrea Fornaia, Misael Mongiov, Giuseppe Pappalardo, Emiliano Tramontana
2018COMPSACAssisting Replace Method with Method Object: Selecting Fields and Preserving Data Access.Andrea Fornaia, Emiliano Tramontana
2018COMPSACA Framework for Updating Functionalities Based on the MAPE Loop Mechanism.Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia, Tatsuhiro Tsuchiya
2018WETICEDetecting Android Malware According to Observations on User Activities.Andrea Di Stefano, Andrea Fornaia, Emiliano Tramontana, Gabriella Verga
2017COMPSACDeDuCT: A Data Dependence Based Concern Tagger for Modularity Analysis.Andrea Fornaia, Emiliano Tramontana
2017WETICEVSC Track Report.Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
2017WETICEIs My Code Easy to Port? Using Taint Analysis to Evaluate and Assist Code Portability.Andrea Fornaia, Emiliano Tramontana
2016WETICEMaking Android Apps Data-Leak-Safe by Data Flow Analysis and Code Injection.Giuseppe Ascia, Vincenzo Catania, Raffaele Di Natale, Andrea Fornaia, Misael Mongiov, Salvatore Monteleone, Giuseppe Pappalardo, Emiliano Tramontana
2016WETICEVSC Track at WETICE 2016: Summary Report and Preface.Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
2015SACRandom versus combinatorial effectiveness in software conformance testing: a case study.Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
2015SACCombining static and dynamic data flow analysis: a hybrid approach for detecting data leaks in java applications.Misael Mongiov, G. Giannone, Andrea Fornaia, Giuseppe Pappalardo, Emiliano Tramontana
2014ICSTCombinatorial Interaction Testing of a Java Card Static Verifier.Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
2014WETICEAssessing the Correctness of JVM Implementations.Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana