{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:01:40Z","timestamp":1776373300719,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540231769","type":"print"},{"value":"9783540301387","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30138-7_16","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T00:10:34Z","timestamp":1284855034000},"page":"180-194","source":"Crossref","is-referenced-by-count":3,"title":["Automatic Test Data Generation from Embedded C Code"],"prefix":"10.1007","author":[{"given":"Eileen","family":"Dillon","sequence":"first","affiliation":[]},{"given":"Christophe","family":"Meudec","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/565816.503274","volume":"37","author":"T. Ball","year":"2002","unstructured":"Ball, T., Rajamani, S.K.: The SLAM project: debugging system software via static analysis. ACM SIGPLAN Notices\u00a037(1), 1\u20133 (2002), \n                    \n                      http:\/\/research.microsoft.com\/slam\/","journal-title":"ACM SIGPLAN Notices"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/3-540-48753-0_12","volume-title":"Reliable Software Technologies - Ada-Europe \u201999","author":"J. Blieberger","year":"1999","unstructured":"Blieberger, J., Burgstaller, B., Scholz, B.: Interprocedural symbolic evaluation of ada programs with aliases. In: Gonz\u00e1lez Harbour, M., la de Puente, J.A. (eds.) Ada-Europe 1999. LNCS, vol.\u00a01622, pp. 136\u2013145. Springer, Heidelberg (1999)"},{"issue":"7","key":"16_CR3","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H","volume":"30","author":"W. Bush","year":"2000","unstructured":"Bush, W., Pincus, J., Sielaff, D.: A static analyzer for finding dynamic programming errors. Software-Practice and Experience\u00a030(7), 775\u2013802 (2000)","journal-title":"Software-Practice and Experience"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0164-1212(85)90004-4","volume":"5","author":"L.A. Clarke","year":"1985","unstructured":"Clarke, L.A., Richardson, D.J.: Application of symbolic evaluation. Journal of Systems Software\u00a05, 15\u201335 (1985)","journal-title":"Journal of Systems Software"},{"issue":"6","key":"16_CR5","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1049\/sej.1988.0029","volume":"3","author":"P.D. Coward","year":"1988","unstructured":"Coward, P.D.: Symbolic execution systems\u2014a review. Software Engineering Journal\u00a03(6), 229\u2013239 (1988)","journal-title":"Software Engineering Journal"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Czerny, B.J., D\u2019Ambrosio, J.G., Jacob, P.O., Murray, B.T.: Identifying and understanding relevant system safety standards for use in the automotive industry. In: Proceedings of the Society of Automotive Engineers World Congress, Michigan, USA (March 2003)","DOI":"10.4271\/2003-01-1293"},{"issue":"9","key":"16_CR7","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R.A. DeMillo","year":"1991","unstructured":"DeMillo, R.A., Offutt, A.J.: Constraint-based automatic test data generation. IEEE Transactions on Software Engineering\u00a017(9), 900\u2013910 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR8","unstructured":"Dillon, E., Meudec, C.: CSET: Symbolic execution and automatic test data generation of embedded C code. In: Proceedings 16th IFIP International Conference on Testing of Communicating Systems, Oxford, UK, March 2004, Oxford, Position Paper (2004)"},{"key":"16_CR9","unstructured":"Doyle, J., Meudec, C.: Automatic structural coverage testing of Java bytecode. In: Proceedings of the Third Workshop on Automated Verification of Critical Systems (April 2003)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Evans, D.: Static detection of dynamic memory errors. In: Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation (1996)","DOI":"10.1145\/231379.231389"},{"issue":"8","key":"16_CR11","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1109\/32.624304","volume":"23","author":"M.J. Gallagher","year":"1997","unstructured":"Gallagher, M.J., Narasimhan, V.L.: ADTEST: A test data generation suite for Ada software systems. IEEE Transactions on Software Engineering\u00a023(8), 473\u2013484 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Gotlieb, B.: Botella, and M. Rueher. Automatic test data generation using constraint solving techniques. In: Proceedings ISSTA 1998, pp. 53\u201362 (1998)","DOI":"10.1145\/271771.271790"},{"key":"16_CR13","unstructured":"Grogan, M.: Visual symbolic execution. Master\u2019s thesis, Institute of Technology, Carlow, Ireland (2002)"},{"issue":"4","key":"16_CR14","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1002\/spe.4380250402","volume":"25","author":"D. Hamlet","year":"1995","unstructured":"Hamlet, D.: Implementing prototype testing tools. Software-Practice and Experience\u00a025(4), 347\u2013371 (1995)","journal-title":"Software-Practice and Experience"},{"key":"16_CR15","unstructured":"Parasoft Inc. C++Test \u2013 version 2.2 (2004), \n                    \n                      http:\/\/www.parasoft.com\/"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint Logic Programming. In: Proceedings 14th ACM Symposium on Principles of Programming Languages, Munich, January 1987, pp. 111\u2013119 (1987)","DOI":"10.1145\/41625.41635"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"King, J.C.: A new approach to program testing. In: Proceedings International Conference on reliable software, April 1975, pp. 228\u2013233 (1975)","DOI":"10.1145\/800027.808444"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Korel, B.: Automated test data generation for programs with procedures. In: Proceedings ISSTA 1996, pp. 209\u2013215 (1996)","DOI":"10.1145\/229000.226319"},{"key":"16_CR19","unstructured":"Parc Technologies Ltd. ECLiPSe Release 5.6 (2003), \n                    \n                      http:\/\/www.icparc.ic.ac.uk\/eclipse\/"},{"key":"16_CR20","unstructured":"Lyle, J.R., Binkley, D.W.: Program slicing in the presence of pointers. In: Proceedings of the Foundations of Software Engineering, Orlando, FL, USA, November 1993, pp. 255\u2013260 (1993)"},{"issue":"2","key":"16_CR21","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1002\/stvr.225","volume":"11","author":"C. Meudec","year":"2001","unstructured":"Meudec, C.: ATGen: automatic test data generation using constraint logic programming and symbolic execution. Journal of Software Testing, Verification and Reliability\u00a011(2), 81\u201396 (2001)","journal-title":"Journal of Software Testing, Verification and Reliability"},{"key":"16_CR22","unstructured":"Meudec, C.: The PTC solver user manual \u2013 version 1.5.1. Technical report, Institute of Technology, Carlow, Ireland (May 2004)"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Michel, C., Rueher, R., Lebbah, Y.: Constraints solving over floating-point numbers. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 524\u2013538. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45578-7_36"},{"key":"16_CR24","unstructured":"MISRA. Guidelines for the use of the C language in vehicle based software. Technical report, Motor Industry Software Reliability Association (1998)"},{"key":"16_CR25","unstructured":"Praxis Critical Systems Ltd., UK. The Spark Examiner (2004), \n                    \n                      http:\/\/www.sparkada.com\/"},{"key":"16_CR26","unstructured":"Seppanen, V., Kahkonen, A.-M., Oivo, M., Perunka, H., Isomursu, P., Pulli, P.: Strategic needs and future trends of embedded software. Technical Report 48\/96, TEKES Development Center, Finland (October 1996)"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Tracey, N., Clark, J., Mander, K.: Automated program flaw finding using simulated annealing. In: Proceedings ISSTA 1998, pp. 73\u201381 (1998)","DOI":"10.1145\/271771.271792"},{"key":"16_CR28","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","volume":"43","author":"J. Wegener","year":"2001","unstructured":"Wegener, J., Baresel, A., Sthamer, H.: Evolutionary test environment for automatic structural testing. Information and Software Technology\u00a043, 841\u2013854 (2001)","journal-title":"Information and Software Technology"},{"issue":"4","key":"16_CR29","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1137\/0208047","volume":"8","author":"E.J. Weyuker","year":"1979","unstructured":"Weyuker, E.J.: Translatability and decidability questions for restricted classes of program schemas. SIAM Journal of Computers\u00a08(4), 587\u2013589 (1979)","journal-title":"SIAM Journal of Computers"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30138-7_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:51:22Z","timestamp":1620013882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30138-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231769","9783540301387"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30138-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}