Login / Signup

An empirical study on constraint optimization techniques for test generation.

Zhiyi ZhangZhenyu ChenRuizhi GaoW. Eric WongBaowen Xu
Published in: Sci. China Inf. Sci. (2017)
Keyphrases
  • test generation
  • test cases
  • symbolic execution
  • test sequences
  • design automation
  • static analysis
  • quality assurance
  • mutation testing
  • software testing
  • information systems
  • optimization problems
  • multi agent systems