Title: A contribution to the generation of tests for digital circuits described by their behavior