{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T15:39:46Z","timestamp":1760888386580},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642104510"},{"type":"electronic","value":"9783642104527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10452-7_5","type":"book-chapter","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T03:37:26Z","timestamp":1257305846000},"page":"54-69","source":"Crossref","is-referenced-by-count":5,"title":["Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS"],"prefix":"10.1007","author":[{"given":"Wilkerson L.","family":"Andrade","sequence":"first","affiliation":[]},{"given":"Patr\u00edcia D. L.","family":"Machado","sequence":"additional","affiliation":[]},{"given":"Everton L. G.","family":"Alves","sequence":"additional","affiliation":[]},{"given":"Diego R.","family":"Almeida","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"International Computer Science Series","volume-title":"Software Engineering","author":"I. Sommerville","year":"2006","unstructured":"Sommerville, I.: Software Engineering, 8th edn. International Computer Science Series. Addison-Wesley, Boston (2006)","edition":"8"},{"key":"5_CR2","unstructured":"The FreeRTOS.org Project: FreeRTOS, \n                  \n                    http:\/\/www.freertos.org\/"},{"key":"5_CR3","first-page":"358","volume-title":"APSEC 2004: Proceedings of the 11th Asia-Pacific Software Engineering Conference, Washington, DC, USA","author":"S. Li","year":"2004","unstructured":"Li, S., Wang, J., Dong, W., Qi, Z.C.: Property-oriented testing of real-time systems. In: APSEC 2004: Proceedings of the 11th Asia-Pacific Software Engineering Conference, Washington, DC, USA, pp. 358\u2013365. IEEE Computer Society, Los Alamitos (2004)"},{"key":"5_CR4","unstructured":"Krichen, M.: Model-Based Testing for Real-Time Systems. PhD thesis, Universit Joseph Fourier (December 2007)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-3-540-24732-6_8","volume-title":"Model Checking Software","author":"M. Krichen","year":"2004","unstructured":"Krichen, M., Tripakis, S.: Black-box conformance testing for real-time systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 109\u2013126. Springer, Heidelberg (2004)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-78917-8_3","volume-title":"Formal Methods and Testing","author":"A. Hessel","year":"2008","unstructured":"Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 77\u2013117. Springer, Heidelberg (2008)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/3-540-40911-4_20","volume-title":"Integrated Formal Methods","author":"V. Rusu","year":"2000","unstructured":"Rusu, V., du Bousquet, L., J\u00e9ron, T.: An approach to symbolic test generation. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 338\u2013357. Springer, Heidelberg (2000)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/3-540-46002-0_34","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Clarke","year":"2002","unstructured":"Clarke, D., J\u00e9ron, T., Rusu, V., Zinovieva, E.: STG: A symbolic test generation tool. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, p. 470. Springer, Heidelberg (2002)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/978-3-540-31980-1_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Jeannet","year":"2005","unstructured":"Jeannet, B., J\u00e9ron, T., Rusu, V., Zinovieva, E.: Symbolic test selection based on approximate analysis. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 349\u2013364. Springer, Heidelberg (2005)"},{"key":"5_CR10","series-title":"IFIP book series","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-0-387-34735-6_18","volume-title":"Proceedings of the 4th IFIP Int. Conference on Theoretical Computer Science","author":"T. J\u00e9ron","year":"2006","unstructured":"J\u00e9ron, T., Marchand, H., Rusu, V.: Symbolic determinisation of extended automata. In: Proceedings of the 4th IFIP Int. Conference on Theoretical Computer Science. IFIP book series, vol.\u00a0209, pp. 197\u2013212. Springer, Heidelberg (2006)"},{"key":"5_CR11","unstructured":"Object Management Group: UML superstructure, v2.1.1. Technical Report formal\/07-02-05, OMG (2007), \n                  \n                    http:\/\/www.omg.org\/cgi-bin\/doc?formal\/07-02-05"},{"key":"5_CR12","unstructured":"Barry, R.: Using the FreeRTOS Real Time Kernel: A practical Guide. FreeRTOS.org (2009)"},{"issue":"6","key":"5_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1218776.1218788","volume":"31","author":"A.L.L. Figueiredo de","year":"2006","unstructured":"de Figueiredo, A.L.L., Andrade, W.L., Machado, P.D.L.: Generating interaction test cases for mobile phone systems from use case specifications. SIGSOFT Softw. Eng. Notes\u00a031(6), 1\u201310 (2006); Proceedings of the AMOST 2006","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"5_CR14","unstructured":"Andrade, W.L., Machado, P.D.L.: Modeling and testing interruptions in reactive systems using symbolic models. In: SAST 2008: Proceedings of the 2nd Brazilian Workshop on Systematic and Automated Software Testing, Porto Alegre, RS, Brazil, pp. 34\u201343. Brazilian Computer Society (2008)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","first-page":"54","volume-title":"SBMF 2009","author":"D. D\u00e9harbe","year":"2009","unstructured":"D\u00e9harbe, D., Galvao, S., Moreira, A.M.: Report on an ongoing formal development of a real-time operating system with the B method. In: Oliveira, M.V.M., Woodcock, J. (eds.) SBMF 2009. LNCS, vol.\u00a05902, pp. 54\u201369. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10452-7_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:31:47Z","timestamp":1619767907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10452-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642104510","9783642104527"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10452-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}