{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:00Z","timestamp":1740122460238,"version":"3.37.3"},"reference-count":75,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,5,8]],"date-time":"2013-05-08T00:00:00Z","timestamp":1367971200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1007\/s10515-013-0127-x","type":"journal-article","created":{"date-parts":[[2013,5,7]],"date-time":"2013-05-07T19:25:44Z","timestamp":1367954744000},"page":"107-143","source":"Crossref","is-referenced-by-count":17,"title":["Behind the scenes in SANTE: a combination of static and dynamic analyses"],"prefix":"10.1007","volume":"21","author":[{"given":"Omar","family":"Chebaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Cuoq","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolai","family":"Kosmatov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Marre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne","family":"Pacalet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicky","family":"Williams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boris","family":"Yakobowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,5,8]]},"reference":[{"key":"127_CR1","series-title":"LNCS","first-page":"1","volume-title":"The Third International Symposium on Formal Methods for Components and Objects (FMCO 2004)","author":"T. Ball","year":"2004","unstructured":"Ball, T.: A theory of predicate-complete test coverage and generation. In: The Third International Symposium on Formal Methods for Components and Objects (FMCO 2004). LNCS, vol. 3657, pp. 1\u201322. Springer, Berlin (2004)"},{"key":"127_CR2","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/ICST.2008.8","volume-title":"The First International Conference on Software Testing, Verification, and Validation (ICST 2008)","author":"S. Bardin","year":"2008","unstructured":"Bardin, S., Herrmann, P.: Structural testing of executables. In: The First International Conference on Software Testing, Verification, and Validation (ICST 2008), pp. 22\u201331. IEEE Computer Society, Los Alamitos (2008)"},{"key":"127_CR3","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/978-3-642-12002-2_7","volume-title":"The 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010)","author":"S. Bardin","year":"2010","unstructured":"Bardin, S., Herrmann, P., Perroud, F.: An alternative to SAT-based approaches for bit-vectors. In: The 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010). LNCS, vol. 6015, pp. 84\u201398. Springer, Berlin (2010)"},{"key":"127_CR4","volume-title":"ACSL: ANSI\/ISO C Specification Language, v1.6","author":"P. Baudin","year":"2012","unstructured":"Baudin, P., Filli\u00e2tre, J.C., Hubert, T., March\u00e9, C., Monate, B., Moy, Y., Prevosto, V.: In: ACSL: ANSI\/ISO C Specification Language, v1.6 (2012). URL: http:\/\/frama-c.com\/acsl.html"},{"key":"127_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/1390630.1390634","volume-title":"The ACM\/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)","author":"N.E. Beckman","year":"2008","unstructured":"Beckman, N.E., Nori, A.V., Rajamani, S.K., Simmons, R.J.: Proofs from tests. In: The ACM\/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), pp. 3\u201314. ACM, New York (2008)"},{"key":"127_CR6","volume-title":"The 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2010)","author":"P. Berthom\u00e9","year":"2010","unstructured":"Berthom\u00e9, P., Heydemann, K., Kauffmann-Tourkestansky, X., Lalande, J.F.: Attack model for verification of interval security properties for smart card c codes. In: The 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2010). ACM, New York (2010)"},{"issue":"5\u20136","key":"127_CR7","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1007\/s10009-007-0044-z","volume":"9","author":"D. Beyer","year":"2007","unstructured":"Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker Blast: applications to software engineering. Int. J. Softw. Tools Technol. Transf. 9(5\u20136), 505\u2013525 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"1","key":"127_CR8","first-page":"5","volume":"9","author":"R. Bonichon","year":"2011","unstructured":"Bonichon, R., Cuoq, P.: A mergeable interval map. Studia Inform. Universalis 9(1), 5\u201337 (2011)","journal-title":"Studia Inform. Universalis"},{"key":"127_CR9","first-page":"322","volume-title":"The 13th ACM Conference on Computer and Communications Security (CCS 2006)","author":"C. Cadar","year":"2006","unstructured":"Cadar, C., Ganesh, V., Pawlowski, P.M., Dill, D.L., Engler, D.R.: EXE: automatically generating inputs of death. In: The 13th ACM Conference on Computer and Communications Security (CCS 2006), pp. 322\u2013335. ACM, New York (2006)"},{"key":"127_CR10","first-page":"209","volume-title":"The 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008)","author":"C. Cadar","year":"2008","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: The 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008), pp. 209\u2013224. USENIX Association, Berkeley (2008)"},{"key":"127_CR11","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1109\/SCAM.2009.22","volume-title":"The Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2009)","author":"G. Canet","year":"2009","unstructured":"Canet, G., Cuoq, P., Monate, B.: A value analysis for C programs. In: The Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2009), pp. 123\u2013124. IEEE Computer Society, Los Alamitos (2009)"},{"key":"127_CR12","series-title":"LNCS","first-page":"652","volume-title":"The 4th International Conference on Tests and Proofs (TAP 2010)","author":"O. Chebaro","year":"2010","unstructured":"Chebaro, O., Kosmatov, N., Giorgetti, A., Julliand, J.: Combining static analysis and test generation for C program debugging. In: The 4th International Conference on Tests and Proofs (TAP 2010). LNCS, pp. 652\u2013666. Springer, Berlin (2010)"},{"key":"127_CR13","series-title":"LNCS","first-page":"78","volume-title":"The 5th International Conference on Tests and Proofs (TAP 2011)","author":"O. Chebaro","year":"2011","unstructured":"Chebaro, O., Kosmatov, N., Giorgetti, A., Julliand, J.: The SANTE tool: value analysis, program slicing and test generation for C program debugging. In: The 5th International Conference on Tests and Proofs (TAP 2011). LNCS, pp. 78\u201383. Springer, Berlin (2011)"},{"key":"127_CR14","first-page":"1284","volume-title":"The ACM Symposium on Applied Computing (SAC 2012)","author":"O. Chebaro","year":"2012","unstructured":"Chebaro, O., Kosmatov, N., Giorgetti, A., Julliand, J.: Program slicing enhances a verification technique combining static and dynamic analysis. In: The ACM Symposium on Applied Computing (SAC 2012), pp. 1284\u20131291. ACM, New York (2012)"},{"issue":"4","key":"127_CR15","doi-asserted-by":"crossref","first-page":"1097","DOI":"10.1145\/183432.183438","volume":"16","author":"J.D. Choi","year":"1994","unstructured":"Choi, J.D., Ferrante, J.: Static slicing in the presence of goto statements. ACM Trans. Program. Lang. Syst. 16(4), 1097\u20131113 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"127_CR16","series-title":"LNCS","first-page":"108","volume-title":"The International Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart Devices (CASSIS 2004)","author":"D.R. Cok","year":"2004","unstructured":"Cok, D.R., Kiniry, J.R.: ESC\/Java2: uniting ESC\/Java and JML. In: The International Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart Devices (CASSIS 2004). LNCS, vol. 3362, pp. 108\u2013128. Springer, Berlin (2004)"},{"key":"127_CR17","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/978-3-642-32469-7_8","volume-title":"The 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2012)","author":"L. Correnson","year":"2012","unstructured":"Correnson, L., Signoles, J.: Combining analyses for C program verification. In: The 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2012). LNCS, vol. 7437, pp. 108\u2013130. Springer, Berlin (2012)"},{"key":"127_CR18","unstructured":"Correnson, L., Cuoq, P., Kirchner, F., Prevosto, V., Puccetti, A., Signoles, J., Yakobowski, B.: Frama-C User Manual (2012). URL: http:\/\/frama-c.com"},{"key":"127_CR19","first-page":"238","volume-title":"The 4th Symposium on Principles of Programming Languages (POPL 1977)","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: The 4th Symposium on Principles of Programming Languages (POPL 1977), pp. 238\u2013252 (1977)"},{"issue":"11","key":"127_CR20","doi-asserted-by":"crossref","first-page":"1025","DOI":"10.1002\/spe.602","volume":"34","author":"C. Csallner","year":"2004","unstructured":"Csallner, C., Smaragdakis, Y.: JCrasher: an automatic robustness tester for Java. Softw. Pract. Exp. 34(11), 1025\u20131050 (2004)","journal-title":"Softw. Pract. Exp."},{"key":"127_CR21","first-page":"861","volume-title":"The 28th ACM\/IEEE International Conference on Software Engineering (ICSE 2006), Emerging Results Track","author":"C. Csallner","year":"2006","unstructured":"Csallner, C., Smaragdakis, Y.: Dynamically discovering likely interface invariants. In: The 28th ACM\/IEEE International Conference on Software Engineering (ICSE 2006), Emerging Results Track, pp. 861\u2013864. ACM, New York (2006)"},{"key":"127_CR22","first-page":"13","volume-title":"The ACM Workshop on ML","author":"P. Cuoq","year":"2008","unstructured":"Cuoq, P., Doligez, D.: Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in OCaml 3.10.2. In: The ACM Workshop on ML, pp. 13\u201322. ACM, New York (2008)"},{"key":"127_CR23","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1145\/1596550.1596591","volume-title":"The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009)","author":"P. Cuoq","year":"2009","unstructured":"Cuoq, P., Signoles, J., Baudin, P., Bonichon, R., Canet, G., Correnson, L., Monate, B., Prevosto, V., Puccetti, A.: Experience report: OCaml for an industrial-strength static analysis framework. In: The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), pp. 281\u2013286. ACM, New York (2009)"},{"issue":"5","key":"127_CR24","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/s10009-011-0192-z","volume":"13","author":"P. Cuoq","year":"2011","unstructured":"Cuoq, P., Monate, B., Pacalet, A., Prevosto, V.: Functional dependencies of C functions via weakest pre-conditions. Int. J. Softw. Tools Technol. Transf. 13(5), 405\u2013417 (2011)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"127_CR25","volume-title":"The Embedded Real-Time Software and Systems Congress (ERTS2 2012)","author":"P. Cuoq","year":"2012","unstructured":"Cuoq, P., Delmas, D., Duprat, S., Moya Lamiel, V.: Fan-C, a Frama-C plug-in for data flow verification. In: The Embedded Real-Time Software and Systems Congress (ERTS2 2012) (2012a)"},{"key":"127_CR26","volume-title":"The 8th International Conference on Nuclear Plant Instrumentation and Control (NPIC 2012)","author":"P. Cuoq","year":"2012","unstructured":"Cuoq, P., Hilsenkopf, P., Kirchner, F., Labb\u00e9, S., Thuy, N., Yakobowski, B.: Formal verification of software important to safety using the Frama-C tool suite. In: The 8th International Conference on Nuclear Plant Instrumentation and Control (NPIC 2012) (2012b)"},{"key":"127_CR27","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/978-3-642-33826-7_16","volume-title":"The 10th International Conference on Software Engineering and Formal Methods (SEFM 2012)","author":"P. Cuoq","year":"2012","unstructured":"Cuoq, P., Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C, a program analysis perspective. In: The 10th International Conference on Software Engineering and Formal Methods (SEFM 2012). LNCS, vol. 7504, pp. 233\u2013247. Springer, Berlin (2012c)"},{"key":"127_CR28","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1007\/978-3-642-28891-3_12","volume-title":"The 4th International NASA Formal Methods Symposium (NFM 2012)","author":"P. Cuoq","year":"2012","unstructured":"Cuoq, P., Monate, B., Pacalet, A., Prevosto, V., Regehr, J., Yakobowski, B., Yang, X.: Testing static analyzers with randomly generated programs. In: The 4th International NASA Formal Methods Symposium (NFM 2012). LNCS, vol. 7226, pp. 120\u2013125. Springer, Berlin (2012d)"},{"key":"127_CR29","unstructured":"Dragoi, C., Sighireanu, M.: CELIA User manual (2011). http:\/\/www.liafa.jussieu.fr\/celia\/"},{"issue":"1\u20133","key":"127_CR30","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"M.D. Ernst","year":"2007","unstructured":"Ernst, M.D., Perkins, J.H., Guo, P.J., McCamant, S., Pacheco, C., Tschantz, M.S., Xiao, C.: The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1\u20133), 35\u201345 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"127_CR31","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. 9(3), 319\u2013349 (1987)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"127_CR32","first-page":"992","volume-title":"The 33rd International Conference on Software Engineering (ICSE 2011)","author":"X. Ge","year":"2011","unstructured":"Ge, X., Taneja, K., Xie, T., Tillmann, N.: DyTa: dynamic symbolic execution guided with static verification results. In: The 33rd International Conference on Software Engineering (ICSE 2011), pp. 992\u2013994. ACM, New York (2011)"},{"key":"127_CR33","volume-title":"The Network and Distributed System Security Symposium (NDSS 2008)","author":"P. Godefroid","year":"2008","unstructured":"Godefroid, P., Levin, M.Y., Molnar, D.A.: Automated whitebox fuzz testing. In: The Network and Distributed System Security Symposium (NDSS 2008). The Internet Society, Washington (2008)"},{"key":"127_CR34","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1109\/ICST.2009.10","volume-title":"The Second International Conference on Software Testing Verification and Validation (ICST 2009)","author":"A. Gotlieb","year":"2009","unstructured":"Gotlieb, A.: Euclide: a constraint-based testing platform for critical C programs. In: The Second International Conference on Software Testing Verification and Validation (ICST 2009), pp. 151\u2013160. IEEE Computer Society, Los Alamitos (2009)"},{"key":"127_CR35","volume-title":"The International Conference on Software and Systems Engineering and Their Applications (ICSSEA 2006)","author":"A. Gotlieb","year":"2006","unstructured":"Gotlieb, A., Botella, B., Watel, M.: INKA: ten years after the first ideas. In: The International Conference on Software and Systems Engineering and Their Applications (ICSSEA 2006) (2006)"},{"key":"127_CR36","volume-title":"The CP 2010 Workshop on Constraint Modelling and Reformulation (ModRef 2010)","author":"A. Gotlieb","year":"2010","unstructured":"Gotlieb, A., Leconte, M., Marre, B.: Constraint solving on modular integers. In: The CP 2010 Workshop on Constraint Modelling and Reformulation (ModRef 2010) (2010)"},{"key":"127_CR37","series-title":"LNCS","first-page":"169","volume-title":"The International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1991), vol.\u00a01: Colloquium on Trees in Algebra and Programming (CAAP 1991)","author":"P. Granger","year":"1991","unstructured":"Granger, P.: Static analysis of linear congruence equalities among variables of a program. In: The International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1991), vol.\u00a01: Colloquium on Trees in Algebra and Programming (CAAP 1991). LNCS, pp. 169\u2013192. Springer, Berlin (1991)"},{"issue":"3","key":"127_CR38","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2006.01.002","volume":"144","author":"W. Grieskamp","year":"2006","unstructured":"Grieskamp, W., Tillmann, N., Schulte, W.: Xrt-exploring runtime for .net architecture and applications. Electron. Notes Theor. Comput. Sci. 144(3), 3\u201326 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"127_CR39","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1145\/1181775.1181790","volume-title":"The 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2006)","author":"B.S. Gulavani","year":"2006","unstructured":"Gulavani, B.S., Henzinger, T.A., Kannan, Y., Nori, A.V., Rajamani, S.K.: SYNERGY: a new algorithm for property checking. In: The 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2006), pp. 117\u2013127. ACM, New York (2006)"},{"key":"127_CR40","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/53990.53994","volume-title":"The ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 1988)","author":"S. Horwitz","year":"1988","unstructured":"Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. In: The ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 1988), vol. 23, pp. 35\u201346. ACM, New York (1988)"},{"key":"127_CR41","doi-asserted-by":"crossref","unstructured":"IEEE Std 754-2008: IEEE standard for floating-point arithmetic. Tech. rep. (2008) http:\/\/dx.doi.org\/10.1109\/IEEESTD.2008.4610935","DOI":"10.1109\/IEEESTD.2008.4610935"},{"key":"127_CR42","unstructured":"International Organization for Standardization: ISO\/IEC\u00a09899:TC3: Programming Languages\u2014C (2007). http:\/\/www.open-std.org\/jtc1\/sc22\/wg14\/www\/docs\/n1256.pdf"},{"key":"127_CR43","unstructured":"Iosif, R., Garnier, F. (eds.):. Flata-C (2013). http:\/\/www-verimag.imag.fr\/FLATA-C.html"},{"key":"127_CR44","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1109\/ISSRE.2008.25","volume-title":"The 19th International Symposium on Software Reliability Engineering (ISSRE 2008)","author":"N. Kosmatov","year":"2008","unstructured":"Kosmatov, N.: All-paths test generation for programs with internal aliases. In: The 19th International Symposium on Software Reliability Engineering (ISSRE 2008), pp. 147\u2013156. IEEE Computer Society, Los Alamitos (2008)"},{"key":"127_CR45","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1109\/TAICPART.2009.26","volume-title":"Proceedings of the Testing: Academic and Industrial Conference\u2014Practice and Research Techniques (TAIC PART 2009)","author":"N. Kosmatov","year":"2009","unstructured":"Kosmatov, N.: On complexity of all-paths test generation. From practice to theory. In: Proceedings of the Testing: Academic and Industrial Conference\u2014Practice and Research Techniques (TAIC PART 2009), pp. 144\u2013153. IEEE Computer Society Press, Los Alamitos (2009)"},{"key":"127_CR46","unstructured":"Kosmatov, N.: Online version of PathCrawler (2010\u20132012). http:\/\/pathcrawler-online.com\/"},{"key":"127_CR47","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1109\/ISSRE.2004.12","volume-title":"The 15th International Symposium on Software Reliability Engineering (ISSRE 2004)","author":"N. Kosmatov","year":"2004","unstructured":"Kosmatov, N., Legeard, B., Peureux, F., Utting, M.: Boundary coverage criteria for test generation from formal models. In: The 15th International Symposium on Software Reliability Engineering (ISSRE 2004), pp. 139\u2013150. IEEE Computer Society, Los Alamitos (2004)"},{"key":"127_CR48","first-page":"389","volume-title":"The 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2007)","author":"K. Ku","year":"2007","unstructured":"Ku, K., Hart, T.E., Chechik, M., Lie, D.: A buffer overflow benchmark for software model checkers. In: The 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2007), pp. 389\u2013392. ACM, New York (2007)"},{"key":"127_CR49","volume-title":"The CP 2006 Workshop on Constraints in Software Testing, Verification and Analysis, CSTVA 2006","author":"M. Leconte","year":"2006","unstructured":"Leconte, M., Berstel, B.: Extending a cp solver with congruences as domains for software verification. In: The CP 2006 Workshop on Constraints in Software Testing, Verification and Analysis, CSTVA 2006 (2006)"},{"key":"127_CR50","first-page":"330","volume-title":"The 30th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO 1997)","author":"C. Lee","year":"1997","unstructured":"Lee, C., Potkonjak, M., Mangione-Smith, W.H.: MediaBench: a tool for evaluating and synthesizing multimedia and communications systems. In: The 30th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO 1997), pp. 330\u2013335. IEEE Computer Society, Los Alamitos (1997)"},{"issue":"1","key":"127_CR51","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/S0164-1212(02)00135-8","volume":"68","author":"D.B. Mark Harman","year":"2003","unstructured":"Mark Harman, D.B., Danicic, S.: Amorphous program slicing. J. Syst. Softw. 68(1), 45\u201364 (2003)","journal-title":"J. Syst. Softw."},{"key":"127_CR52","first-page":"229","volume-title":"The 15th IEEE International Conference on Automated Software Engineering (ASE 2000)","author":"B. Marre","year":"2000","unstructured":"Marre, B., Arnould, A.: Test sequences generation from Lustre descriptions: GATeL. In: The 15th IEEE International Conference on Automated Software Engineering (ASE 2000), pp. 229\u2013237. IEEE Computer Society, Los Alamitos (2000)"},{"key":"127_CR53","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/j.entcs.2004.12.010","volume":"111","author":"B. Marre","year":"2005","unstructured":"Marre, B., Blanc, B.: Test selection strategies for Lustre descriptions in GATeL. Electron. Notes Theor. Comput. Sci. 111, 93\u2013111 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"127_CR54","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/978-3-642-15396-9_30","volume-title":"The 16th International Conference on Principles and Practice of Constraint Programming (CP 2010)","author":"B. Marre","year":"2010","unstructured":"Marre, B., Michel, C.: Improving the floating point addition and subtraction constraints. In: The 16th International Conference on Principles and Practice of Constraint Programming (CP 2010). LNCS, vol. 6308, pp. 360\u2013367. Springer, Berlin (2010)"},{"key":"127_CR55","volume-title":"The 7th International Symposium on Artificial Intelligence and Mathematics (AIMA 2002)","author":"C. Michel","year":"2002","unstructured":"Michel, C.: Exact projection functions for floating point number constraints. In: The 7th International Symposium on Artificial Intelligence and Mathematics (AIMA 2002) (2002)"},{"key":"127_CR56","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/ICST.2008.35","volume-title":"The First International Conference on Software Testing, Verification, and Validation (ICST 2008)","author":"P. Mouy","year":"2008","unstructured":"Mouy, P., Marre, B., Willams, N., Le Gall, P.: Generation of all-paths unit test with function calls. In: The First International Conference on Software Testing, Verification, and Validation (ICST 2008), pp. 32\u201341. IEEE Computer Society, Los Alamitos (2008)"},{"key":"127_CR57","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/3-540-45937-5_16","volume-title":"The International Conference on Compiler Construction (CC 2002)","author":"G.C. Necula","year":"2002","unstructured":"Necula, G.C., Mcpeak, S., Rahul, S.P., Weimer, W.: Cil: intermediate language and tools for analysis and transformation of C programs. In: The International Conference on Compiler Construction (CC 2002). LNCS, vol. 2304, pp. 213\u2013228. Springer, Berlin (2002)"},{"key":"127_CR58","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/800020.808263","volume-title":"The First ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (SDE 1984)","author":"K.J. Ottenstein","year":"1984","unstructured":"Ottenstein, K.J., Ottenstein, L.M.: The program dependence graph in a software development environment. In: The First ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (SDE 1984), pp. 177\u2013184. ACM, New York (1984)"},{"key":"127_CR59","first-page":"205","volume-title":"The International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010)","author":"D. Pariente","year":"2010","unstructured":"Pariente, D., Ledinot, E.: Formal verification of industrial C code using Frama-C: a case study. In: The International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), pp. 205\u2013218 (2010)"},{"key":"127_CR60","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/11513988_7","volume-title":"The 17th International Conference on Computer Aided Verification (CAV 2005)","author":"C. Pasareanu","year":"2005","unstructured":"Pasareanu, C., Pelanek, R., Visser, W.: Concrete model checking with abstract matching and refinement. In: The 17th International Conference on Computer Aided Verification (CAV 2005). LNCS, vol. 3576, pp. 52\u201366. Springer, Berlin (2005)"},{"key":"127_CR61","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-61580-6_20","volume-title":"The Dagstuhl Seminar on Partial Evaluation","author":"T. Reps","year":"1996","unstructured":"Reps, T., Turnidge, T.: Program specialization via program slicing. In: The Dagstuhl Seminar on Partial Evaluation. LNCS, vol. 1110, pp. 409\u2013429. Springer, Berlin (1996)"},{"issue":"1\u20132","key":"127_CR62","first-page":"127","volume":"12","author":"J. Schimpf","year":"2011","unstructured":"Schimpf, J., Shen, K.: ECLiPSe\u2014from LP to CLP. Theory Pract. Log. Program. 12(1\u20132), 127\u2013156 (2011)","journal-title":"Theory Pract. Log. Program."},{"key":"127_CR63","first-page":"263","volume-title":"The 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE 2005)","author":"K. Sen","year":"2005","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: The 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE 2005), pp. 263\u2013272. ACM, New York (2005)"},{"issue":"2","key":"127_CR64","first-page":"20","volume":"7","author":"J. Signoles","year":"2009","unstructured":"Signoles, J.: Foncteurs imp\u00e9ratifs et compos\u00e9s: la notion de projets dans Frama-C. Studia Inform. Universalis 7(2), 20\u201351 (2009)","journal-title":"Studia Inform. Universalis"},{"key":"127_CR65","first-page":"209","volume-title":"Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2011)","author":"J. Signoles","year":"2011","unstructured":"Signoles, J.: Une biblioth\u00e8que de typage dynamique en OCaml. In: Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2011), pp. 209\u2013242. Hermann, Studia Informatica Universalis, Paris (2011)"},{"key":"127_CR66","series-title":"LNCS","first-page":"1","volume-title":"The First International Conference on Tests and Proofs (TAP 2007)","author":"Y. Smaragdakis","year":"2007","unstructured":"Smaragdakis, Y., Csallner, C.: Combining static and dynamic reasoning for bug detection. In: The First International Conference on Tests and Proofs (TAP 2007). LNCS, vol. 4454, pp. 1\u201316. Springer, Berlin (2007)"},{"key":"127_CR67","series-title":"LNCS","first-page":"133","volume-title":"The Second International Conference on Tests and Proofs (TAP 2008)","author":"N. Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: White box test generation for .NET. In: The Second International Conference on Tests and Proofs (TAP 2008). LNCS, vol. 4966, pp. 133\u2013153. Springer, Berlin (2008)"},{"key":"127_CR68","unstructured":"Tip, F.: A survey of program slicing techniques. J. Prog. Lang. 3(3) (1995)"},{"key":"127_CR69","first-page":"439","volume-title":"The 5th International Conference on Software Engineering (ICSE 1981)","author":"M. Weiser","year":"1981","unstructured":"Weiser, M.: Program slicing. In: The 5th International Conference on Software Engineering (ICSE 1981), pp. 439\u2013449. IEEE Computer Society, Los Alamitos (1981)"},{"issue":"7","key":"127_CR70","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Weiser, M.: Programmers use slices when debugging. Commun. ACM 25(7), 446\u2013452 (1982)","journal-title":"Commun. ACM"},{"key":"127_CR71","volume-title":"The 5th International Workshop on Worst-Case Execution Time Analysis (WCET 2005)","author":"N. Williams","year":"2005","unstructured":"Williams, N.: WCET measurement using modified path testing. In: The 5th International Workshop on Worst-Case Execution Time Analysis (WCET 2005) (2005)"},{"key":"127_CR72","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1109\/ASE.2004.1342749","volume-title":"The 19th IEEE International Conference on Automated Software Engineering (ASE 2004)","author":"N. Williams","year":"2004","unstructured":"Williams, N., Marre, B., Mouy, P.: On-the-fly generation of k-paths tests for C functions: towards the automation of grey-box testing. In: The 19th IEEE International Conference on Automated Software Engineering (ASE 2004), pp. 290\u2013293. IEEE Computer Society, Los Alamitos (2004)"},{"key":"127_CR73","series-title":"LNCS","first-page":"281","volume-title":"The 5th European Dependable Computing Conference on Dependable Computing (EDCC 2005)","author":"N. Williams","year":"2005","unstructured":"Williams, N., Marre, B., Mouy, P., Roger, M.: PathCrawler: automatic generation of path tests by combining static and dynamic analysis. In: The 5th European Dependable Computing Conference on Dependable Computing (EDCC 2005). LNCS, vol. 3463, pp. 281\u2013292. Springer, Berlin (2005)"},{"key":"127_CR74","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1109\/IWAST.2009.5069045","volume-title":"The 4th International Workshop on Automation of Software Test (AST 2009)","author":"N. Williams","year":"2009","unstructured":"Williams, N., Roger, M.: Test generation strategies to measure worst-case execution time. In: The 4th International Workshop on Automation of Software Test (AST 2009), pp. 88\u201396. IEEE Computer Society, Los Alamitos (2009)"},{"key":"127_CR75","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1145\/1146238.1146255","volume-title":"The ACM\/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006)","author":"G. Yorsh","year":"2006","unstructured":"Yorsh, G., Ball, T., Sagiv, M.: Testing, abstraction, theorem proving: better together! In: The ACM\/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), pp. 145\u2013156. ACM, New York (2006)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-013-0127-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-013-0127-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-013-0127-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,26]],"date-time":"2020-07-26T11:57:01Z","timestamp":1595764621000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-013-0127-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,8]]},"references-count":75,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["127"],"URL":"https:\/\/doi.org\/10.1007\/s10515-013-0127-x","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2013,5,8]]}}}