{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:14:33Z","timestamp":1725491673955},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752936"},{"type":"electronic","value":"9783540752943"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75294-3_13","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T14:52:08Z","timestamp":1189522328000},"page":"170-178","source":"Crossref","is-referenced-by-count":4,"title":["Designing Fault Injection Experiments Using State-Based Model to Test a Space Software"],"prefix":"10.1007","author":[{"given":"Ana Maria","family":"Ambrosio","sequence":"first","affiliation":[]},{"given":"F\u00e1tima","family":"Mattiello-Francisco","sequence":"additional","affiliation":[]},{"suffix":"Jr.","given":"Valdivino A.","family":"Santiago","sequence":"additional","affiliation":[]},{"given":"Wendell P.","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Eliane","family":"Martins","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Ambrosio, A.M.: CoFI: uma abordagem combinando teste de conformidade e inje\u00e7\u00e3o de falhas para valida\u00e7\u00e3o de software em aplica\u00e7\u00f5es espaciais. INPE-13264-TDI\/1031. Instituto Nacional de Pesquisas Espaciais - INPE (2005)"},{"key":"13_CR2","unstructured":"Ambrosio, A.M., Martins, E., Vijaykumar, N.L., Carvalho, S.V.: A Methodology for Designing Fault Injection Experiments as an Addition to Communication Systems Conformance Testing. In: Proceedings of the 1st Workshop on Dependable Software - Tools and Methods in the IEEE Conference on Dependable System and Network, Yokohama, Japan, 28 June - 1 July 2005 (2005)"},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1109\/32.44380","volume":"16","author":"J. Arlat","year":"1990","unstructured":"Arlat, J., Aguera, M., Amat, L., Crouzet, Y., Fabre, J.-C., Laprie, J.-C., Martins, E., Powell, D.: Fault Injection for Dependability Validation: A Methodology and Some Applications. IEEE Tr on SE\u00a016(2), 166\u2013182 (1990)","journal-title":"IEEE Tr on SE"},{"key":"13_CR4","volume-title":"Testing Object-Oriented Systems-Models, Patterns and Tools","author":"R. Binder","year":"2000","unstructured":"Binder, R.: Testing Object-Oriented Systems-Models, Patterns and Tools. Addison-Wesley, Reading (2000)"},{"key":"13_CR5","unstructured":"Cavalli, A., Gervy, C., Prokopenko, S.: New Approaches for Passive Testing using Extended Finite State Machine Specification. In: WTCS, Canada (2001)"},{"issue":"7","key":"13_CR6","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/TPDS.2004.14","volume":"15","author":"R. Chandra","year":"2004","unstructured":"Chandra, R., Lefever, R.M., Cukier, M., Sanders, W.H.A: global-state triggered fault injector for distributed system evaluation. IEEE Transaction on Parallel and Distributed Systems\u00a015(7), 593\u2013605 (2004)","journal-title":"IEEE Transaction on Parallel and Distributed Systems"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"3","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite state machines. IEEE Trans on Sw Engineering (TSE)\u00a03, 178\u2013187 (1978)","journal-title":"IEEE Trans on Sw Engineering (TSE)"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"1835","DOI":"10.1016\/S1389-1286(99)00063-8","volume":"31","author":"H. Dssouli","year":"1999","unstructured":"Dssouli, H., Salek, K., Aboulhamid, E., En-Nouaary, A., Bourhfir, C.: Test Development for Comm. Protocols: Towards Automation. Computer Networks\u00a031, 1835\u20131872 (1999)","journal-title":"Computer Networks"},{"key":"13_CR9","first-page":"418","volume-title":"IEEE 21th Annual International Symposium on Fault-Tolerant Computing","author":"K. Echtle","year":"1991","unstructured":"Echtle, K., Chen, Y.: Evaluation of Deterministic Fault Injection for Fault-Tolerant Protocol Testing. In: IEEE 21th Annual International Symposium on Fault-Tolerant Computing, Montreal, pp. 418\u2013425. IEEE Computer Society Press, Los Alamitos (1991)"},{"key":"13_CR10","unstructured":"Goddard Space Flight Center (GSFC) (accessed March 2007), available at: http:\/\/radhome.gsfc.nasa.gov\/radhome\/papers\/seeca1.htm"},{"key":"13_CR11","volume-title":"Design and validation of computer protocols","author":"G.J. Holzmann","year":"1990","unstructured":"Holzmann, G.J.: Design and validation of computer protocols. Prentice-Hall, Englewood Cliffs (1990)"},{"key":"13_CR12","unstructured":"International Organization for Standardization ISO\/IEC- IS9646 International standard conformance testing methodology and framework. Geneve (1991)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Martins, E., Mattiello-Francisco, F.A: Tool for Fault Injection and Conformance Testing of Distributed Systems. LNCS, vol.\u00a02847\/2003, pp. 282\u2013302 (2003)","DOI":"10.1007\/978-3-540-45214-0_21"},{"issue":"4","key":"13_CR14","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1023\/A:1008930105477","volume":"8","author":"E. Martins","year":"1999","unstructured":"Martins, E., Sabi\u00e3o, S.B., Ambrosio, A.M.: ConData: a Tool for Automating Specification-based Test Case Generation for Communication Systems. Software Quality Journal\u00a08(4), 303\u2013319 (1999)","journal-title":"Software Quality Journal"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Mattiello-Francisco, M.F., Santiago, V.A., Costa, R., Jogaib, L.: Verifica\u00e7\u00e3o e Valida\u00e7\u00e3o na terceiriza\u00e7\u00e3o de software embarcado em aplica\u00e7\u00e3es espaciais. In: SBQS 2006. Simp\u00f3sio Brasiliero de Qualidade de Software, Villa Velha, ES, Brazil, pp. 368\u2013375 (2006)","DOI":"10.5753\/sbqs.2006.15624"},{"key":"13_CR16","unstructured":"Santiago, V., Mattiello-Francisco, F., Costa, R., Silva, W.P., Ambrosio, A.M.: QSEE Project: An Experience in Outsourcing Software Development for Space Applications. In: SEKE 2007. The Nineteenth International Conference on Software Engineering and Knowledge Engineering, Boston, EUA (2007)"},{"key":"13_CR17","unstructured":"Silva, W.P., et al.: QSEE-TAS: Uma Ferramenta para Execu\u00e7\u00e3o e Relato Automatizados de Testes de Software para Aplica\u00e7\u00e3es Espaciais. In: XX Brazilian Symposium on Software Engineering-SBES (2006)"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75294-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T07:25:35Z","timestamp":1629703535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75294-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540752936","9783540752943"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75294-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}