Travelled to:1 × Austria
1 × Hungary
1 × Ireland
1 × Russia
1 × The Netherlands
3 × USA
4 × Italy
Collaborated with:M.Pezzè P.Braione M.Vivanti L.Baresi ∅ D.Tosi A.Gorla S.Morasca G.Quattrocchi A.Margara L.Mainetti P.Paolini A.Coen-Porisini C.Ghezzi A.Aquino F.A.Bianchi M.Chen H.Chockler M.Ling G.Fedyukovich A.E.J.Hyvärinen L.Mariani A.Muhammad M.Oriol A.Rajan O.Sery N.Sharygina M.Tautschnig
Talks about:symbol (5) execut (5) test (4) softwar (3) program (3) system (3) prone (3) fault (3) orient (2) object (2)
♂ Person: Giovanni Denaro
DBLP: Denaro:Giovanni
Facilitated 2 volumes:
PrCoPrCoContributed to:
2015
2015
2015
2014
201320132009
20082002
200220012000
20162019Wrote 15 papers:
- ESEC-FSE-2015-BraioneDP #execution #source code #symbolic computation
- Symbolic execution of programs with heap inputs (PB, GD, MP), pp. 602–613.
- ICSE-v1-2015-DenaroMPV #data flow #object-oriented #testing
- Dynamic Data Flow Testing of Object Oriented Systems (GD, AM, MP, MV), pp. 947–958.
- ISSTA-2015-AquinoBCDP #constraints #program analysis #proving #reuse
- Reusing constraint proofs in program analysis (AA, FAB, MC, GD, MP), pp. 305–315.
- ICST-2014-DenaroPV #data flow #on the #testing
- On the Right Objectives of Data Flow Testing (GD, MP, MV), pp. 71–80.
- CSMR-2013-ChocklerDLFHMMORSST #named #validation
- PINCETTE — Validating Changes and Upgrades in Networked Software (HC, GD, ML, GF, AEJH, LM, AM, MO, AR, OS, NS, MT), pp. 461–464.
- ESEC-FSE-2013-BraioneDP #execution #lazy evaluation #symbolic computation #term rewriting
- Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization (PB, GD, MP), pp. 411–421.
- ESEC-FSE-2009-DenaroPT #self
- Ensuring interoperable service-oriented systems through engineered self-healing (GD, MP, DT), pp. 253–262.
- FASE-2008-DenaroGP #integration #testing
- Contextual Integration Testing of Classes (GD, AG, MP), pp. 246–260.
- ICSE-2002-DenaroP #empirical #evaluation #modelling
- An empirical evaluation of fault-proneness models (GD, MP), pp. 241–251.
- SEKE-2002-BaresiDMP #debugging
- Assertions to better specify the amazon bug (LB, GD, LM, PP), pp. 585–592.
- SEKE-2002-DenaroMP #modelling
- Deriving models of software fault-proneness (GD, SM, MP), pp. 361–368.
- ESEC-FSE-2001-Coen-PorisiniDGP #execution #safety #symbolic computation #using #verification
- Using symbolic execution for verifying safety-critical systems (ACP, GD, CG, MP), pp. 142–151.
- ICSE-2000-Denaro #process #testing
- Estimating software fault-proneness for tuning testing activities (GD), pp. 704–706.
- FSE-2016-BraioneDP #java #named #source code
- JBSE: a symbolic executor for Java programs with complex heap inputs (PB, GD, MP), pp. 1018–1022.
- ESEC-FSE-2019-BaresiDQ #execution #parallel #symbolic computation
- Symbolic execution-driven extraction of the parallel execution plans of Spark applications (LB, GD, GQ), pp. 246–256.