SqSelect: Automatic assessment of Failed Error Propagation in state-based systems

作者：

Highlights：

• Automatic assessment of the likelihood of Failed Error Propagation.

• Recommendation of optimal parameters to improve testing.

• Freely available tool fully supporting the theoretical framework.

• Evaluation of the tool and framework over representative case studies.

摘要

•Automatic assessment of the likelihood of Failed Error Propagation.•Recommendation of optimal parameters to improve testing.•Freely available tool fully supporting the theoretical framework.•Evaluation of the tool and framework over representative case studies.

论文关键词：Software testing,Failed error propagation,Expert systems,Information theory

论文评审过程：Received 21 February 2020, Revised 17 June 2020, Accepted 16 February 2021, Available online 26 February 2021, Version of Record 17 March 2021.

论文官网地址：https://doi.org/10.1016/j.eswa.2021.114748