@conference {62655,
	title = {Towards a non monotonic agent testing, reasoning about messages and behavior},
	booktitle = {8th ACS/IEEE International Conference on Computer Systems and Applications AICCSA 2021},
	year = {2021},
	month = {2021},
	url = {https://hal.archives-ouvertes.fr/hal-03381954/},
	author = {Douha, Djamel and Mokhtari, Aicha and Guessoum, Zahia}
}
