Sign in

Diversity driven adaptive test generation for concurrent data structures.

Linhai MaPeng WuTsong Yueh Chen
Published in: Inf. Softw. Technol. (2018)
Keyphrases
  • test generation
  • data structure
  • test cases
  • data driven
  • symbolic execution
  • design automation
  • test sequences
  • static analysis
  • high quality
  • cooperative
  • software testing