User-driven Design and Evaluation of Liquid Types in Java

Catarina Gamboa, Paulo Alexandre Santos, Christopher S. Timperley +1

Bugs that are detected earlier during the development lifecycle are easier and cheaper to fix, whereas bugs that are found during production are difficult and expensive to address,…