ASE 2023
Mon 11 - Fri 15 September 2023 Kirchberg, Luxembourg
Mon 11 Sep 2023 11:00 - 11:30 at Room A - Presentations 1

Smart contracts hold the potential for revolutionizing various industries, but their implementation requires thorough testing due to the associated financial risks. Mutation testing is a powerful technique that can boost the fault-detection capabilities of a test suite, but it can also foster a deeper understanding of the smart contract behavior. This work proposes the usage of mutation testing throughout the smart contract auditing process to support code inspection activities.

Mon 11 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
Presentations 1Doctoral Forum at Room A
10:30
30m
Talk
Early Detection of Defects in Machine Learning Programs by Semi-Static Analysis
Doctoral Forum
Yiran Wang Linköping University
11:00
30m
Talk
Mutation Testing for supporting Smart Contract code inspection
Doctoral Forum
Morena Barboni University of Camerino
11:30
30m
Talk
Failure-based Testing: A Testing Paradigm in the Era of Large Language Models
Doctoral Forum
Li Tsz On The Hong Kong University of Science and Technology