Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection
Nusmv 2: An opensource tool for symbolic model checking