SolTG: A CHC-Based Solidity Test Case Generator

Additional information

Authors

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

Type

Article in conference proceedings

Year

2024

Language

English

Meeting name

CAV

Meeting place

Montreal, QC, Canada

Meeting date

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
Other contacts
Feedback on the website