Model checking, testing and debugging

Robert M. Hierons, Tao Xie 0001. Model checking, testing and debugging. Softw. Test., Verif. Reliab., 32(1), 2022. [doi]

Authors

Robert M. Hierons

This author has not been identified. Look up 'Robert M. Hierons' in Google

Tao Xie 0001

This author has not been identified. Look up 'Tao Xie 0001' in Google