Towards a non monotonic agent testing - Douha, Djamel; Mokhtari, Aicha; Guessoum, Zahia; Mandiau, René (2021 IEEE/ACS 18th International Conference on Computer Systems and Applications (AICCSA), 2021)