{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:23:27Z","timestamp":1779074607722,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540257233","type":"print"},{"value":"9783540320197","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11408901_21","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T13:04:14Z","timestamp":1279026254000},"page":"281-292","source":"Crossref","is-referenced-by-count":106,"title":["PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis"],"prefix":"10.1007","author":[{"given":"Nicky","family":"Williams","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Marre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patricia","family":"Mouy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muriel","family":"Roger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Gallagher, M.J., Narasimhan, V.L.: ADTEST: A Test Data Generation Suite for Ada Software Systems. IEEE Transactions on Software Engineering\u00a023(8) (August 1997)","DOI":"10.1109\/32.624304"},{"key":"21_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/3-540-44957-4_27","volume-title":"Computational Logic - CL 2000","author":"A. Gotlieb","year":"2000","unstructured":"Gotlieb, A., Botella, B., Reuher, M.: A CLP Framework for Computing Structural Test Data. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 399\u2013413. Springer, Heidelberg (2000)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Gouraud, S.-D., Denise, A., Gaudel, M.-C., Marre, B.: A New Way of Automating Statistical Testing Methods. In: ASE 2001, Coronado Island, California (November 2001)","DOI":"10.1109\/ASE.2001.989785"},{"issue":"3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1145\/196092.193171","volume":"3","author":"B. Jeng","year":"1994","unstructured":"Jeng, B., Weyuker, E.J.: A Simplified Domain-Testing Strategy. ACM Transactions on Software Engineering and Methodology\u00a03(3), 254\u2013270 (1994)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Korel, B.: Automated Software Test Data Generation. IEEE Transactions on Software Engineering\u00a016(8) (August 1990)","DOI":"10.1109\/32.57624"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-540-39656-7_11","volume-title":"Formal Methods for Components and Objects","author":"G.T. Leavens","year":"2003","unstructured":"Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 262\u2013284. Springer, Heidelberg (2003)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Marre, B., Arnould, A.: Test sequences generation from Lustre descriptions: GATeL. In: ASE 2000, Grenoble, pp. 229\u2013237 (September 2000)","DOI":"10.1109\/ASE.2000.873667"},{"key":"21_CR8","unstructured":"Marre, B., Mouy, P., Williams, N.: On-the-Fly Generation of K-Path Tests for C Functions. In: 19th IEEE Intnl. Conf. on Automated Software Engineering (ASE 2004), Linz, Austria (September 2004)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Michael, C., McGraw, G.: Automated Software Test Data Generation for Complex Programs. In: ASE, Honolulu (October 1998)","DOI":"10.1109\/ASE.1998.732605"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1007\/3-540-45578-7_36","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"C. Michel","year":"2001","unstructured":"Michel, C., Rueher, M., Lebbah, Y.: Solving Constraints over Floating-Point Numbers. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 524\u2013538. Springer, Heidelberg (2001)"},{"key":"21_CR11","unstructured":"Mouy, P.: Vers une m\u00e9thode de g\u00e9n\u00e9ration de tests bo\u00eete grise \u201c\u00e0 la vol\u00e9e\u201d. In: Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels (AFADL 2004), Besan\u00e7on, France (June 2004)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.: CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In: Proc. Conference on Compiler Construction (2002)","DOI":"10.1007\/3-540-45937-5_16"},{"key":"21_CR13","unstructured":"Obayashi, M., Kubota, H., McCarron, S.P., Mallet, L.: The Assertion Based Testing Tool for OOP: ADL2. In: Proc. ICSE 1998, Kyoto, Japan (1998)"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Prather, R.E., Myers, J.P.: The Path Prefix Testing Strategy. IEEE Transactions on Software Engineering\u00a013(7) (July 1987)","DOI":"10.1109\/TSE.1987.233487"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Sy, N.T., Deville, Y.: Consistency Techniques for Interprocedural Test Data Generation. In: ESEC\/FSE 2003, Helsinki, Finland, September 1-5 (2003)","DOI":"10.1145\/940071.940087"},{"key":"21_CR16","unstructured":"Thevenod-Fosse, P., Waeselynck, H.: Software statistical testing based on structural and functional criteria. In: 11th International Software Quality Week, San Francisco (USA), May 26-29 (1998)"},{"key":"21_CR17","volume-title":"ECLiPSe: A Platform for Constraint Logic Programming","author":"M. Wallace","year":"1997","unstructured":"Wallace, M., Novello, S., Schimpf, J.: ECLiPSe: A Platform for Constraint Logic Programming. IC-Parc, Imperial College, London (1997)"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing - EDCC 5"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11408901_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,16]],"date-time":"2019-03-16T12:05:12Z","timestamp":1552737912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11408901_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540257233","9783540320197"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11408901_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}