Concepedia

Pietro Braione

PB

Statistics

Publications

12

Citations

505

H-Index

12

Active since

2002

Affiliations

University of Milano-Bicocca(Current)

Università della Svizzera italiana

University of Milan

Imperial College London

Politecnico di Milano

Pietro Braione is an author at University of Milano-Bicocca specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringFormal MethodsSoftware DesignComputer EngineeringFormal Verification

Publications per year

2002–2023

12

Publications

12

Automatic detection of bad smells in code: An experimental assessment.

Francesca Arcelli Fontana, Pietro Braione, Marco Zanoni · The Journal of Object Technology · 2012 · 200 citations · Full text

Combining symbolic execution and search-based testing for programs with complex heap inputs

Pietro Braione, Giovanni Denaro, Andrea Mattavelli et al. · 2017 · 60 citations

Path Conditions, Program Checking, Engineering +23

JBSE: a symbolic executor for Java programs with complex heap inputs

Pietro Braione, Giovanni Denaro, Mauro Pezzè · 2016 · 36 citations

Engineering, Software Engineering, Software Analysis +21

Symbolic execution of programs with heap inputs

Pietro Braione, Giovanni Denaro, Mauro Pezzè · 2015 · 31 citations

Engineering, Verification, Test Data Generation +22

Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization

Pietro Braione, Giovanni Denaro, Mauro Pezzè · 2013 · 28 citations

Program Checking, Engineering, Verification +22

1–5 of 12