Runtime Verification is a software testing technique based on extracting and analyzing information from a system while it is running. The objective is to use this information to find faults or problems in the system under test. To achieve this, it is necessary that the insertion of testing logic does not modify the code being tested and that it does not affect the performance of the system. In this article, we present a runtime testing framework for JavaScript, which utilizes Aspect-Oriented Programming and regular expressions. This framework encapsulates the idea of Message Sequence Specification applied to Runtime Verification. Our work is freely available and open source.

Normative concepts can play a crucial role in modelling the behaviour and interaction of artificial agents. Investigations are still relatively underdeveloped in robotics while interesting ideas come from related fields, such as multi-agent systems (MAS).

This paper presents a belief revision operator for legal systems that considers time intervals. This model relates techniques about belief revision formalisms and time intervals with temporalised rules for legal systems. Our goal is to formalise a temporalised belief base and corresponding timed derivation, together with a proper revision operator. This operator may remove rules when needed or adapt intervals of time when contradictory norms are added in the system.