Test oracles associated with dynamical systems models Paulo Augusto Nardi M´ arcio Eduardo Delamaro