{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:29:57Z","timestamp":1743114597168,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540344544"},{"type":"electronic","value":"9783540344551"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11759744_14","type":"book-chapter","created":{"date-parts":[[2006,6,2]],"date-time":"2006-06-02T08:27:50Z","timestamp":1149236870000},"page":"203-217","source":"Crossref","is-referenced-by-count":10,"title":["Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms"],"prefix":"10.1007","author":[{"given":"Marc","family":"Aiguier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agn\u00e8s","family":"Arnould","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cl\u00e9ment","family":"Boin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascale","family":"Le Gall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Marre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Aiguier, M., Arnould, A., Boin, C., Le Gall, P., Marre, B.: Testing from algebraic specifications: Test data set selection by unfolding axioms. Rapport LaMI 110, Universit\u00e9 d\u2019\u00c9vry-Val d\u2019Essonne (2005), ftp:\/\/ftp.lami.univ-evry.fr\/pub\/publications\/reports","DOI":"10.1007\/11759744_14"},{"issue":"9","key":"14_CR2","first-page":"1219","volume":"21","author":"A. Arnould","year":"2002","unstructured":"Arnould, A., Le Gall, P.: Test de conformit\u00e9: une approche alg\u00e9brique. Technique et Science Informatiques, Test de logiciel\u00a021(9), 1219\u20131242 (2002)","journal-title":"Technique et Science Informatiques, Test de logiciel"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","first-page":"285","volume-title":"Dependable Computing - EDCC-2","author":"A. Arnould","year":"1996","unstructured":"Arnould, A., Le Gall, P., Marre, B.: Dynamic testing from bounded data type specifications. In: Hlawiczka, A., Simoncini, L., Silva, J.G.S. (eds.) EDCC 1996. LNCS, vol.\u00a01150, pp. 285\u2013302. Springer, Heidelberg (1996)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3540539816_63","volume-title":"TAPSOFT \u201991. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991","author":"G. Bernot","year":"1991","unstructured":"Bernot, G.: Testing against formal specifications: a theoretical view. In: Abramsky, S. (ed.) TAPSOFT 1991, CCPSD 1991, and ADC-Talks 1991. LNCS, vol.\u00a0494, pp. 99\u2013119. Springer, Heidelberg (1991)"},{"issue":"6","key":"14_CR5","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"Bernot, G., Gaudel, M.-C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Software Engineering Journal\u00a06(6), 387\u2013405 (1991)","journal-title":"Software Engineering Journal"},{"key":"14_CR6","first-page":"216","volume-title":"ICSE 1997: Proceedings of the 19th international conference on Software engineering","author":"G. Bernot","year":"1997","unstructured":"Bernot, G., Bouaziz, L., Le Gall, P.: A theory of probabilistic functional testing. In: ICSE 1997: Proceedings of the 19th international conference on Software engineering, pp. 216\u2013226. ACM Press, New York (1997)"},{"issue":"2-3","key":"14_CR7","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0167-6423(95)00014-3","volume":"25","author":"M. Bidoit","year":"1995","unstructured":"Bidoit, M., Hennicker, R., Wirsing, M.: Behavioural and abstractor specifications. Science of Computer Programming\u00a025(2-3), 149\u2013186 (1995)","journal-title":"Science of Computer Programming"},{"key":"14_CR8","unstructured":"Brucker, A.D., Wolff, B.: Symbolic test case generation for primitive recursive functions. In: Formal Approaches to Testing of Software (to appear, 2004)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of haskell programs. In: International Conference on Functional Programming, pp. 268\u2013279 (2000)","DOI":"10.1145\/351240.351266"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/BFb0024651","volume-title":"FME \u201993: Industrial-Strength Formal Methods","author":"J. Dick","year":"1993","unstructured":"Dick, J., Faivre, A.: Automating the generation and sequencing of test cases from model-based specifications. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol.\u00a0670, pp. 268\u2013284. Springer, Heidelberg (1993)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/3-540-45499-3_36","volume-title":"Algebraic Methodology and Software Technology","author":"M. Doche","year":"2000","unstructured":"Doche, M., Wiels, V.: Extended institutions for testing. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 514\u2013528. Springer, Heidelberg (2000)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-59293-8_188","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"M.C. Gaudel","year":"1995","unstructured":"Gaudel, M.C.: Testing can be formal, too. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol.\u00a0915, pp. 82\u201396. Springer, Heidelberg (1995)"},{"key":"14_CR13","volume-title":"3rd IFIP Conference on Formal Description of Programming Concepts","author":"J.-P. Jouannaud","year":"1985","unstructured":"Jouannaud, J.-P., Waldmann, B.: Reductive conditional term rewriting systems. In: Wirsing, M. (ed.) 3rd IFIP Conference on Formal Description of Programming Concepts, Elsevier Science Publishers, Amsterdam (1985)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-61629-2_52","volume-title":"Recent Trends in Data Type Specification","author":"P. Gall Le","year":"1996","unstructured":"Le Gall, P., Arnould, A.: Formal specification and test: correctness and oracle. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol.\u00a01130, pp. 342\u2013358. Springer, Heidelberg (1996)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - A survey. In: Proceedings of the IEEE, vol.\u00a084, pp. 1090\u20131126 (1996)","DOI":"10.1109\/5.533956"},{"issue":"2","key":"14_CR16","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1002\/stvr.287","volume":"14","author":"B. Legeard","year":"2004","unstructured":"Legeard, B., Peureux, F., Utting, M.: Controlling test case explosion in test generation from b formal models. Softw. Test., Verif. Reliab.\u00a014(2), 81\u2013103 (2004)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/3-540-45499-3_37","volume-title":"Algebraic Methodology and Software Technology","author":"P. Machado","year":"2000","unstructured":"Machado, P.: Testing from structured algebraic specifications. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 529\u2013544. Springer, Heidelberg (2000)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/3-540-45687-2_42","volume-title":"Mathematical Foundations of Computer Science 2002","author":"P. Machado","year":"2002","unstructured":"Machado, P., Sannella, D.: Unit testing for casl architectural specifications. In: Diks, K., Rytter, W. (eds.) MFCS 2002. LNCS, vol.\u00a02420, pp. 506\u2013518. Springer, Heidelberg (2002)"},{"key":"14_CR19","first-page":"25","volume-title":"Eight International Conference on Logic Programming (ICLP 1991)","author":"B. Marre","year":"1991","unstructured":"Marre, B.: Toward an automatic test data set selection using algebraic specifications and logic programming. In: Furukawa, K. (ed.) Eight International Conference on Logic Programming (ICLP 1991), pp. 25\u201328. MIT Press, Cambridge (1991)"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1109\/ASE.2000.873667","volume-title":"ASE-00: The 15th IEEE Conference on Automated Software Engineering","author":"B. Marre","year":"2000","unstructured":"Marre, B., Arnould, A.: Test sequences generation from LUSTRE descriptions: GATEL. In: ASE-00: The 15th IEEE Conference on Automated Software Engineering, Grenoble, September 2000, pp. 229\u2013237. IEEE CS Press, Los Alamitos (2000)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Marre, B., Blanc, B.: Test selection strategies for lustre descriptions in gatel. In: MBT 2004 joint to ETAPS 2004. ENTCS, vol.\u00a0111, pp. 93\u2013111 (2004)","DOI":"10.1016\/j.entcs.2004.12.010"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11759744_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T00:27:58Z","timestamp":1555633678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11759744_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540344544","9783540344551"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11759744_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}