Sign in

MCDC-Star: A White-Box Based Automated Test Generation for High MC/DC Coverage.

Linghuan HuW. Eric WongD. Richard KuhnRaghu Kacker
Published in: DSA (2018)
Keyphrases
  • test generation
  • white box
  • test cases
  • black box
  • code coverage
  • test suite
  • symbolic execution
  • test sequences
  • source code
  • static analysis
  • design automation
  • test data
  • regression testing
  • quality assurance