{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:14:52Z","timestamp":1759032892854,"version":"3.40.5"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1018975029705","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"115-131","source":"Crossref","is-referenced-by-count":16,"title":["Stochastic software testing"],"prefix":"10.1007","volume":"4","author":[{"given":"James A.","family":"Whittaker","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"9","key":"326154_CR1","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1109\/32.464549","volume":"21","author":"A. Avritzer","year":"1995","unstructured":"Avritzer, A. and E. Weyuker (1995), \u201cAutomatic Generation of Load Test Suites and the Assessment of the Resulting Software,\u201d IEEE Transactions on Software Engineering 21,9, 705\u2013716.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326154_CR2","unstructured":"Dahle, O. (1995), \u201cStatistical Usage Testing Applied to Mobile Telecommunication Systems,\u201d MS Thesis, Department of Computer Science, University of Trondheim, Trondheim, Norway."},{"issue":"4","key":"326154_CR3","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","volume":"10","author":"J. Duran","year":"1984","unstructured":"Duran, J. and S. Ntafos (1984), \u201cAn Evaluation of Random Testing,\u201d IEEE Transactions on Software Engineering 10,4, 438\u2013444.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"326154_CR4","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1109\/TR.1980.5220756","volume":"29","author":"J. Duran","year":"1984","unstructured":"Duran, J. and J. Wiorkowski (1984), \u201cQuantifying Software Validity by Sampling,\u201d IEEE Transactions on Reliability 29,2, 141\u2013144.","journal-title":"IEEE Transactions on Reliability"},{"key":"326154_CR5","volume-title":"An Introduction to Probability Theory and its Application","author":"W. Feller","year":"1950","unstructured":"Feller, W. (1950), An Introduction to Probability Theory and its Application, Volume 1, Wiley, New York, NY."},{"issue":"12","key":"326154_CR6","doi-asserted-by":"publisher","first-page":"1402","DOI":"10.1109\/32.62448","volume":"16","author":"D. Hamlet","year":"1990","unstructured":"Hamlet, D. and R. Taylor (1990), \u201cPartition Testing Does Not Inspire Confidence,\u201d IEEE Transactions on Software Engineering 16,12, 1402\u20131411.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326154_CR7","volume-title":"Proceedings of the Automated Software Test and Evaluation Conference","author":"M. Houghtaling","year":"1996","unstructured":"Houghtaling, M. (1996), \u201cAutomation Frameworks for Markov Chain Statistical Testing,\u201d In Proceedings of the Automated Software Test and Evaluation Conference, EFPDMA Press, Washington, DC."},{"issue":"6","key":"326154_CR8","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T. Ostrand","year":"1988","unstructured":"Ostrand, T. and M. Balcer (1988), \u201cThe Category-Partition Method for Specifying and Generating Functional Tests,\u201d Communications of the ACM 31,6, 676\u2013686.","journal-title":"Communications of the ACM"},{"issue":"1","key":"326154_CR9","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/52.207234","volume":"10","author":"J.H. Poore","year":"1993","unstructured":"Poore, J.H., H.D. Mills, and D.M. Mutchler (1993), \u201cPlanning and Certifying Software System Reliability,\u201d IEEE Software 10,1, 88\u201399.","journal-title":"IEEE Software"},{"key":"326154_CR10","unstructured":"Rautakorpi, M. (1995), \u201cApplication of Markov Chain Techniques in Certification of Software,\u201d MS Thesis, Department of Mathematics and Systems Analysis, Helsinki University of Technology, Helsinki, Finland."},{"key":"326154_CR11","first-page":"99","volume-title":"Proceedings of the International Symposium on Software Testing and Analysis","author":"P. Thevenod-Fosse","year":"1993","unstructured":"Thevenod-Fosse, P. and H. Waeselynck (1993), \u201cSTATEMATE Applied to Statistical Software Testing,\u201d In Proceedings of the International Symposium on Software Testing and Analysis, ACM Press, Cambridge, MA, pp. 99\u2013109."},{"issue":"10","key":"326154_CR12","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"J. Whittaker","year":"1994","unstructured":"Whittaker, J. and M. Thomason (1994), \u201cA Markov Chain Model for Statistical Software Testing,\u201d IEEE Transactions on Software Engineering 20,10, 812\u2013824.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326154_CR13","volume-title":"Markov Chain Techniques for Software Testing and Reliability Analysis","author":"J.A. Whittaker","year":"1992","unstructured":"Whittaker, J.A. (1992), \u201cMarkov Chain Techniques for Software Testing and Reliability Analysis,\u201d PhD Dissertation, Department of Computer Science, University of Tennessee, Knoxville, TN."}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018975029705.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018975029705\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018975029705.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:11:56Z","timestamp":1747577516000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018975029705"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["326154"],"URL":"https:\/\/doi.org\/10.1023\/a:1018975029705","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}