Debug enhancements in assertion-checker generation.

Marc Boule Jean-Samuel Chenard Zeljko Zilic

Published in: IET Comput. Digit. Tech. (2007)

Keyphrases

genetic algorithm
image processing
generation algorithm
neural network
artificial intelligence
information systems
general purpose
generation process
novice programmers