中文

Chang-ai Sun, An Fu, Xinling Guo, T. Y. Chen. ReMuSSE: A Redudant Mutant Idenification Technique based on Selective Symbolic Execution. IEEE Transactions on Reliability, 2022, 71(1): 415-428. (CCF B, 中科院2区)

Hits:

  • PostalAddress:

  • Email:

Copyright ©  2022 USTB All Rights Reserved. Tel:010-62332299 Click:
  MOBILE Version

The Latest Update Time:..