Pietro Braione's publications


Sort by: [Research category] [year]

Years: [2014] [2013] [2012] [2011] [2010] [2008]

2014

Pietro Braione and Giovanni Denaro Andrea Mattavelli and Mattia Vivanti and Ali Muhammad. Software testing with code-based test generators: and lessons learned from a case study with an industrial software component. Software Quality Journal, 2014, pp. 311--333,

[ BIBTEX ]

2013

Pietro Braione and Giovanni Denaro and Mauro Pezzè. Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization. Proceedings of the $9^th$ Joint Meeting of the European Software Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013), 2013, pp. 411--421,

[ BIBTEX ]

2012

Pietro Braione and Giovanni Denaro and Mauro Pezzè. On the Integration of Software Testing and Formal Analysis. Springer Berlin / Heidelberg, Empirical Software Engineering and Verification, 2012, pp. 158-193,

[ BIBTEX ]

Pietro Braione and Giovanni Denaro and Andrea Mattavelli and Mattia Vivanti and Ali Muhammad. An Industrial Case Study of the Effectiveness of Test Generators. Proceedings of the 7th Workshop on Automation of Software Test (AST 2012), 2012, pp. 50-56,

[ BIBTEX ]

2011

Mauro Baluda and Pietro Braione and Giovanni Denaro and Mauro Pezzè. Enhancing Structural Software Coverage by Incrementally Computing Branch Executability. Software Quality Journal, 2011, pp. 725--751,

[ BIBTEX ]

2010

Mauro Baluda and Pietro Braione and Giovanni Denaro and Mauro Pezzè. Structural Coverage of Feasible Code. Proceedings of 5th Workshop on Automation of Software Testing (AST 2010), 2010, pp. 59--66,

[ BIBTEX ]

2008

Braione P and Denaro G. and Krena B and Pezzè M. Verifying LTL Properties of Bytecode with Symbolic Execution. Proceedings of the 2nd Workshop on Bytecode Semantics Verification Analysis and Transformation (Bytecode 2008) Budapest Hungary April 2008, 2008

[ BIBTEX ]