Pietro Braione

Orcid: 0000-0001-9307-6781

According to our database1, Pietro Braione authored at least 25 papers between 2002 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Path-optimal symbolic execution of heap-manipulating programs.
CoRR, 2024

2023
Automatically generating test cases for safety-critical software via symbolic execution.
J. Syst. Softw., May, 2023

Automated Test Case Generation for Safety-Critical Software in Scade.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

2022
About the special issue on: "Distributed Complex Systems: Governance, Engineering, and Maintenance".
J. Softw. Evol. Process., 2022

A Survey of Field-based Testing Techniques.
ACM Comput. Surv., 2022

2020
Facilitating program performance profiling via evolutionary symbolic execution.
Softw. Test. Verification Reliab., 2020

2019
Design for Testability of ERMTS Applications.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

SUSHI and TARDIS at the SBST2019 tool competition.
Proceedings of the 12th International Workshop on Search-Based Software Testing, 2019

2018
SUSHI: a test generator for programs with complex structured inputs.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
Combining symbolic execution and search-based testing for programs with complex heap inputs.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016
JBSE: a symbolic executor for Java programs with complex heap inputs.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015
Symbolic execution of programs with heap inputs.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

A Context-Aware Style of Software Design.
Proceedings of the 2nd IEEE/ACM International Workshop on Context for Software Development, 2015

Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest.
Proceedings of the Validation of Evolving Software, 2015

2014
Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component.
Softw. Qual. J., 2014

2013
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012
Automatic detection of bad smells in code: An experimental assessment.
J. Object Technol., 2012

An industrial case study of the effectiveness of test generators.
Proceedings of the 7th International Workshop on Automation of Software Test, 2012

2011
Enhancing structural software coverage by incrementally computing branch executability.
Softw. Qual. J., 2011

2010
On the Integration of Software Testing and Formal Analysis.
Proceedings of the Empirical Software Engineering and Verification, 2010

Structural coverage of feasible code.
Proceedings of the 5th Workshop on Automation of Software Test, 2010

2006
Classification methods and inductive learning rules: what we may learn from theory.
IEEE Trans. Syst. Man Cybern. Syst., 2006

2004
On calculi for context-aware systems.
PhD thesis, 2004

On Calculi for Context-Aware Coordination.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2002
A Semantical and Implementative Comparison of File Sharing Peer-to-Peer Applications.
Proceedings of the 2nd International Conference on Peer-to-Peer Computing (P2P 2002), 2002


  Loading...