Login / Signup

An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs.

Chang-Ai SunHepeng DaiNing GengHuai LiuTsong Yueh ChenPeng WuYan CaiJinqiu Wang
Published in: ACM Trans. Softw. Eng. Methodol. (2024)
Keyphrases
  • concurrent programs
  • concurrent programming
  • web applications
  • process algebra
  • concurrent processes
  • case study
  • general purpose
  • database
  • programming language