Guarded Command Language Compiler, Intepreter and Program Analysis It was developed as part of the 02141 Computer Science Modelling course at the Technical University of Denmark with Jacopo Ceccuti.
A professional API testing framework built to validate the Restful Booker Hotel Booking System using both manual and automated testing approaches. This project demonstrates real-world API testing ...