Model checking, testing and debugging

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.