Automated Test Generation and Mutation Testing for Alloy.

Allison Sullivan Kaiyuan Wang Razieh Nokhbeh Zaeem Sarfraz Khurshid

Published in: ICST (2017)

Keyphrases

test generation
mutation testing
test sequences
test cases
symbolic execution
static analysis
design automation
test suite
quality assurance
high quality
hidden markov models
software testing
test data generation
integration testing
code coverage