{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,3]],"date-time":"2023-01-03T06:51:42Z","timestamp":1672728702349},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T00:00:00Z","timestamp":1356825600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s11219-012-9192-9","type":"journal-article","created":{"date-parts":[[2012,12,29]],"date-time":"2012-12-29T08:22:02Z","timestamp":1356769322000},"page":"153-184","source":"Crossref","is-referenced-by-count":6,"title":["Applying black-box testing to UML\/OCL database models"],"prefix":"10.1007","volume":"22","author":[{"given":"Harith","family":"Aljumaily","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dolores","family":"Cuadra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paloma","family":"Mart\u00ednez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,12,30]]},"reference":[{"issue":"12","key":"9192_CR1","doi-asserted-by":"crossref","first-page":"2299","DOI":"10.1016\/j.jss.2008.04.027","volume":"81","author":"H Aljumaily","year":"2008","unstructured":"Aljumaily, H., Cuadra, D., & Mart\u00ednez, P. (2008). OCL2Trigger: Deriving active mechanisms for relational databases using model-driven architecture. Journal of Systems and Software, 81(12), 2299\u20132314.","journal-title":"Journal of Systems and Software"},{"key":"9192_CR2","unstructured":"ArgoUML. (2011). http:\/\/argouml.tigris.org\/ . Accessed June 2011."},{"key":"9192_CR3","unstructured":"Blaha, M., & Premerlani, W. (1998). Object-oriented modeling and design for database applications. Prentice Hall."},{"key":"9192_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05382-9","volume-title":"Handbook of mathematics","author":"IN Bronshtein","year":"2004","unstructured":"Bronshtein, I. N., & Semendyayev, K. A. (2004). Handbook of mathematics (4th ed.). New York: Springer.","edition":"4"},{"key":"9192_CR5","unstructured":"Calafat, A. Q. (2009). Validation of UML conceptual schemas with OCL constraints and operations. PhD. Thesis, Universitat Politecnica de Catalunya, Spain."},{"key":"9192_CR6","unstructured":"Chan, W. K., Cheung, S. C., & Tse, T. H. (2005). Fault-based testing of database application programs with conceptual data model. In Proceedings of the fifth international conference on quality software (pp. 187\u2013196). Los Alamitos, CA: IEEE Computer Society Press."},{"key":"9192_CR7","doi-asserted-by":"crossref","unstructured":"Chays, D., Dan, S., Frankl, P. G., Vokolos, F., & Weyuker E. J. (2000). A framework for testing database applications. In ACM SIGSOFT international symposium on Software testing and analysis, Portland, OA.","DOI":"10.1145\/347324.348954"},{"key":"9192_CR8","doi-asserted-by":"crossref","unstructured":"Chen, P. (1976). The entity-relationship model\u2014toward a unified view of data. ACM Transactions on Database Systems, 1(1), 9\u201336.","DOI":"10.1145\/320434.320440"},{"key":"9192_CR9","doi-asserted-by":"crossref","unstructured":"Chernak, Y. (2001). Validating and improving test-case effectiveness. IEEE Software Archive, 18(1), 81\u201388.","DOI":"10.1109\/52.903172"},{"key":"9192_CR10","doi-asserted-by":"crossref","unstructured":"Codd, E. F. (1970). A relational model of data for large shared data banks. CACM, 13(6), 377\u2013387.","DOI":"10.1145\/362384.362685"},{"key":"9192_CR11","doi-asserted-by":"crossref","unstructured":"Costa, M., Cunningham, J., & Booth, J. (1990). Logical animation. In Proceedings of the international conference on software engineering.","DOI":"10.1109\/ICSE.1990.63617"},{"key":"9192_CR12","doi-asserted-by":"crossref","unstructured":"Debroy, V., & Wong, W. E., (2009). Are fault failure rates good estimators of adequate test set size? In Proceedings of the 9th international conference on quality software (QSIC), Jeju Korea.","DOI":"10.1109\/QSIC.2009.38"},{"key":"9192_CR13","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/1134285.1134339","volume":"2006","author":"A Egyed","year":"2006","unstructured":"Egyed, A. (2006). Instant consistency checking for the UML. ICSE, 2006, 381\u2013390.","journal-title":"ICSE"},{"key":"9192_CR14","first-page":"292","volume":"2007","author":"A Egyed","year":"2007","unstructured":"Egyed, A. (2007). Fixing inconsistencies in UML design models. ICSE, 2007, 292\u2013301.","journal-title":"ICSE"},{"key":"9192_CR15","doi-asserted-by":"crossref","unstructured":"Eldh, S., Hansson, H., Punnekkat, S., Pettersson, A., & Sundmark, D. (2006). A framework for comparing efficiency, effectiveness and applicability of software testing techniques, pp. 159\u2013170.","DOI":"10.1109\/TAIC-PART.2006.1"},{"key":"9192_CR16","volume-title":"Fundamentals of database systems","author":"R Elmasri","year":"2000","unstructured":"Elmasri, R., & Navathe, S. (2000). Fundamentals of database systems (3rd ed.). Reading, MA: Addison-Wesley.","edition":"3"},{"issue":"9","key":"9192_CR17","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/185009.185028","volume":"29","author":"R Elmstr\u00f8m","year":"1994","unstructured":"Elmstr\u00f8m, R., Larsen, P. G., & Lassen, P. B. (1994). A practical approach to formal specifications. ACM SIGPLAN Notices, 29(9), 77\u201380.","journal-title":"ACM SIGPLAN Notices"},{"issue":"1","key":"9192_CR18","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1023\/A:1021720916127","volume":"8","author":"G Giraudo","year":"2003","unstructured":"Giraudo, G., & Tonella, P. (2003). Designing and conducting an empirical study on test management automation. Empirical Software Engineering, 8(1), 59\u201381.","journal-title":"Empirical Software Engineering"},{"key":"9192_CR19","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., & Richters, M. (2007). USE: A UML-based specification environment for validating UML and OCL. Science of Computer Programming, 69, 27\u201334.","journal-title":"Science of Computer Programming"},{"key":"9192_CR20","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1109\/69.390254","volume":"7","author":"M Gogolla","year":"1995","unstructured":"Gogolla, M., Conrad, S., Denker, G., Herzig, R., & Vlachantonis, N. (1995). A development environment for an object specification language. IEEE Transactions on Knowledge and Data Engineering, 7, 505\u2013508.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"9192_CR21","doi-asserted-by":"crossref","unstructured":"Gordon, V. S., & Bieman, J. M. (1995). Rapid prototyping: lessons learned. IEEE Software, 12(1), 85\u201395.","DOI":"10.1109\/52.363162"},{"key":"9192_CR22","unstructured":"Heumann, J. (2001). Generating test cases from use cases, Rational Software, IBM. https:\/\/ecs.victoria.ac.nz\/twiki\/pub\/Courses\/SWEN301_2010T1\/Assignments\/GeneratingTestCasesFromUseCasesJune01.pdf ."},{"key":"9192_CR23","doi-asserted-by":"crossref","unstructured":"Hong, M., Zeng, Q., Wang, Z., Zhang, Y., & Wang, H. (2010). An approach of automated test cases generation in database stored procedure testing. In Second international workshop on education technology and computer science, Vol. 1, pp. 533\u2013537.","DOI":"10.1109\/ETCS.2010.554"},{"key":"9192_CR24","unstructured":"HSQLDB. (2011) 100% Java database, http:\/\/hsqldb.org\/ , Accessed June 2011."},{"key":"9192_CR25","unstructured":"JUnit. (2011). http:\/\/www.junit.org\/ , Accessed June 2011."},{"key":"9192_CR26","unstructured":"Kassoff, M., & Genesereth, M. R. (2011) The Markov reformulation theorem. In Proceedings of the ninth symposium on abstraction, reformulation, and approximation (SARA 2011), Spain, July 17\u201318, 2011."},{"key":"9192_CR27","volume-title":"Applying UML and patterns: An introduction to object-oriented analysis and design and the unified process","author":"C Larman","year":"2001","unstructured":"Larman, C. (2001). Applying UML and patterns: An introduction to object-oriented analysis and design and the unified process (2nd ed.). Englewood Cliffs, NJ: Prentice-Hall.","edition":"2"},{"key":"9192_CR28","unstructured":"Lehmann E., & Wegener J. (2000). Test case design by means of the CTE XL. In Proceedings of the 8th European international conference on software testing, analysis and review, Kopenhagen, Denmark."},{"key":"9192_CR29","doi-asserted-by":"crossref","unstructured":"Luqi, L., & Steigerwald, R. (1992). Rapid software prototyping. In System Sciences, Proceedings of the twenty-fifth Hawaii international conference.","DOI":"10.1109\/HICSS.1992.183261"},{"key":"9192_CR30","unstructured":"MetaEdit+. (2011). http:\/\/www.metacase.com\/ . Accessed June 2011."},{"key":"9192_CR31","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1109\/MC.2008.306","volume":"41","author":"B Meyer","year":"2008","unstructured":"Meyer, B. (2008). Seven principles of software testing. IEEE Computer, 41, 99\u2013101.","journal-title":"IEEE Computer"},{"key":"9192_CR32","doi-asserted-by":"crossref","first-page":"1646","DOI":"10.1016\/j.infsof.2009.04.004","volume":"51","author":"P Mohagheghi","year":"2009","unstructured":"Mohagheghi, P., Dehlen, V., & Neple, T. (2009). Definitions and approaches to model quality in model-based software development\u2014a review of literature. Information and Software Technology, 51, 1646\u20131669.","journal-title":"Information and Software Technology"},{"key":"9192_CR33","doi-asserted-by":"crossref","unstructured":"Moody, D. L., Sindre, G., Brasethvik, T., & S\u00f8lvberg, A. (2003) Evaluating the quality of information models: Empirical testing of a conceptual model quality framework. In Proceedings of the 25th international conference on software engineering (ICSE \u201803).","DOI":"10.1109\/ICSE.2003.1201209"},{"key":"9192_CR34","volume-title":"The art of software testing","author":"GJ Myers","year":"2004","unstructured":"Myers, G. J. (2004). The art of software testing (2nd ed.). John Wiley & Sons.","edition":"2"},{"key":"9192_CR35","unstructured":"OMG, Object Management Group. UML 2.0 OCL Specification, Inc. (2011). http:\/\/www.omg.org\/ . Accessed Jan 2011."},{"key":"9192_CR36","unstructured":"Objecteering\/UML. (2011). Objecteering\/SQL designer user guide version 5.2.2, http:\/\/depinfo.u-bourgogne.fr\/docs\/Objecteering522\/SQLDesigner.pdf , Accessed June 2011."},{"key":"9192_CR37","unstructured":"OCL22SQL. (2011). Dresden OCL Toolkit. http:\/\/dresden-ocl.sourceforge.net\/ , Accessed June 2011."},{"key":"9192_CR38","doi-asserted-by":"crossref","unstructured":"Offutt, A. J., & Hayes, J. H., (1996). A semantic model of program faults. In Proceedings of ISSTA\u20191996, pp. 195\u2013200.","DOI":"10.1145\/229000.226317"},{"key":"9192_CR39","doi-asserted-by":"crossref","unstructured":"Oliver, I., & Stuart, K. (1999). Validation of object-oriented models using animation. In Proceedings of the 25th EuroMicro\u201999 conference, Sep 8\u201310, Milan, Italy.","DOI":"10.1109\/EURMIC.1999.794786"},{"key":"9192_CR40","unstructured":"Overmyer, S. P. (1991). Revolutionary vs. evolutionary rapid prototyping: Balancing software productivity and HCI Design Concerns. In Proceedings of the fourth international conference on human-computer interaction, pp. 303\u2013307."},{"key":"9192_CR41","volume-title":"Software engineering: a practitioner\u2019s approach","author":"RS Pressman","year":"2005","unstructured":"Pressman, R. S. (2005). Software engineering: A practitioner\u2019s approach. New York: McGraw-Hill Higher Education."},{"key":"9192_CR42","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/j.ijhcs.2004.01.003","volume":"61","author":"HC Purchase","year":"2004","unstructured":"Purchase, H. C., Welland, R., McGill, M., & Colpoys, L. (2004). Comprehension of diagram syntax: An empirical study of entity relationship notations. Int. J. Human-Computer Studies, 61, 187\u2013203.","journal-title":"Int. J. Human-Computer Studies"},{"key":"9192_CR43","unstructured":"Rational Enterprise Edition. (2011). www-306.ibm.com\/software\/rational. Accessed June 2011."},{"key":"9192_CR44","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1145\/1858996.1859069","volume":"2010","author":"A Reder","year":"2010","unstructured":"Reder, A., & Egyed, A. (2010). Model\/analyzer: A tool for detecting, visualizing and fixing design errors in UML. In ASE 2010, pp. 347\u2013348.","journal-title":"ASE"},{"key":"9192_CR45","first-page":"265","volume":"1939","author":"M Richters","year":"2000","unstructured":"Richters, M., & Gogolla, M. (2000). Validating UML models and OCL constraints. In UML2000. LNCS, Vol. 1939, pp. 265\u2013277.","journal-title":"LNCS"},{"key":"9192_CR46","unstructured":"Sommerville, I. (2007). Software engineering (8th ed.). Addison-Wesley."},{"key":"9192_CR47","unstructured":"ISO\/IEC 9075 Standard (2008), Information technology\u2014database languages\u2014SQL:2008 International Organization for Standardization. Accessed June 2011."},{"key":"9192_CR48","unstructured":"Teorey, T. J. (1999) Database modeling & design (3rd ed.), Morgan Kaufmann Series in Data Management Systems."},{"issue":"6","key":"9192_CR49","doi-asserted-by":"crossref","first-page":"598","DOI":"10.1016\/j.datak.2010.02.002","volume":"69","author":"A Tort","year":"2010","unstructured":"Tort, A., & Oliv\u00e9, A. (2010). An approach to testing conceptual schemas. Data & Knowledge Engineering, 69(6), 598\u2013618.","journal-title":"Data & Knowledge Engineering"},{"key":"9192_CR50","doi-asserted-by":"crossref","unstructured":"Tort A., Oliv\u00e9 A., & Sancho M. R. (2011). The CSTL processor: A tool for automated conceptual schema testing, pp. 349\u2013352","DOI":"10.1007\/978-3-642-24574-9_48"},{"key":"9192_CR51","doi-asserted-by":"crossref","unstructured":"Tsai, W. T., Chen, Y., Paul R., Liao N., & Huang, H. (2004). Cooperative and group testing in verification of dynamic composite Web services. In Proceedings of the 28th annual international conference on computer software and applications..","DOI":"10.1109\/CMPSAC.2004.1342703"},{"key":"9192_CR52","unstructured":"Tsiolakis, A., & Ehrig, H. (2000) Consistency analysis of UML class and sequence diagrams using attributed graph grammars. Proceedings of Workshop on Graph Transformation Systems (GRATRA), pp. 77\u201386."},{"key":"9192_CR53","unstructured":"Tuya, J., Su\u00e1rez-Cabal, M. J., & de la Riva, C. (2006). SQL mutation: A tool to generate mutants of SQL database queries. In Second workshop on mutation analysis, Raleigh, NC."},{"key":"9192_CR54","doi-asserted-by":"crossref","unstructured":"Vincenzi, A. M. R., Maldonado, J. C., Delamaro, M. E., Spoto, E. S., & Wong, W. E. (2003). Component-based software: An overview of testing. In Proceedings of component-based software quality, pp. 99\u2013127.","DOI":"10.1007\/978-3-540-45064-1_6"},{"key":"9192_CR55","unstructured":"Visual Case Tool. (2011). http:\/\/visualcase.com\/index.htm\/ . Accessed June 2011."},{"key":"9192_CR56","doi-asserted-by":"crossref","unstructured":"Zhang, K., Song, G., & Kong, J. (2004). Rapid software prototyping using visual language techniques. In Proceedings of 15th IEEE international workshop on rapid system prototyping.","DOI":"10.1109\/IWRSP.2004.1311106"},{"key":"9192_CR57","doi-asserted-by":"crossref","unstructured":"Zhu, H., Hall, P., & May, J. (1997). Software unit test coverage and adequacy. ACM Computing Surveys, 29(4), 366\u2013427.","DOI":"10.1145\/267580.267590"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-012-9192-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-012-9192-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-012-9192-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,7]],"date-time":"2019-07-07T17:57:31Z","timestamp":1562522251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-012-9192-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12,30]]},"references-count":57,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9192"],"URL":"https:\/\/doi.org\/10.1007\/s11219-012-9192-9","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12,30]]}}}