{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:57:55Z","timestamp":1725541075934},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642103728"},{"type":"electronic","value":"9783642103735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10373-5_10","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T11:45:27Z","timestamp":1258371927000},"page":"186-205","source":"Crossref","is-referenced-by-count":4,"title":["A Statistical Approach to Test Stochastic and Probabilistic Systems"],"prefix":"10.1007","author":[{"given":"Mercedes G.","family":"Merayo","sequence":"first","affiliation":[]},{"given":"Iksoon","family":"Hwang","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[]},{"given":"Ana","family":"Cavalli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"119","DOI":"10.2307\/2685469","volume":"52","author":"A. Agresti","year":"1998","unstructured":"Agresti, A., Coull, B.A.: Approximate is better than exact for interval estimation of binomial proportions. The American Statistician\u00a052(2), 119\u2013126 (1998)","journal-title":"The American Statistician"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1145\/225058.225161","volume-title":"27th ACM Symp. on Theory of Computing, STOC 1995","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Yannakakis, M.: Distinguishing tests for nondeterministic and probabilistic machines. In: 27th ACM Symp. on Theory of Computing, STOC 1995, pp. 363\u2013372. ACM Press, New York (1995)"},{"issue":"1-2","key":"10_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Gorrieri, R.: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science\u00a0202(1-2), 1\u201354 (1998)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0304-3975(01)00043-3","volume":"282","author":"M. Bravetti","year":"2002","unstructured":"Bravetti, M., Gorrieri, R.: The theory of interactive generalized semi-Markov processes. Theoretical Computer Science\u00a0282(1), 5\u201332 (2002)","journal-title":"Theoretical Computer Science"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-45510-8_9","volume-title":"Modeling and Verification of Parallel Processes","author":"E. Brinksma","year":"2001","unstructured":"Brinksma, E., Tretmans, J.: Testing transition systems: An annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, pp. 187\u2013195. Springer, Heidelberg (2001)"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1214\/ss\/1009213286","volume":"16","author":"L.D. Brown","year":"2001","unstructured":"Brown, L.D., Cai, T.T., Dasgupta, A.: Interval estimation for a binomial proportion. Statistical Science\u00a016, 101\u2013133 (2001)","journal-title":"Statistical Science"},{"issue":"1\u20132","key":"10_CR7","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/S1567-8326(02)00040-1","volume":"55","author":"D. Cazorla","year":"2003","unstructured":"Cazorla, D., Cuartero, F., Valero, V., Pelayo, F.L., Pardo, J.J.: Algebraic theory of probabilistic and non-deterministic processes. Journal of Logic and Algebraic Programming\u00a055(1\u20132), 57\u2013103 (2003)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"6","key":"10_CR8","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/1314690.1314693","volume":"54","author":"L. Cheung","year":"2007","unstructured":"Cheung, L., Stoelinga, M., Vaandrager, F.: A testing scenario for probabilistic processes. Journal of the ACM\u00a054(6), Article 29 (2007)","journal-title":"Journal of the ACM"},{"issue":"2","key":"10_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1006\/inco.1999.2808","volume":"154","author":"R. Cleaveland","year":"1999","unstructured":"Cleaveland, R., Dayar, Z., Smolka, S.A., Yuen, S.: Testing preorders for probabilistic processes. Information and Computation\u00a0154(2), 93\u2013148 (1999)","journal-title":"Information and Computation"},{"issue":"1","key":"10_CR10","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R. Glabbeek van","year":"1995","unstructured":"van Glabbeek, R., Smolka, S.A., Steffen, B.: Reactive, generative and stratified models of probabilistic processes. Information and Computation\u00a0121(1), 59\u201380 (1995)","journal-title":"Information and Computation"},{"issue":"10","key":"10_CR11","doi-asserted-by":"publisher","first-page":"1330","DOI":"10.1109\/TC.2004.85","volume":"53","author":"R.M. Hierons","year":"2004","unstructured":"Hierons, R.M.: Testing from a non-deterministic finite state machine using adaptive state counting. IEEE Transactions on Computers\u00a053(10), 1330\u20131342 (2004)","journal-title":"IEEE Transactions on Computers"},{"key":"10_CR12","first-page":"141","volume-title":"3rd Workshop on Mutation Analysis, Mutation 2007","author":"R.M. Hierons","year":"2007","unstructured":"Hierons, R.M., Merayo, M.G.: Mutation testing from probabilistic finite state machines. In: 3rd Workshop on Mutation Analysis, Mutation 2007, pp. 141\u2013150. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Merayo, M.G.: Mutation testing from probabilistic and stochastic finite state machines. Journal of Systems and Software (in press, 2009)","DOI":"10.1016\/j.jss.2009.06.030"},{"issue":"2","key":"10_CR14","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.jlap.2008.06.001","volume":"78","author":"R.M. Hierons","year":"2009","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Testing from a stochastic timed system with a fault model. Journal of Logic and Algebraic Programming\u00a078(2), 98\u2013115 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"10_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"10_CR16","unstructured":"Hwang, I., Cavalli, A.: Testing from a probabilistic FSM using interval estimation. Technical Report 09004LOR, TELECOM & Management SudParis (2009)"},{"issue":"12","key":"10_CR17","doi-asserted-by":"publisher","first-page":"1213","DOI":"10.1016\/S0140-3664(00)00327-3","volume":"24","author":"I. Hwang","year":"2001","unstructured":"Hwang, I., Kim, T., Hong, S., Lee, J.: Test selection for a nondeterministic FSM. Computer Communications\u00a024(12), 1213\u20131223 (2001)","journal-title":"Computer Communications"},{"issue":"1","key":"10_CR18","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. Theoretical Computer Science\u00a0282(1), 101\u2013150 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"10_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K. Larsen","year":"1991","unstructured":"Larsen, K., Skou, A.: Bisimulation through probabilistic testing. Information and Computation\u00a094(1), 1\u201328 (1991)","journal-title":"Information and Computation"},{"issue":"8","key":"10_CR20","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE\u00a084(8), 1090\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-44685-0_22","volume-title":"CONCUR 2001 - Concurrency Theory","author":"N. L\u00f3pez","year":"2001","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M.: A testing theory for generally distributed stochastic processes. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 321\u2013335. Springer, Heidelberg (2001)"},{"issue":"1-3","key":"10_CR22","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1016\/j.tcs.2005.10.047","volume":"353","author":"N. L\u00f3pez","year":"2006","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Specification, testing and implementation relations for symbolic-probabilistic systems. Theoretical Computer Science\u00a0353(1-3), 228\u2013248 (2006)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"10_CR23","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/32.265636","volume":"20","author":"G.L. Luo","year":"1994","unstructured":"Luo, G.L., von Bochmann, G., Petrenko, A.: Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method. IEEE Transactions on Software Engineering\u00a020(2), 149\u2013161 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR24","unstructured":"Markowitch, O., Roggeman, Y.: Probabilistic non-repudiation without trusted third party. In: 2nd Conf. on Security in Communication Network (1999)"},{"issue":"2","key":"10_CR25","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1016\/j.comnet.2007.10.002","volume":"52","author":"M.G. Merayo","year":"2008","unstructured":"Merayo, M.G., N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Formal testing from timed finite state machines. Computer Networks\u00a052(2), 432\u2013460 (2008)","journal-title":"Computer Networks"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/3-540-55179-4_36","volume-title":"Computer Aided Verification","author":"X. Nicollin","year":"1992","unstructured":"Nicollin, X., Sifakis, J.: An overview and synthesis on timed process algebras. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol.\u00a0575, pp. 376\u2013398. Springer, Heidelberg (1992)"},{"issue":"1-2","key":"10_CR27","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S1567-8326(02)00069-3","volume":"56","author":"M. N\u00fa\u00f1ez","year":"2003","unstructured":"N\u00fa\u00f1ez, M.: Algebraic theory of probabilistic processes. Journal of Logic and Algebraic Programming\u00a056(1-2), 117\u2013177 (2003)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/3-540-45510-8_10","volume-title":"Modeling and Verification of Parallel Processes","author":"A. Petrenko","year":"2001","unstructured":"Petrenko, A.: Fault model-driven test derivation from finite state models: Annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, pp. 196\u2013205. Springer, Heidelberg (2001)"},{"key":"10_CR29","first-page":"125","volume-title":"9th IFIP Workshop on Testing of Communicating Systems, IWTCS 1996","author":"A. Petrenko","year":"1996","unstructured":"Petrenko, A., Yevtushenko, N., von Bochmann, G.: Testing deterministic implementations from their nondeterministic FSM specifications. In: 9th IFIP Workshop on Testing of Communicating Systems, IWTCS 1996, pp. 125\u2013140. Chapman & Hall, Boca Raton (1996)"},{"key":"10_CR30","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G.M. Reed","year":"1988","unstructured":"Reed, G.M., Roscoe, A.W.: A timed model for communicating sequential processes. Theoretical Computer Science\u00a058, 249\u2013261 (1988)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"10_CR31","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.jlap.2007.03.002","volume":"74","author":"I. Rodr\u00edguez","year":"2008","unstructured":"Rodr\u00edguez, I., Merayo, M.G., N\u00fa\u00f1ez, M.: ${\\mathcal HOTL}$ : Hypotheses and observations testing logic. Journal of Logic and Algebraic Programming\u00a074(2), 57\u201393 (2008)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"10_CR32","volume-title":"Introduction to Probability and Statistics for Engineers and Scientists","author":"S.M. Ross","year":"1987","unstructured":"Ross, S.M.: Introduction to Probability and Statistics for Engineers and Scientists. John Wiley & Sons, Chichester (1987)"},{"issue":"2","key":"10_CR33","first-page":"250","volume":"2","author":"R. Segala","year":"1995","unstructured":"Segala, R., Lynch, N.: Probabilistic simulations for probabilistic processes. Nordic Journal of Computing\u00a02(2), 250\u2013273 (1995)","journal-title":"Nordic Journal of Computing"},{"issue":"2","key":"10_CR34","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1109\/TC.2007.70772","volume":"57","author":"M.\u00dc. Uyar","year":"2008","unstructured":"Uyar, M.\u00dc., Batth, S.S., Wang, Y., Fecko, M.A.: Algorithms for modeling a class of single timing faults in communication protocols. IEEE Transactions on Computers\u00a057(2), 274\u2013288 (2008)","journal-title":"IEEE Transactions on Computers"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10373-5_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,14]],"date-time":"2021-10-14T03:40:57Z","timestamp":1634182857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10373-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642103728","9783642103735"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10373-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}