{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T01:14:55Z","timestamp":1725758095210},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642451133"},{"type":"electronic","value":"9783642451140"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-45114-0_10","type":"book-chapter","created":{"date-parts":[[2013,11,22]],"date-time":"2013-11-22T05:10:42Z","timestamp":1385097042000},"page":"120-131","source":"Crossref","is-referenced-by-count":0,"title":["Estimating the Number of Test Cases for Active Rule Validation"],"prefix":"10.1007","author":[{"given":"Lorena","family":"Chavarr\u00eda-B\u00e1ez","sequence":"first","affiliation":[]},{"given":"Xiaoou","family":"Li","sequence":"additional","affiliation":[]},{"given":"Rosaura","family":"Palma-Orozco","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1109\/TSMCB.2002.999805","volume":"32","author":"R. Knauf","year":"2002","unstructured":"Knauf, R., Gonzalez, A.J., Abel, T.: A framework for validation of rule-based systems. IEEE Transactions on Systems, Man and Cybernetics - Part B: Cybernetics\u00a032, 281\u2013295 (2002)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics - Part B: Cybernetics"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/TSMCA.2006.886365","volume":"37","author":"R. Knauf","year":"2007","unstructured":"Knauf, R., Tsuruta, S., Gonzalez, A.J.: Toward reducing human involvement in validation of knowledge-based systems. IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans\u00a037, 120\u2013131 (2007)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans"},{"key":"10_CR3","unstructured":"Gonz\u00e1lez, A.J., Dankel, D.D.: Prentice-Hall (1993)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/311531.311623","volume":"31","author":"N. Paton","year":"1999","unstructured":"Paton, N., D\u00edaz, O.: Active database systems. ACM Computing Surveys\u00a031, 62\u2013103 (1999)","journal-title":"ACM Computing Surveys"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/363951.363954","volume":"25","author":"E. Baralis","year":"2000","unstructured":"Baralis, E., Widom, J.: An algebraic approach to static analysis of active database rules. ACM Trans. on Database Systems\u00a025, 269\u2013332 (2000)","journal-title":"ACM Trans. on Database Systems"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1109\/TSMCC.2007.897329","volume":"37","author":"X. Li","year":"2007","unstructured":"Li, X., Medina-Mar\u00edn, J., Chapa, S.: Applying petri nets on active database systems. IEEE Trans. on System, Man, and Cybernetics, Part C: Applications and Reviews\u00a037, 482\u2013493 (2007)","journal-title":"IEEE Trans. on System, Man, and Cybernetics, Part C: Applications and Reviews"},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"T.J. MacCabe","year":"1976","unstructured":"MacCabe, T.J.: A complexity measure. IEEE Transactions on Software Engineering\u00a0SE-2, 308\u2013320 (1976)","journal-title":"IEEE Transactions on Software Engineering SE-"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1109\/52.493032","volume":"13","author":"T.J. MacCabe","year":"1996","unstructured":"MacCabe, T.J.: Cyclomatic complexity and the year 2000. IEEE Software\u00a013, 115\u2013117 (1996)","journal-title":"IEEE Software"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Chavarr\u00eda-B\u00e1ez, L., Li., X.: Ecapnver: A software tool to verify active rule bases. In: Proc. of the 22nd Intl. Conf. on Tools with Artificial Intelligence, Arras, France, pp. 138\u2013141 (2010)","DOI":"10.1109\/ICTAI.2010.94"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45114-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T15:59:06Z","timestamp":1558713546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45114-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642451133","9783642451140"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45114-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}