Search Results - "Denaro, Giovanni"

GUI Testing to the Power of Parallel Q-Learning.

Authors: Mobilio, Marco Clerissi, Diego Denaro, Giovanni et al.

Source: ICSE: International Conference on Software Engineering; 2023, p55-59, 5p

Regime-aware unsupervised monitoring of microalgal photobioreactors via change-point detection and ensemble anomaly scoring.

Authors: Cosenza, Bartolomeo Kusianovich, Alexander Lutzu, Giovanni Antonio et al.

Source: Computers & Chemical Engineering; Jul2026, Vol. 210, pN.PAG-N.PAG, 1p

HR3DHG version 1: modeling the spatiotemporal dynamics of mercury in the Augusta Bay (southern Italy).

Authors: Denaro, Giovanni Salvagio Manta, Daniela Borri, Alessandro et al.

Source: Geoscientific Model Development. 2020, Vol. 13 Issue 4, p2073-2093. 21p.

SUSHI.

Authors: Braione, Pietro Denaro, Giovanni Mattavelli, Andrea et al.

Source: ICSE: International Conference on Software Engineering; 5/27/2018, p21-24, 4p

Facilitating program performance profiling via evolutionary symbolic execution.

Authors: Aquino, Andrea Braione, Pietro Denaro, Giovanni et al.

Source: Software Testing: Verification & Reliability; Mar2020, Vol. 30 Issue 2, pN.PAG-N.PAG, 1p

How Diffusivity, Thermocline and Incident Light Intensity Modulate the Dynamics of Deep Chlorophyll Maximum in Tyrrhenian Sea.

Authors: Valenti, Davide Denaro, Giovanni Spagnolo, Bernardo et al.

Source: PLoS ONE. Jan2015, Vol. 10 Issue 1, p1-31. 31p.

Author index.

Source: ICSE: International Conference on Software Engineering; May2009, p489-490, 2p

Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component.

Authors: Braione, Pietro Denaro, Giovanni Mattavelli, Andrea et al.

Source: Software Quality Journal; Jun2014, Vol. 22 Issue 2, p311-333, 23p

Test-and-Adapt: An Approach for Improving Service Interchangeability.

Authors: DENARO, GIOVANNI PEZZÈ, MAURO TOSI, DAVIDE

Source: ACM Transactions on Software Engineering & Methodology; Oct2013, Vol. 22 Issue 4, p28:1-28:43, 43p

Enhancing structural software coverage by incrementally computing branch executability.

Authors: Baluda, Mauro Braione, Pietro Denaro, Giovanni et al.

Source: Software Quality Journal; Dec2011, Vol. 19 Issue 4, p725-751, 27p

Automatically generating test cases for safety-critical software via symbolic execution.

Authors: Kurian, Elson Briola, Daniela Braione, Pietro et al.

Source: Journal of Systems & Software; May2023, Vol. 199, pN.PAG-N.PAG, 1p

On introducing automatic test case generation in practice: A success story and lessons learned.

Authors: Brunetto, Matteo Denaro, Giovanni Mariani, Leonardo et al.

Source: Journal of Systems & Software; Jun2021, Vol. 176, pN.PAG-N.PAG, 1p

Robotic monitoring of European habitats: a labeled dataset for plant detection in Annex I habitats of Italy.

Authors: Di Lorenzo G Angelini F Pierallini M et al.

Source: Scientific data [Sci Data] 2025 May 20; Vol. 12 (1), pp. 822. Date of Electronic Publication: 2025 May 20.

Publication Type: Journal Article; Dataset

Journal Info: Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101640192 Publication Model: Electronic Cited Medium: Internet ISSN: 2052-4463 (Electronic) Linking ISSN: 20524463 NLM ISO Abbreviation: Sci Data Subsets: MEDLINE