Calculating Probabilities of Real-Time Test Cases

Marcin Jurdzinski, Doron Peled, Hongyang Qu. Calculating Probabilities of Real-Time Test Cases. In Wolfgang Grieskamp, Carsten Weise, editors, Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers. Volume 3997 of Lecture Notes in Computer Science, pages 134-151, Springer, 2005. [doi]

@inproceedings{JurdzinskiPQ05,
  title = {Calculating Probabilities of Real-Time Test Cases},
  author = {Marcin Jurdzinski and Doron Peled and Hongyang Qu},
  year = {2005},
  doi = {10.1007/11759744_10},
  url = {http://dx.doi.org/10.1007/11759744_10},
  tags = {testing},
  researchr = {https://researchr.org/publication/JurdzinskiPQ05},
  cites = {0},
  citedby = {0},
  pages = {134-151},
  booktitle = {Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers},
  editor = {Wolfgang Grieskamp and Carsten Weise},
  volume = {3997},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-34454-3},
}