@InProceedings{braione18:sushi,
author = {Pietro Braione and Giovanni Denaro and Andrea Mattavelli and Mauro Pezz\`{e}},
title = {{SUSHI}: A Test Generator for Programs with Complex Structured Inputs},
booktitle = {Companion Proceedings of $40^{th}$ International Conference on Software
Engineering (ICSE 2018)},
isbn = {978-1-4503-5663-3},
location = {Gothenburg, Sweden},
pages = {21--24},
year = 2018,
doi = {10.1145/3183440.3183472}
}
@InProceedings{braione17:combining,
author = {Pietro Braione and Giovanni Denaro and Andrea Mattavelli and Mauro Pezz\`{e}},
title = {Combining Symbolic Execution and Search-Based Testing for Programs
with Complex Heap Inputs},
booktitle = {Proceedings of the 2017 International Symposium on Software Testing
and Analysis (ISSTA 2017)},
isbn = {978-1-4503-5076-1},
location = {Santa Barbara, CA, USA},
pages = {90--101},
year = 2017,
doi = {10.1145/3092703.3092715}
}
@InProceedings{braione16:jbse,
author = {Pietro Braione and Giovanni Denaro and Mauro Pezz\`{e}},
title = {{JBSE}: a symbolic executor for {J}ava programs with complex heap inputs},
booktitle = {Proceedings of the 2016 ACM SIGSOFT Symposium on the
Foundations of Software Engineering (FSE 2016)},
isbn = {978-1-4503-4218-6},
location = {Seattle, WA, USA},
pages = {1018--1022},
year = 2016,
doi = {10.1145/2950290.2983940}
}
@InProceedings{braione15:symbolic,
author = {Pietro Braione and Giovanni Denaro and Mauro Pezz\`{e}},
title = {Symbolic Execution of Programs with Heap Inputs},
booktitle = {Proceedings of the $10^{th}$ Joint Meeting of the European Software
Engineering Conference and the ACM SIGSOFT Symposium on the
Foundations of Software Engineering (ESEC/FSE 2015)},
isbn = {978-1-4503-3675-8},
location = {Bergamo, Italy},
pages = {602--613},
year = 2015,
doi = {10.1145/2786805.2786842}
}
@InCollection{braione15:static,
author = {Pietro Braione and Giovanni Denaro and Oliviero
Riganelli and Mauro Baluda and Ali Muhammad},
title = {Static/Dynamic Test Case Generation For Software
Upgrades via {ARC-B} and {Deltatest}},
booktitle = {Validation of Evolving Software},
pages = {147--184},
editor = {Hana Chockler and Daniel Kroening and Leonardo Mariani
and Natasha Sharygina},
publisher = {Springer International Publishing},
isbn = {978-3-319-10622-9},
doi = {10.1007/978-3-319-10623-6_11},
year = 2015
}
@InProceedings{arcelli15:context,
author = {Francesca Arcelli Fontana and Pietro Braione
and Riccardo Roveda and Marco Zanoni},
title = {A Context-Aware Style of Software Design},
booktitle = {Proceedings of the $2^{nd}$ International
Workshop on Context for Software Development
(CSD 2015)},
isbn = {978-1-4673-7037-0},
location = {Florence, Italy},
pages = {15--19},
year = 2015,
doi = {10.1109/CSD.2015.11},
}
@Article{braione14:software,
author = {Pietro Braione and Giovanni Denaro
and Andrea Mattavelli and Mattia Vivanti
and Ali Muhammad},
title = {Software testing with code-based test generators:
data and lessons learned from a case study with
an industrial software component},
journal = {Software Quality Journal},
volume = 22,
number = 2,
pages = {311--333},
month = jun,
year = 2014
}
@InProceedings{braione13:enhancing,
author = {Pietro Braione and Giovanni Denaro and Mauro Pezz\`{e}},
title = {Enhancing Symbolic Execution with Built-In Term Rewriting
and Constrained Lazy Initialization},
booktitle = {Proceedings of the $9^{th}$ Joint Meeting of the European Software
Engineering Conference and the ACM SIGSOFT Symposium on the
Foundations of Software Engineering (ESEC/FSE 2013)},
isbn = {978-1-4503-2237-9},
location = {Saint Petersburg, Russia},
pages = {411--421},
year = 2013,
doi = {10.1145/2491411.2491433}
}
@Article{arcelli12:automatic,
author = {Francesca Arcelli Fontana and Pietro Braione and Marco Zanoni},
title = {Automatic detection of bad smells in code: An experimental assessment},
journal = {Journal of Object Technology},
volume = 11,
number = 2,
pages = {5:1--38},
month = aug,
year = 2012,
issn = {1660-1769},
doi = {10.5381/jot.2012.11.2.a5}
}
@InProceedings{arcelli12:eclipse,
author = {Francesca Arcelli Fontana and Pietro Braione and Riccardo Roveda
and Marco Zanoni},
title = {An {E}clipse Plug-in for Code Smell Detection},
booktitle = {Proceedings of the $7^{th}$ Workshop of the Italian Eclipse Community
(Eclipse-IT 2012)},
month = sep,
year = 2012,
isbn = {978-88-904388-3-7}
}
@InProceedings{braione12:industrial,
author = {Pietro Braione and Giovanni Denaro and Andrea Mattavelli
and Mattia Vivanti and Ali Muhammad},
title = {An Industrial Case Study of the Effectiveness of Test Generators},
booktitle = {Proceedings of the $7^{th}$ Workshop on Automation of Software Test
(AST 2012)},
isbn = {978-1-4673-1822-8},
location = {Z\"urich, Switzerland},
pages = {50--56},
year = 2012,
doi = {10.1109/IWAST.2012.6228990}
}
@InCollection{braione12:integration,
author = {Pietro Braione and Giovanni Denaro and Mauro Pezz\`{e}},
title = {On the Integration of Software Testing and Formal Analysis},
booktitle = {Empirical Software Engineering and Verification},
series = {Lecture Notes in Computer Science},
pages = {158--193},
volume = {7007},
editor = {Bertrand Meyer and Martin Nordio},
publisher = {Springer Berlin / Heidelberg},
isbn = {978-3-642-25230-3},
doi = {10.1007/978-3-642-25231-0_4},
year = 2012
}
@Article{baluda11:enhancing,
author = {Mauro Baluda and Pietro Braione and Giovanni Denaro
and Mauro Pezz\`{e}},
title = {Enhancing Structural Software Coverage by Incrementally
Computing Branch Executability},
journal = {Software Quality Journal},
volume = 19,
number = 4,
pages = {725--751},
month = dec,
year = 2011
}
@InProceedings{baluda10:structural,
author = {Mauro Baluda and Pietro Braione and Giovanni Denaro
and Mauro Pezz\`{e}},
title = {Structural Coverage of Feasible Code},
booktitle = {Proceedings of the $5^{th}$ Workshop on Automation of Software Test
(AST 2010)},
isbn = {978-1-60558-970-1},
location = {Cape Town, South Africa},
pages = {59--66},
doi = {10.1145/1808266.1808275},
acmid = {1808275},
publisher = {ACM},
address = {New York, NY, USA},
year = 2010
}
@InProceedings{braione08:verifying,
author = {Pietro Braione and Giovanni Denaro and Bohuslav K\v{r}ena
and Mauro Pezz\`{e}},
title = {Verifying {LTL} Properties of Bytecode with Symbolic Execution},
booktitle = {Proceedings of the $3^{rd}$ Workshop on Bytecode Semantics,
Verification, Analysis and Transformation (BYTECODE 2008)},
year = 2008
}
@Article{alippi06:classification,
author = {Cesare Alippi and Pietro Braione},
title = {Classification Methods and Inductive Learning Rules:
What We May Learn from Theory},
journal = {IEEE Transactions on Systems, Man and Cybernetics},
volume = 36,
number = 5,
pages = {649--655},
month = oct,
year = 2006
}
@InProceedings{alippi04:classification,
author = {Cesare Alippi and Pietro Braione},
title = {Classification Methods, Reduced Datasets and Quality
Analysis Applications},
booktitle = {Proceedings of the IEEE International Conference on
Computational Intelligence for Measurement Systems
and Applications (CIMSA 2004)},
year = 2004
}
@PhdThesis{braione04:calculi2,
author = {Pietro Braione},
title = {On Calculi for Context-Aware Systems},
school = {Dipartimento di Elettronica e Informazione,
Politecnico di Milano},
address = {P.zza Leonardo da Vinci 32, 20133 Milano, Italy},
month = apr,
year = 2004
}
@InProceedings{braione04:calculi,
author = {Pietro Braione and Gian Pietro Picco},
title = {On Calculi for Context-Aware Coordination},
booktitle = {Proceedings of the $6^{th}$ International Conference on
Coordination Models and Languages (COORDINATION 2004)},
pages = {38--54},
editor = {Rocco De Nicola and Gianluigi Ferrari and Greg Meredith},
volume = 2949,
series = {Lecture Notes in Computer Science},
publisher = {Springer Berlin / Heidelberg},
isbn = {978-3-540-21044-3},
doi = {10.1007/978-3-540-24634-3_6},
year = 2004
}
@InProceedings{braione02:semantical,
author = {Pietro Braione},
title = {A Semantical and Implementative Comparison of File
Sharing Peer-to-peer Applications},
booktitle = {Proceedings of the $2^{nd}$ International Conference
on Peer-to-Peer Computing},
pages = {165--166},
editor = {Ross Lee Graham and Nahid Shahmeri},
location = {Link\"oping, Sweden},
organization = {IEEE Computer Society},
publisher = {IEEE Press},
month = sep,
year = 2002
}
@TechReport{braione02:statistical,
author = {Pietro Braione},
title = {Statistical Properties for Multiparadigm Pattern
Recognition},
institution = {Dipartimento di Elettronica e Informazione,
Politecnico di Milano},
number = {2002.34},
address = {P.zza Leonardo da Vinci 32, 20133 Milano, Italy},
month = sep,
year = 2002
}
@InProceedings{alippi01:methodological,
author = {Cesare Alippi and Pietro Braione and Vincenzo Piuri
and Fabio Scotti},
title = {A Methodological Approach to Multisensor
Classification for Innovative Laser Material
Processing Units},
booktitle = {Proceedings of the $18^{th}$ Instrumentation and
Measurement Technology Conference (IMTC)},
pages = {1762--1767},
volume = 3,
month = may,
year = 2001
}