{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:08:55Z","timestamp":1726409335277},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319119571"},{"type":"electronic","value":"9783319119588"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11958-8_3","type":"book-chapter","created":{"date-parts":[[2014,9,11]],"date-time":"2014-09-11T11:24:40Z","timestamp":1410434680000},"page":"24-34","source":"Crossref","is-referenced-by-count":0,"title":["Information Systems Requirements Specification and Usage in Test Case Generation"],"prefix":"10.1007","author":[{"given":"Neringa","family":"Sipavi\u010dien\u0117","sequence":"first","affiliation":[]},{"given":"Kristina","family":"Smilgyt\u0117","sequence":"additional","affiliation":[]},{"given":"Rimantas","family":"Butleris","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Westfall, L.: Software Requirements Engineering: What, Why, Who, When, and How. Westfall Team (2006), \n                    \n                      http:\/\/www.westfallteam.com\n                    \n                    \n                   (accessed on December 5, 2012)"},{"key":"3_CR2","unstructured":"Alspaugh, T.A., Sim, S.E., Winbladh, K., Diallo, M.H., Naslavsky, L., Ziv, H., Richardson, D.J.: The Importance of Clarity in Usable Requirements Specification Formats. ISR Technical Report UCI-ISR-06-14 (2006)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-540-31984-9_22","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Rountev","year":"2005","unstructured":"Rountev, A., Kagan, S., Sawin, J.: Coverage Criteria for Testing of Object Interactions in Sequence Diagrams. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 289\u2013304. Springer, Heidelberg (2005)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Lamancha, B.P., Mateo, P.R., de Guzm\u00e1n, I.R., Usaola, M.P., Velthius, M.P.: Automated Model-based Testing using the UML Testing Profile and QVT. In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2009), pp. 6:1\u20136:10. ACM Press, New York (2009)","DOI":"10.1145\/1656485.1656491"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/3-540-45800-X_30","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"F. Basanieri","year":"2002","unstructured":"Basanieri, F., Bertolino, A., Marchetti, E.: The cow_Suite approach to planning and deriving test suites in UML projects. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 383\u2013397. Springer, Heidelberg (2002)"},{"key":"3_CR6","first-page":"76","volume-title":"Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools","author":"M. Dumas","year":"2001","unstructured":"Dumas, M., Hofstede, A.H.M.: UML Activity Diagrams as a Workflow Specifica-tion Language. In: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pp. 76\u201390. Springer, London (2001)"},{"key":"3_CR7","unstructured":"OMG, OMG Systems Modeling Language, \n                    \n                      http:\/\/www.omgsysml.org\n                    \n                    \n                   (accessed on December 02, 2012)"},{"key":"3_CR8","unstructured":"Boyd, N.: Using Natural Language in Software Development, \n                    \n                      http:\/\/www.educery.com\/papers\/rhetoric\/road\/\n                    \n                    \n                   (accessed on December 02, 2012)"},{"key":"3_CR9","unstructured":"Hause, M., Thom, F.: Modeling High Level Requirements in UML\/SysML. In: Rochester 2005 Proceedings, INCOSE International Symposium (2005)"},{"key":"3_CR10","unstructured":"Help - IBM WebSphere ILOG JRules BRMS V7.1.1, \n                    \n                      http:\/\/pic.dhe.ibm.com\/infocenter\/brjrules\/v7r1\/index.jsp?topic=%2Fcom.ibm.websphere.ilog.jrules.doc%2FContent%2FBusiness_Rules%2FDocumentation%2F_pubskel%2FJRules%2Fps_JRules_Global493.html\n                    \n                    \n                   (accessed on January 23, 2013)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/3-540-40011-7_28","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"A. Abdurazik","year":"2000","unstructured":"Abdurazik, A., Offutt, J.: Using UML Collaboration Diagrams for Static Checking and Test Generation. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 383\u2013395. Springer, Heidelberg (2000)"},{"key":"3_CR12","unstructured":"Sumalatha, V.M., Raju, G.S.V.P.: UML based Automated Test Case Generation technique using Activity-Sequence diagram. The International Journal of Computer Science & Applications (TIJCSA)\u00a01(9), 58\u201371 (2012) ISSN 2278-1080"},{"issue":"4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/MS.2011.120","volume":"29","author":"T.O. Meservy","year":"2012","unstructured":"Meservy, T.O., Zhang, C., Lee, E.T., Dhaliwal, J.: The Business Rules Approach and Its Effect on Software Testing. IEEE Software\u00a029(4), 60\u201366 (2012)","journal-title":"IEEE Software"},{"issue":"4","key":"3_CR14","doi-asserted-by":"publisher","first-page":"265","DOI":"10.3923\/jse.2010.265.287","volume":"4","author":"N. Kosindrdecha","year":"2010","unstructured":"Kosindrdecha, N., Daengdej, J.: A Test Case Generation Processand Technique. Journal of Software Engineering\u00a04(4), 265\u2013287 (2010)","journal-title":"Journal of Software Engineering"},{"key":"3_CR15","unstructured":"Heumann, J.: Generating Test Cases from Use Cases. Rational Software (2001)"},{"issue":"2","key":"3_CR16","doi-asserted-by":"publisher","first-page":"115","DOI":"10.5381\/jot.2010.9.2.a2","volume":"9","author":"A. Nayak","year":"2010","unstructured":"Nayak, A., Samanta, D.: Automatic Test Data Synthesis using UML Sequence Diagrams. Journal of Object Technology\u00a09(2), 115\u2013144 (2010)","journal-title":"Journal of Object Technology"},{"key":"3_CR17","unstructured":"OMG, OMG Unified Modeling Language (UML), v2.4.1, OMG Available Speci-fication, formal\/2011-08-06 (2011)"},{"key":"3_CR18","unstructured":"OMG, OMG System Modeling Language (SysML), v1.3, OMG Available Speci-fication, formal\/2012-06-01 (2012)"}],"container-title":["Communications in Computer and Information Science","Information and Software Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11958-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T21:30:03Z","timestamp":1558992603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11958-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319119571","9783319119588"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11958-8_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}