Systematic API Testing Through Model Checking and Executable Contracts
Published in 2026 IEEE International Conference on Software Testing, Verification and Validation (ICST) • May 18, 2026
Authors:,,
Ana Catarina Ribeiro
Margarida Mamede
Carla Ferreira
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!