{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:54:52Z","timestamp":1725627292696},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245794"},{"type":"electronic","value":"9783642245800"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24580-0_2","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:21:42Z","timestamp":1320229302000},"page":"9-14","source":"Crossref","is-referenced-by-count":0,"title":["Formal Testing of Timed and Probabilistic Systems"],"prefix":"10.1007","author":[{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/APSEC.2009.37","volume-title":"16th Asia-Pacific Software Engineering Conference, APSEC 2009","author":"C. Andr\u00e9s","year":"2009","unstructured":"Andr\u00e9s, C., Maag, S., Cavalli, A., Merayo, M., N\u00fa\u00f1ez, M.: Analysis of the OLSR protocol by using formal passive testing. In: 16th Asia-Pacific Software Engineering Conference, APSEC 2009, pp. 152\u2013159. IEEE Computer Society, Los Alamitos (2009)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/SEFM.2009.21","volume-title":"7th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM 2009","author":"C. Andr\u00e9s","year":"2009","unstructured":"Andr\u00e9s, C., Merayo, M., N\u00fa\u00f1ez, M.: Applying formal passive testing to study temporal properties of the stream control transmission protocol. In: 7th IEEE Int. Conf. on Software Engineering and Formal Methods, SEFM 2009, pp. 73\u201382. IEEE Computer Society, Los Alamitos (2009)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Andr\u00e9s, C., Merayo, M., N\u00fa\u00f1ez, M.: Formal passive testing of timed systems: Theory and tools. Software Testing, Verification and Reliability (2012) (accepted for publication)","DOI":"10.1002\/stvr.1464"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-02478-8_41","volume-title":"Bio-Inspired Systems: Computational and Ambient Intelligence","author":"K. Derderian","year":"2009","unstructured":"Derderian, K., Merayo, M., Hierons, R., N\u00fa\u00f1ez, M.: Aiding test case generation in temporally constrained state based systems using genetic algorithms. In: Cabestany, J., Sandoval, F., Prieto, A., Corchado, J.M. (eds.) IWANN 2009. LNCS, vol.\u00a05517, pp. 327\u2013334. Springer, Heidelberg (2009)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-642-21498-1_50","volume-title":"Advances in Computational Intelligence","author":"K. Derderian","year":"2011","unstructured":"Derderian, K., Merayo, M., Hierons, R., N\u00fa\u00f1ez, M.: A case study on the use of genetic algorithms to generate test cases for temporal systems. In: Cabestany, J., Rojas, I., Joya, G. (eds.) IWANN 2011, Part II. LNCS, vol.\u00a06692, pp. 396\u2013403. Springer, Heidelberg (2011)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-59293-8_188","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"M.C. Gaudel","year":"1995","unstructured":"Gaudel, M.C.: Testing can be formal, too! In: Mosses, P.D., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol.\u00a0915, pp. 82\u201396. Springer, Heidelberg (1995)"},{"issue":"1","key":"2_CR7","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R.v. Glabbeek","year":"1995","unstructured":"Glabbeek, R.v., Smolka, S., Steffen, B.: Reactive, generative and stratified models of probabilistic processes. Information and Computation\u00a0121(1), 59\u201380 (1995)","journal-title":"Information and Computation"},{"key":"2_CR8","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. MIT Press, Cambridge (1988)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Hierons, R., Bogdanov, K., Bowen, J., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A., Vilkomir, S., Woodward, M., Zedan, H.: Using formal methods to support testing. ACM Computing Surveys\u00a041(2) (2009)","DOI":"10.1145\/1459352.1459354"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-13464-7_6","volume-title":"Formal Techniques for Distributed Systems","author":"R. Hierons","year":"2010","unstructured":"Hierons, R., N\u00fa\u00f1ez, M.: Testing probabilistic distributed systems. In: Hatcliff, J., Zucca, E. (eds.) FMOODS 2010. LNCS, vol.\u00a06117, pp. 63\u201377. Springer, Heidelberg (2010)"},{"issue":"3","key":"2_CR11","doi-asserted-by":"crossref","first-page":"305","DOI":"10.3233\/FI-2009-0020","volume":"90","author":"L. Llana","year":"2009","unstructured":"Llana, L., N\u00fa\u00f1ez, M.: Testing semantics for RTPA. Fundamenta Informaticae\u00a090(3), 305\u2013335 (2009)","journal-title":"Fundamenta Informaticae"},{"issue":"1-3","key":"2_CR12","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"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-642-10373-5_10","volume-title":"Formal Methods and Software Engineering","author":"M. Merayo","year":"2009","unstructured":"Merayo, M., Hwang, I., N\u00fa\u00f1ez, M., Cavalli, A.: A statistical approach to test stochastic and probabilistic systems. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 186\u2013205. Springer, Heidelberg (2009)"},{"issue":"2","key":"2_CR14","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s10270-009-0126-3","volume":"10","author":"M. Merayo","year":"2011","unstructured":"Merayo, M., N\u00fa\u00f1ez, M., Hierons, R.: Testing timed systems modeled by stream X-machines. Software and Systems Modeling\u00a010(2), 201\u2013217 (2011)","journal-title":"Software and Systems Modeling"},{"issue":"6","key":"2_CR15","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1109\/TC.2008.15","volume":"57","author":"M. Merayo","year":"2008","unstructured":"Merayo, M., N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Extending EFSMs to specify and test timed systems with action durations and timeouts. IEEE Transactions on Computers\u00a057(6), 835\u2013848 (2008)","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1016\/j.comnet.2007.10.002","volume":"52","author":"M. Merayo","year":"2008","unstructured":"Merayo, M., 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":"2_CR17","doi-asserted-by":"crossref","unstructured":"Merayo, M., N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: A formal framework to test soft and hard deadlines in timed systems. Software Testing, Verification and Reliability (accepted for publication, 2011), doi: 10.1002\/stvr.448","DOI":"10.1002\/stvr.448"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola de","year":"1984","unstructured":"de Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoretical Computer Science\u00a034, 83\u2013133 (1984)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"2_CR19","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":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-68855-6_17","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"M. N\u00fa\u00f1ez","year":"2008","unstructured":"N\u00fa\u00f1ez, M., Llana, L.: A hierarchy of equivalences for probabilistic processes. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol.\u00a05048, pp. 267\u2013282. Springer, Heidelberg (2008)"},{"issue":"4","key":"2_CR21","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1109\/32.16602","volume":"15","author":"D. Sidhu","year":"1989","unstructured":"Sidhu, D., Leung, T.K.: Formal methods for protocol testing: A detailed study. IEEE Transactions on Software Engineering\u00a015(4), 413\u2013426 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J. Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 1\u201338. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24580-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,26]],"date-time":"2020-06-26T20:38:04Z","timestamp":1593203884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24580-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245794","9783642245800"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24580-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}