SolTG: A CHC-Based Solidity Test Case Generator

Informazioni aggiuntive

Autori

Sharygina N., Britikov K., Zlatkin I., Fedyukovich G., Alt L.

Tipo

Contributo in atti di convegno

Anno

2024

Lingua

Inglese

Nome convegno

CAV

Luogo convegno

Montreal, QC, Canada

Data convegno

July 24-27, 2024

DOI

10.1007/978-3-031-65627-9_23

Università della
Svizzera italiana
Via Buffi 13
6900 Lugano, Svizzera
tel +41 58 666 40 00
e-mail info@usi.ch
Altri contatti
Feedback sul sito