Tim Menzies, Bojan Cukic, Harshinder Singh, John D. Powell. Testing Nondeterminate Systems. In 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 8-11 October 2000, San Jose, CA, USA. pages 222-233, IEEE Computer Society, 2000. [doi]
@inproceedings{MenziesCSP00, title = {Testing Nondeterminate Systems}, author = {Tim Menzies and Bojan Cukic and Harshinder Singh and John D. Powell}, year = {2000}, url = {http://csdl.computer.org/comp/proceedings/issre/2000/0807/00/08070222abs.htm}, tags = {testing}, researchr = {https://researchr.org/publication/MenziesCSP00}, cites = {0}, citedby = {0}, pages = {222-233}, booktitle = {11th International Symposium on Software Reliability Engineering (ISSRE 2000), 8-11 October 2000, San Jose, CA, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-0807-3}, }