{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:21:28Z","timestamp":1737091288115,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431664"},{"type":"electronic","value":"9783540456483"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45648-1_16","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T05:26:02Z","timestamp":1180329962000},"page":"309-329","source":"Crossref","is-referenced-by-count":11,"title":["A Comparison of the BTT and TTF Test-Generation Methods"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Legeard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabien","family":"Peureux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Utting","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"issue":"3","key":"16_CR1","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/357139.357140","volume":"3","author":"J. D. Gannon","year":"1981","unstructured":"John D. Gannon, Paul R. McMullin, and Richard G. Hamlet. Data-abstraction implementation, specification, and testing. ACM TOPLAS, 3(3):211\u2013223, 1981.","journal-title":"ACM TOPLAS"},{"key":"16_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/BFb0024651","volume-title":"FME\u2019 93: Industrial-Strength Formal Methods","author":"J. Dick","year":"1993","unstructured":"Jeremy Dick and Alain Faivre. Automating the generation and sequencing of test cases from model-based specifications. In J. C. P. Woodcock and P. G. Larsen, editors, FME\u2019 93: Industrial-Strength Formal Methods, number 670 in LNCS, pages 268\u2013284. Springer-Verlag, April 1993."},{"key":"16_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1007\/BFb0030644","volume-title":"TAPSOFT\u2019 97: Theory and Practice of Software Development","author":"M. R. Donat","year":"1997","unstructured":"Michael R. Donat. Automating formal specification-based testing. In Michel Bidoit and Max Dauchet, editors, TAPSOFT\u2019 97: Theory and Practice of Software Development, volume 1214 of LNCS, pages 833\u2013847. Springer, 1997."},{"key":"16_CR4","series-title":"Lect Notes Comput Sci","first-page":"137","volume-title":"Testing as abstraction","author":"S. Stepney","year":"1995","unstructured":"Susan Stepney. Testing as abstraction. In J. P. Bowen and M. G. Hinchey, editors, ZUM\u201995: 9th International Conference of Z Users, Limerick, 1995, volume 967 of Lecture Notes in Computer Science, pages 137\u2013151. Springer-Verlag, 1995."},{"issue":"4","key":"16_CR5","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/BF00402650","volume":"4","author":"H.-M. Hoercher","year":"1995","unstructured":"Hans-Martin Hoercher and Jan Peleska. Using formal specifications to support software testing. Software Quality Journal, 4(4):309\u2013327, 1995.","journal-title":"Software Quality Journal"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"C. P\u00e9raire, S. Barbey, and D. Buchs. Test selection for object-oriented software based on formal specifications. In David Gries and Willem-Paul de Roever, editors, Programming Concepts and Methods: PROCOMET\u2019 98, IFIP TC2\/WG2.2, 2.3 International Conference, June 1998, Shelter Island, New York, pages 385\u2013403. Chapman and Hall, 1998.","DOI":"10.1007\/978-0-387-35358-6_25"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1002\/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N","volume":"7","author":"R. M. Hierons","year":"1997","unstructured":"R. M. Hierons. Testing from a z specification. Journal of Software Testing, Verification and Reliability, 7:19\u201333, 1997.","journal-title":"Journal of Software Testing, Verification and Reliability"},{"key":"16_CR8","series-title":"Lect Notes Comput Sci","first-page":"605","volume-title":"KVEST: Automated generation of test suites from formal specifications","author":"I. Burdonov","year":"1999","unstructured":"Igor Burdonov, Alexander Kossatchev, Alexander Petrenko, and Dmitri Galter. KVEST: Automated generation of test suites from formal specifications. In Wing et al. [28], pages 605\u2013621. LNCS 1708 (Volume 1)."},{"key":"16_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/3-540-48119-2_29","volume-title":"Test criteria definition for B models","author":"S. Behnia","year":"1999","unstructured":"S. Behnia and H. Waeselynck. Test criteria definition for B models. In Wing et al. [28], pages 509\u2013529. LNCS 1708 (Volume 1)."},{"key":"16_CR10","unstructured":"Philip Stocks. Applying formal methods to software testing. PhD thesis, The Department of Computer Science, The University of Queensland, 1993. Available from http:\/\/athos.rutgers.edu\/~pstocks\/pub.html ."},{"issue":"11","key":"16_CR11","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/32.553698","volume":"22","author":"P. A. Stocks","year":"1996","unstructured":"P. A. Stocks and D. A. Carrington. A framework for specification-based testing. IEEE Transactions in Software Engineering, 22(11):777\u2013793, November 1996.","journal-title":"IEEE Transactions in Software Engineering"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"D. Carrington and P. Stocks. A tale of two paradigms: Formal methods and software testing. In Proceedings of the 8th Z User Meeting, pages 51\u201368. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-3452-7_4"},{"key":"16_CR13","unstructured":"L. Py, B. Legeard, and B. Tatibouet. \u00c9valuation de sp\u00e9cifications formelles en programmation logique avec contraintes ensemblistes \u2014 application \u00e1 l\u2019animation de sp\u00e9cification formelles B. In AFADL\u20192000, Grenoble, 26\u201328 Jan 2000, pages 21\u201335, 2000."},{"key":"16_CR14","unstructured":"Bruno Legeard and Fabien Peureux. Generation of functional test sequences from B formal specification \u2014 presentation and industrial case-study. Submitted to Automated Software Engineering 2001, 2001."},{"key":"16_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0056024","volume-title":"ZUM\u201998: The Z Formal Specification Notation","author":"L. Murray","year":"1998","unstructured":"L. Murray, D. Carrington, I. MacColl, J. McDonald, and P. Strooper. Formal derivation of finite state machines for class testing. In J. P. Bowen, A. Fett, and M. G. Hinchey, editors, ZUM\u201998: The Z Formal Specification Notation, volume 1493 of LNCS, pages 42\u201349. Springer-Verlag, 1998."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"P. Stocks and D. Carrington. Test templates: A specification-based testing framework. In Proceedings of the 15th International Conference on Software Engineering, pages 405\u2013414. IEEE Computer Society Press, 1993.","DOI":"10.1109\/ICSE.1993.346025"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"L. Murray, D. Carrington, I. MacColl, and P. Strooper. Extending test templates with inheritance. In Proceedings of 1997 Australian Software Engineering Conference (ASWEC\u201997), pages 80\u201387. IEEE Computer Society, 1997. Also SVRC Technical Report 97-18.","DOI":"10.1109\/ASWEC.1997.623757"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"I. MacColl and D. Carrington. Extending the TTF for specification-based testing of interactive systems. In Australasian Computer Science Conference (ACSC99), pages 372\u2013381. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48118-4_54"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"L. Murray, D. Carrington, I. MacColl, and P. Strooper. Tinman-a test derivation and management tool for specification-based class testing. In Technology of Object-Oriented Languages and Systems (TOOLS 32), pages 222\u2013233. IEEE Computer Society, 1999. Available as SVRC Technical Report 99-07.","DOI":"10.1109\/TOOLS.1999.809428"},{"key":"16_CR20","unstructured":"Christophe Meudec. Automatic Generation of Software Test Cases from Formal Specifications. PhD thesis, Faculty of Science, Queen\u2019s University of Belfast, 1997."},{"key":"16_CR21","unstructured":"F. Bouquet, B. Legeard, and F. Peureux. Constraint logic programming with sets for animation of B formal specifications. In Proceedings of 1st International Conference on Computational Logic (CL\u20192000). Workshop on Constraint Logic Programming and Software Engineering, LPSE\u20192000, London, July 2000, pages 62\u201381, 2000."},{"key":"16_CR22","unstructured":"Fabrice Bouquet, Bruno Legeard, Fabien Peureux, and Paurent Py. Un syst\u00e9me de r\u00e9solution de contraintes ensemblistes pour l\u2019\u00e9valuation de sp\u00e9cifications B. In Programmation en logique avec contraintes. JFPLC\u201900. Marseilles, June 2000, pages 125\u2013144, 2000."},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"B. Legeard and F. Peureux. Generation of functional test sequences from B formal specifications-presentation and industrial case-study. In 16 th IEEE International conference on Automated Software Engineering (ASE\u20192001), 2001.","DOI":"10.1109\/ASE.2001.989833"},{"key":"16_CR24","unstructured":"B. Legeard, F. Peureux, and J. Vincent. Automatic generation of functional of test patternes from a formalized smart card model \u2014 application to the GSM 11-11 specification. Rapport de fin de contrat (Confidentielle) Tome 1: 79 pages, Tome 2: 418 pages, Convention de recherche Schlumberger R&D Smart Card\/LIFC, TFC01-01, Juillet 2000."},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"I. MacColl and D. Carrington. Extending the test template framework. In Proceedings of the Third Northern Formal Methods Workshop, Ilkley, UK, Sept. 1998, 1998.","DOI":"10.14236\/ewic\/NFM1998.12"},{"key":"16_CR27","unstructured":"I. MacColl, D. Carrington, and P. Stocks. An experiment in specification-based testing. In Proceedings of the 19th Australian Computer Science Conference (ACSC\u201996), pages 159\u2013168, 1996. Also SVRC Technical Report 96-05."},{"key":"16_CR28","series-title":"Lect Notes Comput Sci","volume-title":"FM\u201999 \u2014 Formal Methods","year":"1999","unstructured":"Jeannette M. Wing, Jim Woodcock, and Jim Davies, editors. FM\u201999 \u2014 Formal Methods. Springer-Verlag, 1999. LNCS 1708 (Volume 1)."}],"container-title":["Lecture Notes in Computer Science","ZB 2002:Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45648-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T18:35:17Z","timestamp":1737052517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45648-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431664","9783540456483"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-45648-1_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}