{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:27:06Z","timestamp":1725560826255},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642121449"},{"type":"electronic","value":"9783642121456"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12145-6_6","type":"book-chapter","created":{"date-parts":[[2010,7,26]],"date-time":"2010-07-26T04:42:24Z","timestamp":1280119344000},"page":"54-63","source":"Crossref","is-referenced-by-count":0,"title":["From Data Mining to User Models in Evolutionary Databases"],"prefix":"10.1007","author":[{"given":"C\u00e9sar","family":"Andr\u00e9s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yaofeng","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"6_CR1","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/j.jlap.2009.01.003","volume":"78","author":"C. Andr\u00e9s","year":"2009","unstructured":"Andr\u00e9s, C., Llana, L., Rodr\u00edguez, I.: Formally transforming user-model testing problems into implementer-model testing problems and viceversa. Journal of Logic and Algebraic Programming\u00a078(6), 425\u2013453 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-540-88387-6_36","volume-title":"Automated Technology for Verification and Analysis","author":"C. Andr\u00e9s","year":"2008","unstructured":"Andr\u00e9s, C., Merayo, M.G., N\u00fa\u00f1ez, M.: Passive testing of timed systems. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol.\u00a05311, pp. 418\u2013427. Springer, Heidelberg (2008)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Andr\u00e9s, C., Merayo, M.G., N\u00fa\u00f1ez, M.: Supporting the extraction of timed properties for passive testing by using probabilistic user models. In: 9th Int. Conf. on Quality Software, QSIC 2009 (2009) (in press)","DOI":"10.1109\/QSIC.2009.27"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Andr\u00e9s, C., Merayo, M.G., N\u00fa\u00f1ez, M.: Using a mining frequency patterns model to automate passive testing of real-time systems. In: 21st Int. Conf. on Software Engineering & Knowledge Engineering, SEKE 2009, Knowledge Systems Institute, pp. 426\u2013431 (2009)","DOI":"10.1109\/ICST.2009.35"},{"issue":"2","key":"6_CR5","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/j.comnet.2004.09.009","volume":"48","author":"E. Bayse","year":"2005","unstructured":"Bayse, E., Cavalli, A., N\u00fa\u00f1ez, M., Za\u00efdi, F.: A passive testing approach based on invariants: Application to the WAP. Computer Networks\u00a048(2), 247\u2013266 (2005)","journal-title":"Computer Networks"},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1016\/j.infsof.2008.04.007","volume":"51","author":"A. Benharref","year":"2009","unstructured":"Benharref, A., Dssouli, R., Serhani, M., Glitho, R.: Efficient traces\u2019 collection mechanisms for passive testing of web services. Information & Software Technology\u00a051(2), 362\u2013374 (2009)","journal-title":"Information & Software Technology"},{"issue":"12","key":"6_CR7","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1016\/S0950-5849(03)00063-6","volume":"45","author":"A. Cavalli","year":"2003","unstructured":"Cavalli, A., Gervy, C., Prokopenko, S.: New approaches for passive testing using an extended finite state machine specification. Information and Software Technology\u00a045(12), 837\u2013852 (2003)","journal-title":"Information and Software Technology"},{"issue":"1","key":"6_CR8","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/3477.484436","volume":"26","author":"M. Dorigo","year":"1996","unstructured":"Dorigo, M., Maniezzo, V., Colorni, A.: Ant system: optimization by a colony of cooperating agents. IEEE Transactions on Systems, Man and Cybernetics B\u00a026(1), 29\u201341 (1996)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics B"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A.J.H., Vilkomir, S., Woodward, M.R., Zedan, H.: Using formal methods to support testing. ACM Computing Surveys\u00a041(2) (2009)","DOI":"10.1145\/1459352.1459354"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1109\/ICNP.1997.643699","volume-title":"5th IEEE Int. Conf. on Network Protocols, ICNP 1997","author":"D. Lee","year":"1997","unstructured":"Lee, D., Netravali, A.N., Sabnani, K.K., Sugla, B., John, A.: Passive testing and applications to network management. In: 5th IEEE Int. Conf. on Network Protocols, ICNP 1997, pp. 113\u2013122. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"6_CR11","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)"},{"issue":"11-12","key":"6_CR12","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1016\/S0950-5849(99)00039-7","volume":"41","author":"M. Tabourier","year":"1999","unstructured":"Tabourier, M., Cavalli, A.: Passive testing and application to the GSM-MAP protocol. Information and Software Technology\u00a041(11-12), 813\u2013821 (1999)","journal-title":"Information and Software Technology"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-540-73066-8_23","volume-title":"Testing of Software and Communicating Systems","author":"H. Ural","year":"2007","unstructured":"Ural, H., Xu, Z.: An EFSM-based passive fault detection approach. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom\/FATES 2007. LNCS, vol.\u00a04581, pp. 335\u2013350. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Information and Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12145-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:50:05Z","timestamp":1606168205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12145-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642121449","9783642121456"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12145-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}