Cao, ClintonClintonCaoSchneider, SimonSimonSchneiderDíaz Ferreyra, NicolásNicolásDíaz FerreyraVerwer, SiccoSiccoVerwerPanichella, AnnibaleAnnibalePanichellaScandariato, RiccardoRiccardoScandariato2024-06-192024-06-1920242024 IEEE/ACM 46th International Conference on Software Engineering, ICSE 2024979-8-4007-0502-1https://hdl.handle.net/11420/47890The microservice architecture allows developers to divide the core functionality of their software system into multiple smaller services. However, this architectural style also makes it harder for them to debug and assess whether the system's deployment conforms to its implementation. We present CATMA, an automated tool that detects non-conformances between the system's deployment and implementation. It automatically visualizes and generates potential interpretations for the detected discrepancies. Our evaluation of CATMA shows promising results in terms of performance and providing useful insights. CATMA is available at https://cyberanalytics. nl/catma.github.io/, and a demonstration video is available at https://youtu.be/WKP1hG-TDKc.enhttps://creativecommons.org/licenses/by/4.0/dynamic analysisempirical software engineeringmicroservicessoftware testingstatic analysisComputer Science, Information and General Works::004: Computer SciencesConference Paper10.15480/882.1306710.1145/3639478.364002210.15480/882.13067Conference Paper