We describe an ongoing effort to design and implement a computerized cataloguing system for a laboratory dedicated to the resto- ration and archiving of non-theatrical cinema and video art. The goal is to evolve the current information system taking …
Abstract. Search-based testing is widely used to find bugs in models of complex Cyber-Physical Systems. Latest research efforts have improved this approach by casting it as a falsification procedure of formally spec- ified temporal properties, …