Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study.

Omer Nguena-Timo Guillaume Langelier

Published in: Electron. Notes Theor. Comput. Sci. (2016)

Keyphrases

test data generation
simulated annealing algorithm
test cases
symbolic execution
search based testing
test case generation
case study
software testing
fitness function
generation algorithm
genetic algorithm
search algorithm
evolutionary algorithm
test generation
multi agent
high level
information systems