The paper also analyzes the trends in this field. Keyword: Constraint based testing. Dynamic symbolic execution. Mutation testing. Search-based test data.
確定! 回上一頁