ReMuSSE: A Redundant Mutant Identification Technique Based on Selective Symbolic Execution
['Chang-ai Sun', 'An Fu', 'Xinling Guo', 'Tsong Yueh Chen']
/
IEEE Transactions on Reliability
/ Vol. 71
/ No. 1
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？