Lightweight precise automatic extraction of exception preconditions in java methods
Martedì 2 gennaio 2024
circa 1 minuti di lettura
Journal and Affiliations:
Empirical Software Engineering, =2024
Diego Marcilio, Istituto del Software, USI, Lugano
Carlo A. Furia, Istituto del Software, USI, Lugano
Tags:
Java
Java exceptions
preconditions
Authors:
Carlo A. Furia
Diego Marcilio