Testing randomized software by means of statistical hypothesis tests

This publication has 11 references indexed in Scilit:

• Automated testing of stochastic systems
  Published by Association for Computing Machinery (ACM) ,2006
• Fitting of stochastic telecommunication network models via distance measures and Monte–Carlo tests
  Telecommunication Systems, 2006
• A unified simulation framework for spatial stochastic models
  Simulation Modelling Practice and Theory, 2004
• Testing from a nondeterministic finite state machine using adaptive state counting
  IEEE Transactions on Computers, 2004
• Optimal strategies for testing nondeterministic systems
  ACM SIGSOFT Software Engineering Notes, 2004
• Stationary iterated tessellations
  Advances in Applied Probability, 2003
• A fortran language system for mutation‐based software testing
  Software: Practice and Experience, 1991
• On Testing Non-Testable Programs
  The Computer Journal, 1982
• Semantics of probabilistic programs
  Journal of Computer and System Sciences, 1981
• Individual Comparisons by Ranking Methods
  Biometrics Bulletin, 1945