{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:57Z","timestamp":1772532957235,"version":"3.50.1"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319546261","type":"print"},{"value":"9783319546278","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-54627-8_7","type":"book-chapter","created":{"date-parts":[[2017,2,24]],"date-time":"2017-02-24T09:11:56Z","timestamp":1487927516000},"page":"82-94","source":"Crossref","is-referenced-by-count":8,"title":["Application of Inference Rules to a Software Requirements Ontology to Generate Software Test Cases"],"prefix":"10.1007","author":[{"given":"Vladimir","family":"Tarasov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"He","family":"Tan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad","family":"Ismail","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders","family":"Adlemo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mats","family":"Johansson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"7_CR1","doi-asserted-by":"publisher","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand, S., Burke, E., Chen, T., Clark, J., Cohen, M., Grieskamp, W., Harman, M., Harrold, M., McMinn, P.: An orchestrated survey on automated software test case generation. J. Syst. Softw. 86(8), 1978\u20132001 (2013)","journal-title":"J. Syst. Softw."},{"key":"7_CR2","volume-title":"Prolog Programming for Artificail Intelligence","author":"I Bratko","year":"2011","unstructured":"Bratko, I.: Prolog Programming for Artificail Intelligence, 4th edn. Pearson Education, Upper Saddle River (2011)","edition":"4"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"CapGemini, HP, Sogeti: World quality report 2015\u201316, 80 p. (2015)","DOI":"10.1002\/rwm3.20270"},{"issue":"1","key":"7_CR4","first-page":"1","volume":"1","author":"E Enoiu","year":"2014","unstructured":"Enoiu, E., Causevic, A., Ostrand, T., Weyuker, E., Sundmark, D., Pettersson, P.: Automated test generation using model-checking: an industrial evaluation. Int. J. Softw. Tools Technol. Transf. 1(1), 1\u201319 (2014)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"#cr-split#-7_CR5.1","doi-asserted-by":"crossref","unstructured":"Freitas, A., Vieira, R.: An ontology for guiding performance testing. In: 2014 IEEE\/WIC\/ACM International Joint Conferences on Web Intelligence","DOI":"10.1109\/WI-IAT.2014.62"},{"key":"#cr-split#-7_CR5.2","unstructured":"(WI) and Intelligent Agent Technologies (IAT), pp. 400-407 (2014)"},{"key":"7_CR6","unstructured":"Happel, H.J., Seedorf, S.: Applications of ontologies in software engineering. In: Proceedings of Workshop on Sematic Web Enabled Software Engineering (SWESE) on the ISWC, pp. 5\u20139 (2006)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"890","DOI":"10.1016\/j.infsof.2014.02.011","volume":"56","author":"N Holt","year":"2014","unstructured":"Holt, N., Briand, L., Torkar, R.: Empirical evaluations on the cost-effectiveness of state-based testing: an industrial case study. Inf. Softw. Technol. 56, 890\u2013910 (2014)","journal-title":"Inf. Softw. Technol."},{"key":"7_CR8","unstructured":"Judge Business School, Cambridge University: Cambridge university study states software bugs cost economy $312 billion per year (2013). http:\/\/www.prweb.com\/releases\/2013\/1\/prweb10298185.htm. Accessed 22 Sept 2016"},{"issue":"6","key":"7_CR9","first-page":"17","volume":"1","author":"A Kaur","year":"2012","unstructured":"Kaur, A., Vig, V.: Systematic review of automatic test case generation by UML diagrams. Int. J. Eng. Res. Technol. (IJERT) 1(6), 17 (2012)","journal-title":"Int. J. Eng. Res. Technol. (IJERT)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-540-30504-0_15","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"L Laera","year":"2004","unstructured":"Laera, L., Tamma, V., Bench-Capon, T., Semeraro, G.: SweetProlog: a system to integrate ontologies and rules. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 188\u2013193. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-30504-0_15"},{"key":"7_CR11","unstructured":"Motik, B., Patel-Schneider, P., Parsia, B.: OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. W3C, 2nd edn. (2012)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Mussa, M., Ouchani, S., Al Sammane, W., Hamou-Lhadj, A.: A survey of model-driven testing techniques. In: QSIC 2009 9th International Conference on Quality Software, 24\u201325 August 2009, Jeju, South Korea, pp. 167\u2013172 (2009)","DOI":"10.1109\/QSIC.2009.30"},{"key":"7_CR13","unstructured":"Nasser, V.H., Du, W., MacIsaac, D.: Knowledge-based software test generation. In: The 21st International Conference on Software Engineering and Knowledge Engineering, Boston, USA, pp. 312\u2013317, July 2009"},{"key":"7_CR14","unstructured":"Nguyen, C.D., Perini, A., Tonella, P.: Ontology-based test generation for multiagent systems. In: Proceedings of the 7th international Joint Conference on Autonomous Agents and Multiagent Systems, vol. 3, pp. 1315\u20131320 (2008)"},{"issue":"12","key":"7_CR15","doi-asserted-by":"publisher","first-page":"14660","DOI":"10.1016\/j.eswa.2011.05.017","volume":"38","author":"N Papadakis","year":"2011","unstructured":"Papadakis, N., Stravoskoufos, K., Baratis, E., Petrakis, E., Plexousakis, D.: PROTON: a prolog reasoner for temporal ontologies in OWL. Expert Syst. Appl. 38(12), 14660\u201314667 (2011)","journal-title":"Expert Syst. Appl."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Tan, H., Muhammad, I., Tarasov, V., Adlemo, A., Johansson, M.: Development and evaluation of a software requirements ontology. In: 7th International Workshop on Software Knowledge-SKY 2016 in Conjunction with the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management-IC3K 2016 (2016)","DOI":"10.5220\/0006079300110018"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Wang, Y., Bai, X., Li, J., Huang, R.: Ontology-based test case generation for testing web services. In: Eighth International Symposium on Autonomous Decentralized Systems, ISADS 2007, pp. 43\u201350. IEEE (2007)","DOI":"10.1109\/ISADS.2007.54"}],"container-title":["Lecture Notes in Computer Science","OWL: Experiences and Directions \u2013 Reasoner Evaluation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-54627-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,6]],"date-time":"2023-04-06T18:04:09Z","timestamp":1680804249000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-54627-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319546261","9783319546278"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-54627-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}