@proceedings {6531,
	title = {Towards a non monotonic agent testing, reasoning about messages and behavior},
	journal = {8th ACS/IEEE International Conference on Computer Systems and Applications AICCSA 2021},
	year = {2021},
	author = {Douha, Djamel and Mokhtari, Aicha and Guessoum, Zahia}
}
