Giovanni Denaro
University of Milano-Bicocca(IT)
Publications by Year
Research Areas
Software Reliability and Analysis Research, Software Testing and Debugging Techniques, Software Engineering Research, Software System Performance and Reliability, Advanced Software Engineering Methodologies
Most-Cited Works
- → Early performance testing of distributed software applications(2004)133 cited
- → An empirical evaluation of fault-proneness models(2002)128 cited
- → Using symbolic execution for verifying safety-critical systems(2001)99 cited
- → Combining symbolic execution and search-based testing for programs with complex heap inputs(2017)60 cited
- → Deriving models of software fault-proneness(2002)52 cited
- → Estimating software fault-proneness for tuning testing activities(2000)42 cited
- → JBSE: a symbolic executor for Java programs with complex heap inputs(2016)36 cited
- → Towards self-adaptive service-oriented architectures(2006)35 cited