Formal Testing from Natural Language in an Industrial Context

HSP: A hybrid selection and prioritisation of regression test cases based on information retrieval and code coverage applied on an industrial case study

“…Using this information together with Reis and Mota [2018] it would be possible to have the navigation that would reach the non-exercised area. In order to complement the test and ensure consistency the work Sampaio and Arruda [2016] helps to solve the dependencies of the test and ensure that it could run. The advantage of this approach is that it can serve both for automated testing cases and manual testing cases.…”