Giovanni Denaro

83 papers A* 4A 4B 1C 6Journal 30Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Hylog: A Hybrid Approach to Logging Text Production in Non-alphabetic Scripts. CoRR Roberto Crotti, Giovanni Denaro, Zhiqiang Du, Ricardo Muñoz Martín
2026	J	`jnl`	Regime-aware unsupervised monitoring of microalgal photobioreactors via change-point detection and ensemble anomaly scoring. Comput. Chem. Eng. Bartolomeo Cosenza, Alexander Kusianovich, Giovanni Antonio Lutzu, Alessandro Concas, Carlos Martinez, Alvaro Torres-Aravena, Antonio Messineo, Maurizio Volpe, Antonio Picone, Giovanni Denaro, Giovanni Cravotto, Catalina Valencia Peroni, Paola Díaz-Navarrete, Alessandro Cosenza, Robinson Soto-Ramirez
2025	J	`jnl`	A Role and Reward Analysis in Off-Chain Mechanisms for Executing MEV Strategies in Ethereum Proof-of-Stake. Distributed Ledger Technol. Res. Pract. Davide Mancino, Alberto Leporati, Marco Viviani, Giovanni Denaro
2025	C	`conf`	Automated Test Generation for Integration Testing. AST Elson Kurian, Giovanni Denaro, Pietro Braione, Luca Guglielmo
2025	C	`conf`	Automated Test Generation from Program Documentation Encoded in Code Comments. AST Giovanni Denaro, Luca Guglielmo
2025	J	`jnl`	Automated Test Generation from Program Documentation Encoded in Code Comments. CoRR Giovanni Denaro, Luca Guglielmo
2025	C	`conf`	Decentralization or Favoritism? An Analysis of Ethereum Transactions and Maximal Extractable Value Strategies. ICBC Davide Mancino, Alberto Leporati, Marco Viviani, Giovanni Denaro
2025	J	`jnl`	Modeling of mercury distribution in human body under conditions of chronic exposure: Development of a Biologically Based Dynamic (BBD) model with application to the Italian adult population. Ecol. Informatics Giovanni Denaro, Luciano Curcio, Bartolomeo Cosenza, Giuseppe Avellone
2024	J	`jnl`	DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing. IEEE Trans. Software Eng. Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani
2024	J	`jnl`	Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency. IEEE Trans. Software Eng. Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani
2024	J	`jnl`	Measuring Software Testability via Automatically Generated Test Cases. IEEE Access Luca Guglielmo, Leonardo Mariani, Giovanni Denaro
2024	J	`jnl`	Path-optimal symbolic execution of heap-manipulating programs. CoRR Pietro Braione, Giovanni Denaro
2024	J	`jnl`	Predicting Failures of Autoscaling Distributed Applications. Proc. ACM Softw. Eng. Giovanni Denaro, Noura El Moussa, Rahim Heydarov, Francesco Lomio, Mauro Pezzè, Ketai Qiu
2023	J	`jnl`	A dynamic integrated model for mercury bioaccumulation in marine organisms. Ecol. Informatics Giovanni Denaro, Luciano Curcio, Alessandro Borri, Laura D'Orsi, Andrea De Gaetano
2023	—	`conf`	Automated Test Case Generation for Safety-Critical Software in Scade. ICSE-SEIP Elson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro
2023	J	`jnl`	Automatically generating test cases for safety-critical software via symbolic execution. J. Syst. Softw. Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro
2023	—	`conf`	Exploiting Ethereum after "The Merge": The Interplay between PoS and MEV Strategies. ITASEC Davide Mancino, Alberto Leporati, Marco Viviani, Giovanni Denaro
2023	—	`conf`	GUI Testing to the Power of Parallel Q-Learning. ICSE Companion Marco Mobilio, Diego Clerissi, Giovanni Denaro, Leonardo Mariani
2023	J	`jnl`	Measuring Software Testability via Automatically Generated Test Cases. CoRR Luca Guglielmo, Leonardo Mariani, Giovanni Denaro
2023	J	`jnl`	Prevent: An Unsupervised Approach to Predict Software Failures in Production. IEEE Trans. Software Eng. Giovanni Denaro, Rahim Heydarov, Ali Mohebbi, Mauro Pezzè
2022	J	`jnl`	Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution. CoRR Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro
2022	J	`jnl`	PREVENT: An Unsupervised Approach to Predict Software Failures in Production. CoRR Giovanni Denaro, Rahim Heydarov, Ali Mohebbi, Mauro Pezzè
2021	J	`jnl`	A novel method to simulate the 3D chlorophyll distribution in marine oligotrophic waters. Commun. Nonlinear Sci. Numer. Simul. Hassan Awada, Salvatore Aronica, Angelo Bonanno, Gualtiero Basilone, S. W. Zgozi, Giovanni Giacalone, Ignazio Fontana, Simona Genovese, Rosalia Ferreri, Salvatore Mazzola, Bernardo Spagnolo, Davide Valenti, Giovanni Denaro
2021	—	`conf`	Exploiting the Blockchain to Guarantee GDPR Compliance while Consents Evolve under Data Owners' Control. ITASEC Massimiliano Calani, Giovanni Denaro, Alberto Leporati
2021	J	`jnl`	On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned. CoRR Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
2021	J	`jnl`	On introducing automatic test case generation in practice: A success story and lessons learned. J. Syst. Softw. Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
2021	J	`jnl`	Reusing Solutions Modulo Theories. IEEE Trans. Software Eng. Andrea Aquino, Giovanni Denaro, Mauro Pezzè
2021	—	`conf`	Towards Evidence-Based Testability Measurements. ICSE (NIER) Luca Guglielmo, Andrea Riboni, Giovanni Denaro
2021	J	`jnl`	Towards Evidence-based Testability Measurements. CoRR Luca Guglielmo, Andrea Riboni, Giovanni Denaro
2020	J	`jnl`	Facilitating program performance profiling via evolutionary symbolic execution. Softw. Test. Verification Reliab. Andrea Aquino, Pietro Braione, Giovanni Denaro, Pasquale Salza
2020	A*	`conf`	Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data. ASE Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani
2019	—	`conf`	Big-Data Applications as Self-Adaptive Systems of Systems. ISSRE Workshops Luciano Baresi, Giovanni Denaro, Giovanni Quattrocchi
2019	—	`conf`	Design for Testability of ERMTS Applications. ISSRE Workshops Andrea Riboni, Luca Guglielmo, Matteo Orrù, Pietro Braione, Giovanni Denaro
2019	—	`conf`	GUI testing in production: challenges and opportunities. Programming Giovanni Denaro, Luca Guglielmo, Leonardo Mariani, Oliviero Riganelli
2019	J	`jnl`	Revisiting the role of top-down and bottom-up controls in stabilisation of nutrient-rich plankton communities. Commun. Nonlinear Sci. Numer. Simul. Andrew Morozov, Giovanni Denaro, Bernardo Spagnolo, Davide Valenti
2019	—	`conf`	SUSHI and TARDIS at the SBST2019 tool competition. SBST@ICSE Pietro Braione, Giovanni Denaro
2019	—	`conf`	Symbolic execution-driven extraction of the parallel execution plans of Spark applications. ESEC/SIGSOFT FSE Luciano Baresi, Giovanni Denaro, Giovanni Quattrocchi
2018	—	`conf`	SUSHI: a test generator for programs with complex structured inputs. ICSE (Companion Volume) Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè
2018	A	`conf`	Worst-Case Execution Time Testing via Evolutionary Symbolic Execution. ISSRE Andrea Aquino, Giovanni Denaro, Pasquale Salza
2017	A	`conf`	Combining symbolic execution and search-based testing for programs with complex heap inputs. ISSTA Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè
2017	A*	`conf`	Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions. ICSE Andrea Aquino, Giovanni Denaro, Mauro Pezzè
2016	J	`jnl`	Bidirectional Symbolic Analysis for Effective Branch Testing. IEEE Trans. Software Eng. Mauro Baluda, Giovanni Denaro, Mauro Pezzè
2016	—	`conf`	JBSE: a symbolic executor for Java programs with complex heap inputs. SIGSOFT FSE Pietro Braione, Giovanni Denaro, Mauro Pezzè
2015	—	`conf`	Dynamic Data Flow Testing of Object Oriented Systems. ICSE (1) Giovanni Denaro, Alessandro Margara, Mauro Pezzè, Mattia Vivanti
2015	A	`conf`	Reusing constraint proofs in program analysis. ISSTA Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè
2015	—	`ch.`	Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest. Validation of Evolving Software Pietro Braione, Giovanni Denaro, Oliviero Riganelli, Mauro Baluda, Ali Muhammad
2015	—	`conf`	Symbolic execution of programs with heap inputs. ESEC/SIGSOFT FSE Pietro Braione, Giovanni Denaro, Mauro Pezzè
2014	A	`conf`	On the Right Objectives of Data Flow Testing. ICST Giovanni Denaro, Mauro Pezzè, Mattia Vivanti
2014	J	`jnl`	Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component. Softw. Qual. J. Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad
2013	—	`conf`	Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization. ESEC/SIGSOFT FSE Pietro Braione, Giovanni Denaro, Mauro Pezzè
2013	—	`conf`	PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig
2013	—	`conf`	Quantifying the complexity of dataflow testing. AST@ICSE Giovanni Denaro, Mauro Pezzè, Mattia Vivanti
2013	J	`jnl`	Test-and-adapt: An approach for improving service interchangeability. ACM Trans. Softw. Eng. Methodol. Giovanni Denaro, Mauro Pezzè, Davide Tosi
2012	—	`conf`	All-values symbolic execution. AST@ICSE Giovanni Denaro
2012	—	`conf`	An industrial case study of the effectiveness of test generators. AST@ICSE Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mattia Vivanti, Ali Muhammad
2011	J	`jnl`	Enhancing structural software coverage by incrementally computing branch executability. Softw. Qual. J. Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè
2010	—	`conf`	On the Integration of Software Testing and Formal Analysis. LASER Summer School Pietro Braione, Giovanni Denaro, Mauro Pezzè
2010	—	`conf`	Structural coverage of feasible code. AST@ICSE Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè
2009	—	`conf`	DaTeC: Contextual data flow testing of java classes. ICSE Companion Giovanni Denaro, Alessandra Gorla, Mauro Pezzè
2009	—	`conf`	Ensuring interoperable service-oriented systems through engineered self-healing. ESEC/SIGSOFT FSE Giovanni Denaro, Mauro Pezzè, Davide Tosi
2009	—	`conf`	Toward deeply adaptive societies of digital systems. ICSE Companion Antonio Carzaniga, Giovanni Denaro, Mauro Pezzè, Jacky Estublier, Alexander L. Wolf
2009	J	`jnl`	Towards autonomic service-oriented applications. Int. J. Auton. Comput. Davide Tosi, Giovanni Denaro, Mauro Pezzè
2008	B	`conf`	Contextual Integration Testing of Classes. FASE Giovanni Denaro, Alessandra Gorla, Mauro Pezzè
2007	—	`conf`	Automated Software Testing and Analysis: Techniques, Practices and Tools. HICSS Zhiquan Zhou, Bernhard Scholz, Giovanni Denaro
2007	—	`conf`	Designing Self-Adaptive Service-Oriented Applications. ICAC Giovanni Denaro, Mauro Pezzè, Davide Tosi
2007	—	`conf`	SHIWS: A Self-Healing Integrator for Web Services. ICSE Companion Giovanni Denaro, Mauro Pezzè, Davide Tosi
2007	—	`conf`	SOQUA 2007: 4th international workshop on software quality assurance. ESEC/SIGSOFT FSE Giovanni Denaro, Mauro Pezzè, Onn Shehory
2006	—	`conf`	Towards self-adaptive service-oriented architectures. TAV-WEB Giovanni Denaro, Mauro Pezzè, Davide Tosi, Daniela Schilling
2005	C	`conf`	Adaptive Runtime Verification for Autonomic Communication Infrastructures. WOWMOM Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi
2005	J	`jnl`	Adaptive integration of third-party web services. ACM SIGSOFT Softw. Eng. Notes Giovanni Denaro, Mauro Pezzè, Davide Tosi
2004	—	`conf`	Early performance testing of distributed software applications. WOSP Giovanni Denaro, Andrea Polini, Wolfgang Emmerich
2004	—	`conf`	QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. TACoS Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai
2004	—	`conf`	Towards Testing and Analysis of Systems that Use Serialization. TACoS Giovanni Denaro, Leonardo Mariani
2003	—	`conf`	Design for Testability for Highly Reconfigurable Component-Based Systems. TACoS Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè
2003	—	`conf`	Petri Nets and Software Engineering. Lectures on Concurrency and Petri Nets Giovanni Denaro, Mauro Pezzè
2003	—	`conf`	Self-Test Components for Highly Reconfigurable Systems. TACoS Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
2003	J	`jnl`	Towards Industrially Relevant Fault-Proneness Models. Int. J. Softw. Eng. Knowl. Eng. Giovanni Denaro, Mauro Pezzè, Sandro Morasca
2002	A*	`conf`	An empirical evaluation of fault-proneness models. ICSE Giovanni Denaro, Mauro Pezzè
2002	C	`conf`	Assertions to better specify the amazon bug. SEKE Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini
2002	C	`conf`	Deriving models of software fault-proneness. SEKE Giovanni Denaro, Sandro Morasca, Mauro Pezzè
2001	—	`conf`	An Experience on Verification of Aspect Properties. IWPSE Giovanni Denaro, Mattia Monga
2001	—	`conf`	Using symbolic execution for verifying safety-critical systems. ESEC / SIGSOFT FSE Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè
2000	A*	`conf`	Estimating software fault-proneness for tuning testing activities. ICSE Giovanni Denaro