{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:16:21Z","timestamp":1725905781552},"publisher-location":"Singapore","reference-count":13,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811054266"},{"type":"electronic","value":"9789811054273"}],"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-981-10-5427-3_19","type":"book-chapter","created":{"date-parts":[[2017,7,21]],"date-time":"2017-07-21T05:43:15Z","timestamp":1500615795000},"page":"173-182","source":"Crossref","is-referenced-by-count":0,"title":["Mutation Analysis of Stateflow to Improve the Modelling Analysis"],"prefix":"10.1007","author":[{"given":"Prachi","family":"Goyal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manju","family":"Nanda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Jayanthi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,22]]},"reference":[{"issue":"2","key":"19_CR1","first-page":"320","volume":"3","author":"M Singh","year":"2013","unstructured":"Singh, M.: Formal methods: a complementary support for testing. Int. J. Adv. Res. Comput. Sci. Softw. Eng. 3(2), 320\u2013322 (2013)","journal-title":"Int. J. Adv. Res. Comput. Sci. Softw. Eng."},{"key":"19_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5815\/ijmecs.2014.11.01","volume":"11","author":"PK Singh","year":"2014","unstructured":"Singh, P.K., Sangwan, O.P., Sharma, A.: A study and review on the development of mutation testing tools for java and aspect-j program. Int. J. Mod. Educ. Comput. Sci. 11, 1\u201310 (2014)","journal-title":"Int. J. Mod. Educ. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Jayanthi, J., Nanda, M., Nayak, S.: A lightweight integration of mutation analysis with the model checker for system safety verification. In: IEEE International Systems Conference (SysCon) (2013)","key":"19_CR3","DOI":"10.1109\/SysCon.2013.6549862"},{"issue":"4","key":"19_CR4","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. Computer 11(4), 34\u201341 (1978). IEEE","journal-title":"Computer"},{"unstructured":"Sujata, P.G., Sonali, I.R.: Investigation of mutation testing & its operators for testing case generations. Int. J. Adv. Res. Comput. Sci. Softw. Eng. 3(10) (2013)","key":"19_CR5"},{"unstructured":"Jayanthi, J., Nanda, M., Sreekath, K.P., Lakshmi, P.: Software design description for SARAS SWS\/AIC System. National Aerospace Laboratories_ ALD, Vol.-10, Rep No: DR-22","key":"19_CR6"},{"unstructured":"Mathworks Inc.: Application Program Interface Guide Version 5 \nhttp:\/\/www.mathworks.com","key":"19_CR7"},{"issue":"5","key":"19_CR8","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Softw. Eng. 37(5), 649\u2013678 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"19_CR9","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"unstructured":"The MathWorks, Mathworks MATLAB Simulink. \nhttp:\/\/www.mathworks.com\/products\/simulink","key":"19_CR10"},{"issue":"7","key":"19_CR11","first-page":"14965","volume":"3","author":"NM Mahesh Gowda","year":"2014","unstructured":"Mahesh Gowda, N.M., Kiran, Y., Parthasarthy, S.S.: Modelling of Buck DC-DC Converter Using Simulink. Int. J. Innov. Res. Sci. Eng. Technol. 3(7), 14965\u201314975 (2014)","journal-title":"Int. J. Innov. Res. Sci. Eng. Technol."},{"unstructured":"Okun, V.: Specification mutation for test generation and analysis (Doctoral dissertation. University of Maryland, Baltimore County) (2004)","key":"19_CR12"},{"unstructured":"Cachia, M.A.: Investigating ways to make mutation testing feasible in agile environments. Report submitted in University of Malta (2012)","key":"19_CR13"}],"container-title":["Communications in Computer and Information Science","Advances in Computing and Data Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-5427-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,21]],"date-time":"2017-07-21T05:48:45Z","timestamp":1500616125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-5427-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789811054266","9789811054273"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-5427-3_19","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}