{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T07:50:44Z","timestamp":1726213844594},"reference-count":67,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T00:00:00Z","timestamp":1078099200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["STTT"],"published-print":{"date-parts":[[2004,3]]},"DOI":"10.1007\/s10009-003-0128-3","type":"journal-article","created":{"date-parts":[[2004,3,19]],"date-time":"2004-03-19T18:53:20Z","timestamp":1079722400000},"page":"140-157","source":"Crossref","is-referenced-by-count":34,"title":["Model-based testing for real"],"prefix":"10.1007","volume":"5","author":[{"given":"A.","family":"Pretschner","sequence":"first","affiliation":[]},{"given":"O.","family":"Slotosch","sequence":"additional","affiliation":[]},{"given":"E.","family":"Aiglstorfer","sequence":"additional","affiliation":[]},{"given":"S.","family":"Kriebel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2004,3,1]]},"reference":[{"key":"128_CR1","doi-asserted-by":"crossref","unstructured":"Ammann P, Black P, Majurski W (1998) Using model checking to generate tests from specifications. In: Proceedings of the 2nd IEEE international conference on formal engineering methods, Brisbane, Queensland, Australia, 9\u201311 December 1998, pp 46\u201354","DOI":"10.1109\/ICFEM.1998.730569"},{"key":"128_CR2","unstructured":"Binder R (2001) Testing object-oriented systems: models, patterns, and tools. Addison-Wesley, Reading, MA"},{"key":"128_CR3","unstructured":"Bourhfir C, Dssouli R, Aboulhamid E (1996) Automatic test generation for EFSM-based systems. Technical Report IRO 1043, University of Montreal, August 1996"},{"key":"128_CR4","unstructured":"Brooks F (1986) No silver bullet. In: Proceedings of the 10th IFIP world computing conference, Dublin, Ireland, 1\u20135 September 1986, pp 1069\u20131076"},{"key":"128_CR5","unstructured":"Bultan T (1998) Automated symbolic analysis of reactive systems. PhD thesis, University of Maryland, College Park, MD"},{"key":"128_CR6","unstructured":"Burton S, Clark J, McDermid J (2001) Automatic generation of tests from Statechart specifications. In: Proceedings of the conference on formal approaches to testing of software, Aalborg, Denmark, 25 August 2001, pp 31\u201346"},{"key":"128_CR7","doi-asserted-by":"crossref","unstructured":"Chow T (1978) Testing software design modeled by finite-state machines. IEEE Trans Softw Eng SE-4(3):178\u2013187","DOI":"10.1109\/TSE.1978.231496"},{"key":"128_CR8","unstructured":"Ciarlini A, Fr\u00fchwirth T (1999) Using Constraint Logic Programming for software validation. In: Proceedings of the 5th workshop on the German-Brazilian Bilateral Programme for Scientific and Technological Cooperation, K\u00f6nigswinter, Germany, March 1999"},{"key":"128_CR9","doi-asserted-by":"crossref","unstructured":"Claessen K, Hughes J (2000) QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the 5th ACM SIGPLAN international conference on functional programming, Montreal, 18\u201321 September 2000, pp 268\u2013279","DOI":"10.1145\/351240.351266"},{"key":"128_CR10","doi-asserted-by":"crossref","unstructured":"Clarke L (1976) A system to generate test data and symbolically execute programs. IEEE Trans Softw Eng SE-2(3):215\u2013222","DOI":"10.1109\/TSE.1976.233817"},{"key":"128_CR11","doi-asserted-by":"crossref","unstructured":"Cui B, Dong Y, Du X, Kumar NK, Ramakrishnan C, Ramakrishnan I, Roychoudhury A, Smolka S, Warren D (1998) Logic programming and model checking. Lecture notes in computer science, vol 1490. Springer, Berlin Heidelberg New York, pp 1\u201320","DOI":"10.1007\/BFb0056604"},{"key":"128_CR12","doi-asserted-by":"crossref","unstructured":"Delzanno G, Podelski A (1999) Model checking in CLP. In: Proceedings of the 5th international conference on tools and algorithms for construction and analysis of systems, Amsterdam, 22\u201328 March 1999, pp 223\u2013239","DOI":"10.1007\/3-540-49059-0_16"},{"key":"128_CR13","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/52.73749","volume":"8","author":"Denney","year":"1991","unstructured":"Denney R (1991) Test-case generation from Prolog-based specifications. IEEE Softw 8(2):49\u201357","journal-title":"IEEE Softw"},{"key":"128_CR14","unstructured":"De Vries R, Tretmans J, Belinfante A, Feenstra J, Feijs L, Mauw S, Goga N, Heerink L, de Heer A (2000) C\u00f4te de Resyste in Progress. In: Proceedings of Progress 2000 \u2013 workshop on embedded systems, Utrecht, The Netherlands, October 2000, pp 141\u2013148"},{"key":"128_CR15","unstructured":"Du Bousquet L, Ouabdesselam F, Parissis I, Richier J-L, Zuanon N (2000) Specification-based testing of synchronous software. In: Proceedings of the 5th international workshop on formal methods for industrial critical systems, Berlin, 3\u20134 April 2000, pp 123\u2013140"},{"key":"128_CR16","doi-asserted-by":"crossref","unstructured":"Du Bousquet L, Zuanon N (1999) An overview of Lutess, a specification-based tool for testing synchronous software. In: Proceedings of the 14th IEEE international conference on automated SW engineering, Cocoa Beach, FL, 12\u201315 October 1999, pp 208\u2013215","DOI":"10.1109\/ASE.1999.802255"},{"key":"128_CR17","doi-asserted-by":"crossref","unstructured":"Duran J, Ntafos S (1984) An evaluation of random testing. IEEE Trans Softw Eng SE-10(4):438\u2013444","DOI":"10.1109\/TSE.1984.5010257"},{"key":"128_CR18","doi-asserted-by":"crossref","unstructured":"Edelkamp S, Lluch-Lafuente A, Leue S (2001) Directed Explicit Model Checking with HSF-SPIN. In: Proceedings of the 8th international SPIN workshop on model checking software, Toronto, 19\u201320 May 2001, pp 57\u201379","DOI":"10.1007\/3-540-45139-0_5"},{"key":"128_CR19","doi-asserted-by":"crossref","unstructured":"Fernandez J-C, Jard C, J\u00e9ron T, Viho C (1996) Using on-the-fly verification techniques for the generation of test suites. In: Proceedings of the 8th international conference on computer-aided verification, New Brunswick, NJ, 31 July\u20133 August 1996, pp 348\u2013359","DOI":"10.1007\/3-540-61474-5_82"},{"key":"128_CR20","doi-asserted-by":"publisher","first-page":"1483","DOI":"10.1109\/32.6194","volume":"14","author":"Frankl","year":"1998","unstructured":"Frankl P, Weyuker E (1998) An applicable family of data flow testing criteria. IEEE Trans Softw Eng 14(10):1483\u20131498","journal-title":"IEEE Trans Softw Eng"},{"key":"128_CR21","unstructured":"Fribourg L (1999) Constraint logic programming applied to model checking. In: Proceedings of the 9th international workshop on logic-based program synthesis and transformation (LOPSTR\u201999), Venice, 22\u201324 September 1999. Lecture notes in computer science, vol 1817. Springer, Berlin Heidelberg New York, pp 30\u201341"},{"key":"128_CR22","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth T (1998) Theory and practice of constraint handling rules. J Logic Program 37(1\u20133):95\u2013138","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"128_CR23","doi-asserted-by":"crossref","unstructured":"Goodenough J, Gerhart S (1975) Toward a theory of test data selection. IEEE Trans Softw Eng SE-1(2):156\u2013173","DOI":"10.1109\/TSE.1975.6312836"},{"key":"128_CR24","doi-asserted-by":"crossref","unstructured":"Groce A, Visser W (2002) Model checking Java programs using structural heuristics. In: Proceedings of the international symposium on software testing and analysis, Rome, 22\u201324 July 2002, pp 12\u201321","DOI":"10.1145\/566172.566175"},{"key":"128_CR25","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1109\/32.815325","volume":"25","author":"Gutjahr","year":"1999","unstructured":"Gutjahr W (1999) Partition testing versus random testing: the influence of uncertainty. IEEE Trans Softw Eng 25(5):661\u2013674","journal-title":"IEEE Trans Softw Eng"},{"key":"128_CR26","unstructured":"Hahn G, Philipps J, Pretschner A, Stauner T (2003) Prototype-based tests for hybrid reactive systems. In: Proceedings of RSP\u201903, San Diego, 9\u201311 June 2003, pp 78\u201386"},{"key":"128_CR27","doi-asserted-by":"publisher","first-page":"1402","DOI":"10.1109\/32.62448","volume":"16","author":"Hamlet","year":"1990","unstructured":"Hamlet D, Taylor R (1990) Partition test does not inspire confidence. IEEE Trans Softw Eng 16(12):1402\u20131411","journal-title":"IEEE Trans Softw Eng"},{"key":"128_CR28","doi-asserted-by":"crossref","unstructured":"Howden W (1975) Methodology for the generation of program test data. IEEE Trans Comput C-24(5):554\u2013560","DOI":"10.1109\/T-C.1975.224259"},{"key":"128_CR29","doi-asserted-by":"crossref","unstructured":"Howden W (1977) Symbolic testing and the DISSECT symbolic evaluation system. IEEE Trans Softw Eng SE-3(4):266\u2013278","DOI":"10.1109\/TSE.1977.231144"},{"key":"128_CR30","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1002\/spe.4380080402","volume":"8","author":"Howden","year":"1978","unstructured":"Howden W (1978) An evaluation of the effectiveness of symbolic testing. Softw Pract Exper 8:381\u2013397","journal-title":"Softw Pract Exper"},{"key":"128_CR31","doi-asserted-by":"crossref","unstructured":"Huber F, Sch\u00e4tz B, Einert G (1997) Consistent graphical specification of distributed systems. In: Proceedings of the conference on industrial applications and strengthened foundations of formal methods (FME\u201997), Graz, Austria, 15\u201319 September 1997. Lecture notes in computer science, vol 1313. Springer, Berlin Heidelberg New York, pp 122\u2013141","DOI":"10.1007\/3-540-63533-5_7"},{"key":"128_CR32","unstructured":"International Organization for Standardization (1995) International Standard ISO\/IEC 7816: integrated circuit(s) cards with contacts"},{"key":"128_CR33","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"King","year":"1976","unstructured":"King J (1976) Symbolic execution and program testing. Commun ACM 19(7):385\u2013394","journal-title":"Commun ACM"},{"key":"128_CR34","unstructured":"Koch B, Grabowski J, Hogrefe D, Schmitt M (1998) AutoLink \u2013 a tool for automatic test generation from SDL specifications. In: Proceedings of the IEEE international workshop on industrial strength formal specification techniques, Boca Raton, FL, 20\u201323 October 1998, pp 114\u2013127"},{"key":"128_CR35","unstructured":"Legeard B, Peureux F (2001) G\u00e9n\u00e9ration de s\u00e9quences de tests \u00e0 partir d\u2019une sp\u00e9cification B en PLC ensembliste. In: Proceedings of Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels, Nancy, France, June 2001, pp 113\u2013130"},{"key":"128_CR36","unstructured":"L\u00f6tzbeyer H, Pretschner A (2000) AutoFocus on Constraint Logic Programming. In: Proceedings of (Constraint) Logic Programming and Software Engineering, London, 10 August 2000"},{"key":"128_CR37","unstructured":"L\u00f6tzbeyer H, Pretschner A (2000) Testing concurrent reactive systems with Constraint Logic Programming. In: Proceedings of the 2nd workshop on rule-based constraint reasoning and programming, Singapore, 22 September 2000"},{"key":"128_CR38","doi-asserted-by":"crossref","unstructured":"Marre B, Arnould A (2000) Test sequence generation from Lustre descriptions: GATEL. In: Proceedings of the 15th IEEE international conference on automated software engineering (ASE\u201900), Grenoble, France, 11\u201315 September 2000, pp 229-238","DOI":"10.1109\/ASE.2000.873667"},{"key":"128_CR39","unstructured":"Meudec C (2000) ATGen: automatic test data generation using Constraint Logic Programming and Symbolic Execution. In: Proceedings of the 1st international workshop on automated program analysis, testing, and verification, Limerick, Ireland, 4\u20135 June 2000"},{"key":"128_CR40","unstructured":"Nielsen B (2000) Specification and test of real-time systems. PhD thesis, Department of Computer Science, Aalborg University, Aalborg, Denmark"},{"key":"128_CR41","doi-asserted-by":"publisher","first-page":"868","DOI":"10.1109\/32.6165","volume":"14","author":"Ntafos","year":"1988","unstructured":"Ntafos S (1988) A comparison of some structural testing strategies. IEEE Trans Softw Eng 14(6):868\u2013874","journal-title":"IEEE Trans Softw Eng"},{"key":"128_CR42","first-page":"53","volume":"19","author":"Peleska","year":"1997","unstructured":"Peleska J, Siegel M (1997) Test automation of safety-critical reactive systems. S Afric Comput J 19:53\u201377","journal-title":"S Afric Comput J"},{"key":"128_CR43","unstructured":"Philipps J, Pretschner A, Slotosch O, Aiglstorfer E, Kriebel S, Scholl K (2003) Model-based test case generation for smart cards. In: Proceedings of FMICS\u201903, Trondheim, Norway, 5\u20137 June 2003, pp 168\u2013182"},{"key":"128_CR44","unstructured":"Prenninger W, Pretschner A, Wagner S (2003) MOST NetworkMaster \u2013 AutoFocus model. Internal Study, BMW AG and TU M\u00fcnchen, Munich, Germany"},{"key":"128_CR45","unstructured":"Prenninger W, Pretschner A, Wagner S (2003) MOST NetworkMaster \u2013 generation of test harnesses. Internal Study, BMW AG and TU M\u00fcnchen, Munich, Germany"},{"key":"128_CR46","unstructured":"Pretschner A (2001) Classical search strategies for test case generation with Constraint Logic Programming. In: Proceedings of the workshop on formal approaches to testing of software, Aalborg, Denmark, August 2001, pp 47\u201360"},{"key":"128_CR47","doi-asserted-by":"crossref","unstructured":"Pretschner A (2003) Compositional generation for MC\/DC test suites. In: Proceedings of TACoS\u201903, Warsaw, Poland, 13 April 2003, pp 1\u201311","DOI":"10.1016\/S1571-0661(04)81020-X"},{"key":"128_CR48","doi-asserted-by":"crossref","unstructured":"Pretschner A, L\u00f6tzbeyer H, Philipps J (2001) Model based testing in evolutionary software development. In: Proceedings of the 11th IEEE international workshop on rapid system prototyping, Monterey, CA, 25\u201327 June 2001, pp 155\u2013160","DOI":"10.1109\/IWRSP.2001.933854"},{"key":"128_CR49","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/S0164-1212(03)00076-1","volume":"70","author":"Pretschner","year":"2003","unstructured":"Pretschner A, L\u00f6tzbeyer H, Philipps J (2003) Model based testing in incremental system development. J Sys Softw 70(3):315\u2013329","journal-title":"J Sys Softw"},{"key":"128_CR50","unstructured":"Pretschner A, Philipps J (2002) Szenarien modellbasierten Testens. Technical Report TUM-I0205, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, Munich, Germany"},{"key":"128_CR51","unstructured":"Pretschner A, Slotosch O, L\u00f6tzbeyer H, Aiglstorfer E, Kriebel S (2001) Model based testing for real: the inhouse card case study. In: Proceedings of the 6th international workshop on formal methods for industrial critical systems, Paris, France, 16\u201317 July 2001, pp 79\u201394"},{"key":"128_CR52","unstructured":"Prowell S, Trammell C, Linger R, Poore J (1999) Cleanroom software engineering. Addison-Wesley, Reading, MA"},{"key":"128_CR53","doi-asserted-by":"crossref","unstructured":"Ramamoorthy C, Ho S, Chen W (1976) On the automated generation of program test data. IEEE Trans Softw Eng SE-2(4):293\u2013300","DOI":"10.1109\/TSE.1976.233835"},{"key":"128_CR54","doi-asserted-by":"crossref","unstructured":"Raymond P, Weber D, Nicollin X, Halbwachs N (1998) Automatic testing of reactive systems. In: Proceedings of the 19th IEEE symposium on real-time systems, Madrid, 2\u20134 December 1998, pp 200\u2013209","DOI":"10.1109\/REAL.1998.739746"},{"key":"128_CR55","doi-asserted-by":"crossref","unstructured":"Rusu V, du Bousquet L, J\u00e9ron T (2000) An approach to symbolic test generation. In: Proceedings of Integrated Formal Methods, Dagstuhl, Germany, 1\u20133 November 2000, pp 338\u2013357","DOI":"10.1007\/3-540-40911-4_20"},{"key":"128_CR56","unstructured":"Sadeghipour S (1998) Testing cyclic software components of reactive systems on the basis of formal specifications. PhD thesis, Department of Informatics, TU Berlin"},{"key":"128_CR57","unstructured":"Tracey N (2000) A search-based automated test-data generation framework for safety-critical software. PhD thesis, Department of Computer Science, University of York, UK"},{"key":"128_CR58","first-page":"103","volume":"17","author":"Tretmans","year":"1996","unstructured":"Tretmans J (1996) Test generation with inputs, outputs and repetitive quiescence. Softw Concepts Tools 17(3):103\u2013120","journal-title":"Softw Concepts Tools"},{"key":"128_CR59","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0140-3664(92)90092-S","volume":"15","author":"Ural","year":"1992","unstructured":"Ural H (1992) Formal methods for test sequence generation. Comput Commun 15(5):311\u2013325","journal-title":"Comput Commun"},{"key":"128_CR60","doi-asserted-by":"crossref","unstructured":"Vilkomir S, Bowen J (2001) Formalization of control-flow criteria of software testing. Technical Report SBU-CISM-01-01, South Bank University, London, UK","DOI":"10.1109\/CMPSAC.2001.960638"},{"key":"128_CR61","unstructured":"Visser W, Havelund K, Brat G, Park S (2000) Java PathFinder \u2013 second generation of a Java model checker. In: Proceedings of the workshop on advances in verification, Chicago, July 2000"},{"key":"128_CR62","doi-asserted-by":"crossref","unstructured":"Von Bochmann G, Petrenko A (1994) Protocol testing: review of methods and testing for software testing. In: Proceedings of the 1994 international symposium on software testing and analysis, Seattle, 17\u201319 August 1994, pp 109\u2013124","DOI":"10.1145\/186258.187153"},{"key":"128_CR63","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/131295.131299","volume":"35","author":"Warren","year":"1992","unstructured":"Warren DS (1992) Memoing for logic programs. Commun ACM 35(3):93\u2013111","journal-title":"Commun ACM"},{"key":"128_CR64","unstructured":"Wegener J (2001) Evolution\u00e4rer Test des Zeitverhaltens von Realzeit-Systemen. PhD thesis, Humboldt Universit\u00e4t, Berlin"},{"key":"128_CR65","doi-asserted-by":"crossref","unstructured":"Weyuker E (1986) Axiomatizing software test data adequacy. IEEE Trans Softw Eng SE-12(12):1128\u20131138","DOI":"10.1109\/TSE.1986.6313008"},{"key":"128_CR66","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1002\/1099-1689(200012)10:4<229::AID-STVR213>3.0.CO;2-O","volume":"10","author":"Wimmel","year":"2000","unstructured":"Wimmel G, L\u00f6tzbeyer H, Pretschner A, Slotosch O (2000) Specification based test sequence generation with propositional logic. J Softw Test Validat Reliabil 10(4):229\u2013248","journal-title":"J Softw Test Validat Reliabil"},{"key":"128_CR67","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"Zhu","year":"1997","unstructured":"Zhu H, Hall P, May J (1997) Software unit test coverage and adequacy. ACM Comput Surv 29(4):366\u2013427","journal-title":"ACM Comput Surv"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0128-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-003-0128-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0128-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0128-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:25:18Z","timestamp":1559114718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-003-0128-3"}},"subtitle":["The inhouse card case study"],"short-title":[],"issued":{"date-parts":[[2004,3]]},"references-count":67,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2004,3]]}},"alternative-id":["128"],"URL":"https:\/\/doi.org\/10.1007\/s10009-003-0128-3","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,3]]}}}