BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Denaro:Giovanni

Facilitated 2 volumes:

ASE 2012PrCo
ASE 2011PrCo

Contributed to:

ESEC/FSE 20152015
ICSE 20152015
ISSTA 20152015
ICST 20142014
CSMR 20132013
ESEC/FSE 20132013
ESEC/FSE 20092009
FASE 20082008
ICSE 20022002
SEKE 20022002
ESEC/FSE 20012001
ICSE 20002000
FSE 20162016
ESEC/FSE 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.