Pietro Braione - Publications, H-index & Citations

Pietro Braione

university of milano-bicocca

14H指数

34论文数

597被引数

收录论文 2

发表时间

Automatically generating test cases for safety-critical software via symbolic execution 通过符号执行自动生成安全关键软件的测试用例

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2023-05-01

OAAI

Kurian, Elson; Briola, Daniela; Braione, Pietro; Denaro, Giovanni

A Survey of Field-based Testing Techniques 基于现场的测试技术综述

ACM COMPUTING SURVEYS

IF28

2021-05-25

OAAI

Bertolino, Antonia; Braione, Pietro; De Angelis, Guglielmo; Gazzola, Luca; Kifetew, Fitsum; Mariani, Leonardo; Orru, Matteo; Pezze, Mauro; Pietrantuono, Roberto; Russo, Stefano; Tonella, Paolo

研究方向