Automated Specification-Based Testing of REST APIs. - Ovidiu Banias; Diana Florea; Robert Gyalai; Daniel-Ioan Curiac (Sensors, 2021)