{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:26:43Z","timestamp":1749220003647},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635161"},{"type":"electronic","value":"9783540695882"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63516-5_24","type":"book-chapter","created":{"date-parts":[[2009,8,12]],"date-time":"2009-08-12T22:43:58Z","timestamp":1250117038000},"page":"165-180","source":"Crossref","is-referenced-by-count":2,"title":["On control flow testing of active rules in a declarative object-oriented framework"],"prefix":"10.1007","author":[{"given":"Hon Wai Rene","family":"Chan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suzanne W.","family":"Dietrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susan D.","family":"Urban","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Anwar, E., Maugis, L, Chakravarthy, S.: A new perspective on rule suport for object-oriented databases. Proc. of the ACM SIGMOD International Conf. on Management of Data, Washingtion, D.C. (May 1993) 99\u2013108","DOI":"10.1145\/170036.170059"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Baralis, E., Ceri, S., Paraboschi, S.: Declarative specification of constraint maintenance. Proc. of the 13th International Conf. on the Entity-Relationship Approach, Manchester, UK (Dec. 1994) 205\u2013222","DOI":"10.1007\/3-540-58786-1_81"},{"key":"11_CR3","unstructured":"Beizer, B.: Software Testing Techniques, 2nd ed. Van Nostrand Reinhold (1990)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Benazet, E., Guehl, H., Bouzeghoub, M.: VITAL: a visual tool for analysis of rules behaviour in active databases. Proc. of the 2nd International Workshop on Rules in Database Systems (RIDS'95), Glyfada, Athens, Greece (Sep. 1995) 182\u2013196","DOI":"10.1007\/3-540-60365-4_127"},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0164-1212(93)90004-H","volume":"20","author":"A. Bertolino","year":"1993","unstructured":"Bertolino, A.: Unconstrained edges and their application to branch testing of programs. Journal of Systems Software 20 (1993) 125\u2013133","journal-title":"Journal of Systems Software"},{"issue":"12","key":"11_CR6","doi-asserted-by":"crossref","first-page":"885","DOI":"10.1109\/32.368137","volume":"20","author":"A. Bertolino","year":"1994","unstructured":"Bertolino, A., Marr\u00e9, M.: Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Transactions on Software Engineering 20(12) (Dec. 1994) 885\u2013899","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Bussler, C., Jablonski, S.: Implementing agent coordination for workflow management systems using active database systems. Proc. of the 4th International Workshop on Research Issues in Data Engineering (RIDE-ADS '94), Houston, Texas (Feb. 1994) 53\u201359","DOI":"10.1109\/RIDE.1994.282853"},{"issue":"3","key":"11_CR8","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1145\/185827.185828","volume":"19","author":"S. Ceri","year":"1994","unstructured":"Ceri, S., Fraternali, P., Paraboschi, S., Tanca, L.: Automatic generation of production rules for integrity maintenance. ACM Transactions on Database Systems 19(3) (Sep. 1994) 367\u2013422","journal-title":"ACM Transactions on Database Systems"},{"key":"11_CR9","unstructured":"Ceri, S., Manthey, R.: Consolidated specification of Chimera (CM and CL). Technical report, Dipaztimento di Electronica e Informazione, Politecnico di Milano, Piazza L. Da Vinci, 32, 20133 Milano, Italy (Nov. 1993)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Chakravathy, S., Tamizuddin, Z., Zhou, J.: A visualization and explanation tool for debugging ECA rules in active databases. Proc. of the 2nd International Workshop on Rules in Database Systems (RIDS'95), Glyfada, Athens, Greece (Sep. 1995) 197\u2013209","DOI":"10.1007\/3-540-60365-4_128"},{"key":"11_CR11","unstructured":"Chan, H.W.R.: Active rule testing: A case study of structural and functional testing for the Comprehensive Declarative Object Language (CDOL). Master's thesis, Arizona State University. Document under preparation."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Dayal, U.: Active database management systems. Proc. of the 3rd International Conf. on Data and Knowledge Bases, Jerusalem (Jun. 1988) 150\u2013170","DOI":"10.1016\/B978-1-4832-1313-2.50019-6"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"D\u00edaz, O., Jaime, A., Paton, N.: DEAR: A DEbugger for Active Rules in an object-oriented context. Proc. of the 1st International Workshop on Rules in Database Systems (RIDS '93), Edinburgh, Scotland (Aug.\u2013Sep. 1993) 180\u2013193","DOI":"10.1007\/978-1-4471-3225-7_11"},{"key":"11_CR14","unstructured":"Gehani, N., Jagadish, H.V.: Ode as an active database: Constraints and triggers. Proc. of the 17th International Conf. on Very Large Data Bases, Barcelona, Spain (Sep. 1991) 327\u2013336"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Gertz, M.: Specifying reactive integrity control for active databases. Proc. of the 4th International Workshop on Research Issues in Data Engineering (RIDE-ADS '94), Houston, Texas (Feb. 1994) 2\u20139","DOI":"10.1109\/RIDE.1994.282852"},{"issue":"3","key":"11_CR16","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1145\/232753.232801","volume":"21","author":"S. Ghandeharizadeh","year":"1996","unstructured":"Ghandeharizadeh, S., Hull, R., Jacobs, D.: Heraclitus: Elevating deltas to be firstclass citizens in a database programming language. ACM Transactions on Database Systems 21(3) (Sep. 1996) 370\u2013426","journal-title":"ACM Transactions on Database Systems"},{"issue":"2","key":"11_CR17","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF00127778","volume":"7","author":"A. J\u00e4hne","year":"1996","unstructured":"J\u00e4hne, A., Urban, S.,Dietrich, S.: PEARD: A prototype environment for active rule debugging. Journal of Intelligent Information Systems 7(2) (Oct. 1996) 111\u2013128","journal-title":"Journal of Intelligent Information Systems"},{"key":"11_CR18","unstructured":"Jorgensen, P.: Software Testing: A Craftman's Approach. CRC Press, Inc. (1995)"},{"key":"11_CR19","unstructured":"Institute of Electrical and Electronics Engineers: Software Engineering Standards, ANSI\/IEEE Std 729-1983, Glossary of Software Engineering Terminology (1984)"},{"key":"11_CR20","unstructured":"Ramakrishnan, R., Srivastava, D., Sudarshan, S.: CORAL: Control, Relations and Logic. Proc. of the 18th International Conf. on Very Large Data Bases, Vancouver, British Columbia, Canada (1992) 238\u2013250"},{"issue":"3","key":"11_CR21","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/140738.140763","volume":"17","author":"M. Robbert","year":"1991","unstructured":"Robbert, M., Maryanski, F.: Automated test plan generator for database application systems. SIGSMALL\/PC Notes 17(3) (Fall 1991) 29\u201335","journal-title":"SIGSMALL\/PC Notes"},{"key":"11_CR22","unstructured":"Sommerville, I.: Software Engineering, 4th ed. Addison Wesley Publishing Company (1992)"},{"issue":"7","key":"11_CR23","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1109\/32.42733","volume":"14","author":"M. Stonebraker","year":"1988","unstructured":"Stonebraker, M., Hanson, E.N., Potamianos, S.: The POSTGRES rule manager. IEEE Transactions on Software Engineering 14(7) (Jul. 1988) 897\u2013907","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR24","unstructured":"Sundermier, A.: Condition monitoring in an active, deductive, object-oriented database. Master's thesis proposal, Arizona State University. Document under preparation."},{"key":"11_CR25","unstructured":"Urban, S., Dietrich, S.: A development environment for active database systems: Testing and analysis of active database rule. National Science Foundation grant no. IRI-9410983 (1994)"},{"key":"11_CR26","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/S0169-023X(96)00041-9","volume":"22","author":"S. Urban","year":"1997","unstructured":"Urban, S., Karadimce, A., Dietrich, S., Ben Abdellatif, T., Chan, H.W.R.: CDOL: A Comprehensive Declarative Object Language. Data & Knowledge Engineering 22 (1997) 67\u2013111","journal-title":"Data & Knowledge Engineering"},{"key":"11_CR27","unstructured":"Widom, J., Ceri, S., editors: Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann Publishers, Inc. (1996)"}],"container-title":["Lecture Notes in Computer Science","Rules in Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63516-5_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T23:57:29Z","timestamp":1558483049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63516-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635161","9783540695882"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-63516-5_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}