Tool-Supported Advanced Mutation Approach for Verification of C# Programs.

Anna Derezinska Anna Szustek

Published in: DepCoS-RELCOMEX (2008)

Keyphrases

genetic algorithm
evolutionary algorithm
differential evolution
automatic programming
database
multi objective
software tools
formal verification
verification method
information technology
web intelligence
symbolic execution