{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:55:03Z","timestamp":1743076503028,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319624068"},{"type":"electronic","value":"9783319624075"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-62407-5_11","type":"book-chapter","created":{"date-parts":[[2017,7,14]],"date-time":"2017-07-14T11:16:58Z","timestamp":1500031018000},"page":"160-175","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Test Case\/Step Minimization for Visual Programming Language Models and Its Application to Space Systems"],"prefix":"10.1007","author":[{"given":"Paulo Nolberto","family":"dos Santos Alarcon","sequence":"first","affiliation":[]},{"given":"Valdivino Alexandre","family":"de Santiago J\u00fanior","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,15]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195162059.001.0001","volume-title":"Fundamentals of Space Systems","author":"VL Pisacane","year":"2005","unstructured":"Pisacane, V.L.: Fundamentals of Space Systems. Oxford University Press, New York (2005)"},{"key":"11_CR2","volume-title":"Space Mission Analysis and Design","author":"JR Wertz","year":"1999","unstructured":"Wertz, J.R., Larson, W.J.: Space Mission Analysis and Design. Microcosm Press, Hawthorne (1999). 976 p."},{"key":"11_CR3","volume-title":"Foundations of Software Testing","author":"AP Mathur","year":"2008","unstructured":"Mathur, A.P.: Foundations of Software Testing. Dorling Kindersley (India), Pearson Education in South Asia, Delhi (2008). 689 p"},{"key":"11_CR4","volume-title":"Introdu\u00e7\u00e3o ao teste de Software","author":"ME Delamaro","year":"2007","unstructured":"Delamaro, M.E., Maldonado, J.C., Jino, M.: Introdu\u00e7\u00e3o ao teste de Software. Elsevier, Brasil (2007)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Santiago J\u00fanior, V.A.: SOLIMVA: a methodology for generating model-based test cases from natural language requirements and detecting incompleteness in software specifications. Ph.D. thesis, Instituto Nacional de Pesquisas Espaciais (INPE) (2011)","DOI":"10.1007\/s11219-011-9155-6"},{"issue":"2","key":"11_CR6","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.54","volume":"39","author":"K Balasubramanian","year":"2006","unstructured":"Balasubramanian, K., Gokhale, A., Karsai, G., Sztipanovits, J., Neema, S.: Developing applications using model-driven design environments. Computer 39(2), 33\u201340 (2006)","journal-title":"Computer"},{"issue":"5","key":"11_CR7","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab. 22(5), 297\u2013312 (2012)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Campos, J., Abreu, R.: Encoding test requirements as constraints for test suite minimization. In: 2013 Tenth International Conference on Information Technology: New Generations (ITNG), pp. 317\u2013322. IEEE (2013)","DOI":"10.1109\/ITNG.2013.51"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Ferrante, O., Ferrari, A., Marazza, M.: Model based generation of high coverage test suites for embedded systems. In: 19th IEEE European Test Symposium, vol. 99(2), pp. 335\u2013337 (2014)","DOI":"10.1109\/ETS.2014.6847843"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Fraser, G., Wotawa, F.: Mutant minimization for model-checker based test-case generation. In: Testing: Academic and Industrial Conference Practice and Research Techniques-MUTATION, TAICPART-MUTATION 2007, pp. 161\u2013168. IEEE (2007)","DOI":"10.1109\/TAIC.PART.2007.30"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"1322","DOI":"10.1016\/j.infsof.2014.04.013","volume":"56","author":"C Lin","year":"2014","unstructured":"Lin, C., Tang, K., Kapfhammer, G.M.: Test suite reduction methods that decrease regression testing costs by identifying irreplaceable tests. Inf. Softw. Technol. 56, 1322\u20131344 (2014)","journal-title":"Inf. Softw. Technol."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Holloway, C.M.: Towards understanding the do-178c\/ed-12c assurance case. In: 7th IET International Conference on System Safety, Incorporating the Cyber Security Conference 2012, pp. 1\u20136 (2012)","DOI":"10.1049\/cp.2012.1499"},{"key":"11_CR13","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: Proceedings of the Second Workshop on Formal Methods in Software Practice, pp. 7\u201315. ACM (1998)","DOI":"10.1145\/298595.298598"},{"key":"11_CR15","unstructured":"Alarcon, P.N.S.: Test specification and procedures for AOCS. Technical report, S\u00e3o Jos\u00e9 dos Campos (2013)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Jan\u00edk, Z., \u017d\u00e1kov\u00e1, K.: Online design of Matlab\/Simulink and SciLab\/Xcos block schemes. In: 2011 14th International Conference on Interactive Collaborative Learning (ICL), pp. 241\u2013247 (2011)","DOI":"10.1109\/ICL.2011.6059583"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-18638-7_8","volume-title":"Graph Drawing Software","author":"R Wiese","year":"2004","unstructured":"Wiese, R., Eiglsperger, M., Kaufmann, M.: yFiles visualization and automatic layout of graphs. In: J\u00fcnger, M., Mutzel, P. (eds.) Graph Drawing Software, pp. 173\u2013191. Springer, Heidelberg (2004). doi:10.1007\/978-3-642-18638-7_8"},{"key":"11_CR18","volume-title":"Mastering Matlab 7","author":"DC Hanselman","year":"2005","unstructured":"Hanselman, D.C., Littlefield, B.: Mastering Matlab 7. Pearson\/Prentice Hall, Upper Saddle River (2005)"},{"issue":"5","key":"11_CR19","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"JJ Chilenski","year":"1994","unstructured":"Chilenski, J.J., Miller, S.P.: Applicability of modified condition\/decision coverage to software testing. Softw. Eng. J. 9(5), 193\u2013200 (1994)","journal-title":"Softw. Eng. J."},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Bartocci, E., DeFrancisco, R., Smolka, S.A.: Towards a GPGPU-parallel SPIN model checker. In: Proceedings of the 2014 International SPIN Symposium on Model Checking of Software, pp. 87\u201396 (2014)","DOI":"10.1145\/2632362.2632379"},{"issue":"1","key":"11_CR21","doi-asserted-by":"publisher","first-page":"65","DOI":"10.2991\/ijndc.2016.4.1.7","volume":"4","author":"C Yamada","year":"2016","unstructured":"Yamada, C., Miller, D.M.: Using spin to check simulink stateflow models. Int. J. Netw. Distrib. Comput. 4(1), 65\u201374 (2016)","journal-title":"Int. J. Netw. Distrib. Comput."},{"key":"11_CR22","unstructured":"Araujo, H.A.B.: AOCS design specification. Technical report, S\u00e3o Jos\u00e9 dos Campos (2012)"},{"key":"11_CR23","unstructured":"Alarcon, P.N.S., Carvalho, F.G.M., Simoes, A.R.: Gera\u00e7\u00e3o autom\u00e1tica de casos de teste aplicada ao projeto de aocs de sat\u00e9lites artificiais. In: XX Congresso Brasileiro de Autom\u00e1tica (CBA 2014), pp. 1652\u20131659 (2014)"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/j.scico.2013.03.005","volume":"82","author":"X Gan","year":"2014","unstructured":"Gan, X., Dubrovin, J., Heljanko, K.: A symbolic model checking approach to verifying satellite onboard software. Sci. Comput. Program. 82, 44\u201355 (2014)","journal-title":"Sci. Comput. Program."},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Nardone, V., Santone, A., Tipaldi, M., Glielmo, L.: Probabilistic model checking applied to autonomous spacecraft reconfiguration. In: 2016 IEEE Metrology for Aerospace (MetroAeroSpace), pp. 556\u2013560 (2016)","DOI":"10.1109\/MetroAeroSpace.2016.7573276"},{"issue":"3","key":"11_CR26","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1002\/stvr.402","volume":"19","author":"G Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.E.: Testing with model checkers: a survey. Softw. Test. Verif. Reliab. 19(3), 215\u2013261 (2009)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Ferrante, O., Marazza, M., Ferrari, A.: Formal specs verifier ATG: a tool for model-based generation of high coverage test suites. In: 19th IEEE European Test Symposium, vol. 99(2), pp. 335\u2013337 (2014)","DOI":"10.1109\/ETS.2014.6847843"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Zeng, H., Miao, H., Liu, J.: Specification-based test generation and optimization using model checking. In: Symposium on Theoretical Aspects of Software Engineering (TASE 2007) (2007)","DOI":"10.1109\/TASE.2007.46"},{"key":"11_CR29","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/s10009-014-0355-9","volume":"18","author":"EP Enoiu","year":"2014","unstructured":"Enoiu, E.P., Causevic, A., Ostrand, T.J., Weyuker, E.J., Sundmark, D., Pettersson, P.: Automated test generation using model checking: an industrial evaluation. Int. J. Softw. Tools Technol. Transf. 18, 335\u2013353 (2014)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Yeolekar, A., Unadkat, D., Agarwal, V., Kumar, S., Venkatesh, R.: Scaling model checking for test generation using dynamic inference. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, pp. 184\u2013191 (2013)","DOI":"10.1109\/ICST.2013.29"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Gent, K., Hsiao, M.S.: Functional test generation at the RTL using swarm intelligence and bounded model checking. In: 2013 22nd Asian Test Symposium, pp. 233\u2013238 (2013)","DOI":"10.1109\/ATS.2013.51"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Wang, S., Ali, S., Gotlieb, A.: Minimizing test suites in software product lines using weight-based genetic algorithms. In: Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, pp. 1493\u20131500 (2013)","DOI":"10.1145\/2463372.2463545"},{"issue":"3","key":"11_CR33","first-page":"95","volume":"39","author":"G Dandan","year":"2013","unstructured":"Dandan, G., Tiantian, W., Xiaohong, S., Peijun, M.: A test-suite reduction approach to improving fault-localization effectiveness. Comput. Lang. Syst. Struct. 39(3), 95\u2013108 (2013)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"11_CR34","unstructured":"Singh, R., Santosh, M.: Test case minimization techniques: a review. Int. J. Eng. Res. Technol. (IJERT) 2(12) (2013)"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2017"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-62407-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T18:02:40Z","timestamp":1710266560000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-62407-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319624068","9783319624075"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-62407-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"15 July 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Trieste","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 July 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 July 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccsa2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.iccsa.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}