@inproceedings{Ribeiro26,
  author={Ribeiro, Ana Catarina and Mamede, Margarida and Ferreira, Carla},
  booktitle={2026 IEEE International Conference on Software Testing, Verification and Validation (ICST)}, 
  title={Systematic API Testing Through Model Checking and Executable Contracts}, 
  year={2026},
  volume={},
  number={},
  pages={405-416},
  keywords={Modeling;Testing;Application programming interfaces;Contracts;Sequences;Sequential analysis;Algorithms;Printing;Codes;Glaciers;Index Terms-model checking;black-box testing;API testing;automated testing;TLA+;TLC;OAS;REST;RESTful API},
  doi={10.1109/ICST69053.2026.00060}}