A failed proof can yield a useful test

Li Huang 0003, Bertrand Meyer 0001. A failed proof can yield a useful test. Softw. Test., Verif. Reliab., 33(7), November 2023. [doi]

Authors

Li Huang 0003

This author has not been identified. Look up 'Li Huang 0003' in Google

Bertrand Meyer 0001

This author has not been identified. Look up 'Bertrand Meyer 0001' in Google