Tutorial I: Efficient symbolic execution for software testing.

Johannes Kinder

Published in: MEMOCODE (2014)

Keyphrases

software testing
test data generation
symbolic execution
test generation
test cases
software development
software engineering
simulated annealing algorithm
software reliability
software systems
quality assurance
integration testing
neural network
genetic algorithm
feature space
genetic programming