Testing Nondeterminate Systems

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},
}