{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:16:00Z","timestamp":1772532960669,"version":"3.50.1"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319272177","type":"print"},{"value":"9783319272184","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-27218-4_9","type":"book-chapter","created":{"date-parts":[[2015,12,9]],"date-time":"2015-12-09T12:39:11Z","timestamp":1449664751000},"page":"125-139","source":"Crossref","is-referenced-by-count":1,"title":["Natural Language Generation Approach for Automated Generation of Test Cases from Logical Specification of Requirements"],"prefix":"10.1007","author":[{"given":"Richa","family":"Sharma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. K.","family":"Biswas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,10]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, USA (2008)"},{"key":"9_CR2","unstructured":"Incomplete List of Testing Tools. \n                  http:\/\/research.cs.queensu.ca\/~shepard\/testing.dir\/under.construction\/tool_list.html"},{"issue":"4","key":"9_CR3","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1049\/sej.1991.0017","volume":"6","author":"JJP Tsai","year":"1991","unstructured":"Tsai, J.J.P., Weigert, T.: HCLIE: a logic based requirement language for new software engineering paradigms. Softw. Eng. 6(4), 137\u2013151 (1991)","journal-title":"Softw. Eng."},{"issue":"3","key":"9_CR4","first-page":"35","volume":"11","author":"PN Boghdady","year":"2011","unstructured":"Boghdady, P.N., Badr, N.L., Hashem, M., Tolba, M.F.: A proposed test case generation technique based on activity diagrams. Int. J. Eng. Technol. 11(3), 35\u201352 (2011)","journal-title":"Int. J. Eng. Technol."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Kansomkeat, S., Thiket, P., Offutt, J.: Generating test cases from UML activity diagrams using the condition classification method. In: 2nd International Conference on Software Technology and Engineering (ICSTE 2010), pp. V1-62\u2013V1-66, San Juan (2010)","DOI":"10.1109\/ICSTE.2010.5608913"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Li, L., Li, X., He T., Xiong, J.: Extenics-based test case generation for UML activity diagram. In: International Conference on Information Technology and Quantitative Management (ITQM 2013), pp. 1186-1193 (2013)","DOI":"10.1016\/j.procs.2013.05.151"},{"issue":"1","key":"9_CR7","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/s11334-005-0006-0","volume":"1","author":"J Hartmann","year":"2005","unstructured":"Hartmann, J., Vieira, M., Foster, H., Ruder, A.: A UML-based approach to system testing. J. Innovations Syst. Softw. Eng. 1(1), 12\u201324 (2005)","journal-title":"J. Innovations Syst. Softw. Eng."},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/3-540-46852-8_30","volume-title":"\u00abUML\u00bb 1999 - The Unified Modeling Language. Beyond the Standard","author":"J Offutt","year":"1999","unstructured":"Offutt, J., Abdurazik, A.: Generating tests from UML specifications. In: France, R.B. (ed.) UML 1999. LNCS, vol. 1723, pp. 416\u2013429. Springer, Heidelberg (1999)"},{"key":"9_CR9","unstructured":"Heumann, J.: Generating test cases from use cases. In the Rational Edge, e-zine for Rational Community (2001)"},{"key":"9_CR10","unstructured":"Ahlowalia, N.: Testing from use cases using path analysis technique. In: International Conference on Software Testing Analysis and Review (2002)"},{"key":"9_CR11","unstructured":"Kamalkar, S., Edward, S.H., Dao, T.M.: Automatically generating tests from natural language descriptions of software behavior. In: 8th International Conference on Evaluation of Novel Approaches to Software Engineering, France (2013)"},{"key":"9_CR12","first-page":"142","volume-title":"Evaluation of Novel Approaches to Software Engineering","author":"R Sharma","year":"2012","unstructured":"Sharma, R., Biswas, K.K.: A Semi-automated approach towards handling inconsistencies in software requirements. In: Maciaszek, L.A., Filipe, J. (eds.) Evaluation of Novel Approaches to Software Engineering, pp. 142\u2013156. Springer, Heidelberg (2012)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Sharma, R., Biswas, K.K.: Using norm analysis patterns for requirements validation. In: IEEE 2nd International Workshop on Requirements Patterns (RePa), pp. 23\u201328 (2012)","DOI":"10.1109\/RePa.2012.6359965"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Shieber, S.M., Noord, G.N, Moore, R., Pereira, C.N.: A Semantic-head-driven generation algorithm for unification-based formalisms. In: 27th Annual Meeting of the Association for Computational Linguistics, pp. 7\u201317 (1989)","DOI":"10.3115\/981623.981625"},{"key":"9_CR15","unstructured":"Sharma, R., Biswas, K.K.: Automated generation of test cases from logical specification of requirements. In: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Lisbon, Portugal (2014)"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"key":"9_CR17","unstructured":"Nute, D.: Defeasible logic. In: Proceedings of International Conference on Applications of Prolog (INAP 2001), pp. 87\u2013114. IF Computer Japan (2001)"},{"key":"9_CR18","unstructured":"Grosof, B.N.: Courteous logic programs: prioritized conflict handling for rules. IBM Research Report RC20836, IBM Research Division, T.J. Watson Research Centre (1997)"},{"issue":"1","key":"9_CR19","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.elerap.2003.09.005","volume":"3","author":"BN Grosof","year":"2004","unstructured":"Grosof, B.N.: Representing e-commerce rules via situated courteous logic programs in RuleML. Electron. Commer. Res. Appl. 3(1), 2\u201320 (2004)","journal-title":"Electron. Commer. Res. Appl."},{"key":"9_CR20","unstructured":"Kaur, A. and Vig, V.: Systematic review of automatic test case generation by UML diagrams. Int. J. Eng. Res. Technol. 1(7) (2012)"},{"key":"9_CR21","unstructured":"Gutierrez, J.J., Escalona, M.J., Mejias, M., Torres, J.: Generation of test cases from functional requirements, a survey. In: 4th workshop on System Testing and Validation, Potsdam, Germany (2006)"},{"key":"9_CR22","unstructured":"Pertschner, A.: Classical search strategies for test case generation with constraint logic programming. In: International Workshop of Formal Approaches to Software Testing of Software, pp. 47\u201360 (2001)"},{"issue":"4","key":"9_CR23","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/210223.210226","volume":"13","author":"D Mandrioli","year":"1995","unstructured":"Mandrioli, D., Morasca, S., Morzenti, A.: Generating test cases for real-time systems from logical specifications. ACM Trans. Comput. Syst. 13(4), 365\u2013398 (1995)","journal-title":"ACM Trans. Comput. Syst."},{"key":"9_CR24","unstructured":"Grasso, F.: Natural language processing: many questions, no answers. \n                  http:\/\/www.academia.edu\/2824428\/Natural_Language_Processing_many_questions_no_answers"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27218-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T17:29:48Z","timestamp":1559323788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27218-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319272177","9783319272184"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27218-4_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}