Towards a non monotonic agent testing, reasoning about messages and behavior - Douha, Djamel; Mokhtari, Aicha; Guessoum, Zahia (8th ACS/IEEE International Conference on Computer Systems and Applications AICCSA 2021, 2021)