An Automata-Based Approach to Property Testing in Event Traces