Language-Based Techniques and Stochastic Models for Automated Testing - Mista, Claudio Agustin (Octopi: Säker Programering för Sakernas Internet WebSec: Säkerhet i webb-drivna system, 2023)