SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution
['Rong Wang', 'Shaoying Liu', 'Yuji Sato']
/
IEEE Transactions on Reliability
/ Vol. 70
/ No. 3
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？