{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:13:33Z","timestamp":1761707613645},"reference-count":67,"publisher":"Elsevier BV","issue":"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":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2004,3]]},"DOI":"10.1016\/s0164-1212(03)00076-1","type":"journal-article","created":{"date-parts":[[2003,10,15]],"date-time":"2003-10-15T17:54:47Z","timestamp":1066240487000},"page":"315-329","source":"Crossref","is-referenced-by-count":9,"title":["Model based testing in incremental system development"],"prefix":"10.1016","volume":"70","author":[{"given":"Alexander","family":"Pretschner","sequence":"first","affiliation":[]},{"given":"Heiko","family":"L\u00f6tzbeyer","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Philipps","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(03)00076-1_BIB1","series-title":"Agile Modeling","author":"Ambler","year":"2002"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB2","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 Intlernational Conference on Formal Engineering Methods. pp. 46\u201354","DOI":"10.6028\/NIST.IR.6166"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB3","series-title":"Extreme Programming Explained: Embrace Change","author":"Beck","year":"1999"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB4","doi-asserted-by":"crossref","unstructured":"Bender, K., Broy, M., P\u00e9ter, I., Pretschner, A., Stauner, T., 2002. Model based development of hybrid systems: specification, simulation, test case generation. In: Modelling, Analysis and Design of Hybrid Systems. LNCIS, vol. 279. Springer, pp. 37\u201352","DOI":"10.1007\/3-540-45426-8_3"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB5","series-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"Binder","year":"2001"},{"issue":"2","key":"10.1016\/S0164-1212(03)00076-1_BIB6","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/2.59","article-title":"A spiral model of software development and enhancement","volume":"21","author":"Boehm","year":"1988","journal-title":"Computer"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB7","unstructured":"Boger, M., Baier, T., Wienberg, F., Lamersdorf, W., 2000. Extreme modeling. In: Proceedings of the Extreme Programming and Flexible Processes in SW Engineering"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB8","unstructured":"Bourhfir, C., Dssouli, R., Aboulhamid, E., 1996. Automatic test generation for EFSM-based systems. Tech. Rep. IRO 1043, University of Montreal"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB9","unstructured":"Brooks, F., 1986. No Silver Bullet. In: Proceedings of the 10th IFIP World Computing Conference. pp. 1069\u20131076"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB10","unstructured":"Burton, S., Clark, J., McDermid, J., 2001. Automatic generation of tests from Statechart specifications. In: Proceedings of the Formal Approaches to Testing of Software. pp. 31\u201346"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB11","unstructured":"Ciarlini, A., Fr\u00fchwirth, T., 1999. Using constraint logic programming for software validation. In: 5th Workshop on the German\u2013Brazilian Bilateral Programme for Scientific and Technological Cooperation"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB12","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J., 2000. QuickCheck: A lightweight tool for random testing of Haskell programs. In: Proceedings of the International Conference on Functional Programming","DOI":"10.1145\/351240.351266"},{"issue":"3","key":"10.1016\/S0164-1212(03)00076-1_BIB13","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSE.1976.233817","article-title":"A system to generate test data and symbolically execute programs","volume":"SE-2","author":"Clarke","year":"1976","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB14","doi-asserted-by":"crossref","unstructured":"Cui, B., Dong, Y., Du, X., Narayan Kumar, K., Ramakrishnan, C., Ramakrishnan, I., Roychoudhury, A., Smolka, S., Warren, D., 1998. Logic programming and model checking. Springer LNCS 1490. pp. 1\u201320","DOI":"10.1007\/BFb0056604"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB15","doi-asserted-by":"crossref","unstructured":"Delzanno, G., Podelski, A., 1999. Model checking in CLP. In: Proceedings of the Tools and Algorithms for Construction and Analysis of Systems. pp. 223\u2013239","DOI":"10.1007\/3-540-49059-0_16"},{"issue":"2","key":"10.1016\/S0164-1212(03)00076-1_BIB16","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1109\/52.73749","article-title":"Test-case generation from prolog-based specifications","volume":"8","author":"Denney","year":"1991","journal-title":"IEEE Software"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB17","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"},{"issue":"4","key":"10.1016\/S0164-1212(03)00076-1_BIB18","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","article-title":"An evaluation of random testing","volume":"SE-10","author":"Duran","year":"1984","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB19","doi-asserted-by":"crossref","unstructured":"Edelkamp, S., Lluch-Lafuente, A., Leue, S., 2001. Directed explicit model checking with HSF-SPIN. In: 8th International SPIN Workshop on Model Checking Software","DOI":"10.1007\/3-540-45139-0_5"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB20","doi-asserted-by":"crossref","unstructured":"Fernandez, J.-C., Jard, C., J\u00e9ron, T., Viho, C., July 1996. Using on-the-fly verification techniques for the generation of test suites. In: Proceedings of the 8th International Conference on Computer-Aided Verification","DOI":"10.1007\/3-540-61474-5_82"},{"issue":"9","key":"10.1016\/S0164-1212(03)00076-1_BIB21","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/48529.48530","article-title":"Program verification: The very idea","volume":"37","author":"Fetzer","year":"1988","journal-title":"CACM"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB22","series-title":"Refactoring-Improving the Design of Existing Code","author":"Fowler","year":"1999"},{"issue":"10","key":"10.1016\/S0164-1212(03)00076-1_BIB23","doi-asserted-by":"crossref","first-page":"1483","DOI":"10.1109\/32.6194","article-title":"An applicable family of data flow testing criteria","volume":"14","author":"Frankl","year":"1988","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB24","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). LNCS 1817. Springer-Verlag, Venice"},{"issue":"1\u20133","key":"10.1016\/S0164-1212(03)00076-1_BIB25","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","article-title":"Theory and practice of constraint handling rules","volume":"37","author":"Fr\u00fchwirth","year":"1998","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"10.1016\/S0164-1212(03)00076-1_BIB26","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSE.1975.6312836","article-title":"Toward a theory of test data selection","volume":"SE-1","author":"Goodenough","year":"1975","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB27","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","DOI":"10.1145\/566172.566175"},{"issue":"12","key":"10.1016\/S0164-1212(03)00076-1_BIB28","doi-asserted-by":"crossref","first-page":"1402","DOI":"10.1109\/32.62448","article-title":"Partition test does not inspire confidence","volume":"16","author":"Hamlet","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"10.1016\/S0164-1212(03)00076-1_BIB29","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","article-title":"The spin model checker","volume":"23","author":"Holzmann","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"10.1016\/S0164-1212(03)00076-1_BIB30","doi-asserted-by":"crossref","first-page":"554","DOI":"10.1109\/T-C.1975.224259","article-title":"Methodology for the generation of program test data","volume":"C-24","author":"Howden","year":"1975","journal-title":"IEEE Transactions on Computers"},{"issue":"4","key":"10.1016\/S0164-1212(03)00076-1_BIB31","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1109\/TSE.1977.231144","article-title":"Symbolic testing and the DISSECT symbolic evaluation system","volume":"SE-3","author":"Howden","year":"1977","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB32","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1002\/spe.4380080402","article-title":"An evaluation of the effectiveness of symbolic testing","volume":"8","author":"Howden","year":"1978","journal-title":"Software\u2013\u2013Practice and Experience"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB33","doi-asserted-by":"crossref","unstructured":"Huber, F., Sch\u00e4tz, B., Schmidt, A., Spies, K., 1996. Autofocus\u2013\u2013a tool for distributed systems specification. In: FTRTFT\u201996, LNCS 1135","DOI":"10.1007\/3-540-61648-9_58"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB34","series-title":"Software Requirements and Specifications","author":"Jackson","year":"1995"},{"issue":"7","key":"10.1016\/S0164-1212(03)00076-1_BIB35","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","article-title":"Symbolic execution and program testing","volume":"19","author":"King","year":"1976","journal-title":"CACM"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB36","unstructured":"Koch, B., Grabowski, J., Hogrefe, D., Schmitt, M., 1998. AutoLink\u2013\u2013a tool for automatic test generation from SDL specifications. In: Proceedings of the IEEE International Workshop on Industrial Strength Formal Specification Techniques"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB37","unstructured":"Legeard, B., Peureux, F., June 2001. G\u00e9n\u00e9ration de s\u00e9quences de tests \u00e0 partir d\u2019une sp\u00e9cification B en PLC ensembliste. In: Proceedings of the Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels. pp. 113\u2013130"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB38","doi-asserted-by":"crossref","unstructured":"Leveson, N.G., Heimdahl, M., Reese, J.D., 1999. Designing specification languages for process control systems: Lessons learned and steps to the future. In: FOSE \u201999 (Foundations of Software Engineering)","DOI":"10.1145\/318774.318937"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB39","unstructured":"L\u00f6tzbeyer, H., Pretschner, A., 2000a. AutoFocus on Constraint Logic Programming. In: Proceedings of the (Constraint) Logic Programming and Software Engineering"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB40","unstructured":"L\u00f6tzbeyer, H., Pretschner, A., 2000b. Testing Concurrent Reactive Systems with Constraint Logic Programming. In: Proceedings of the 2nd Workshop on Rule-Based Constraint Reasoning and Programming"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB41","doi-asserted-by":"crossref","unstructured":"Marre, B., Arnould, A., 2000. Test Sequence Generation from Lustre Descriptions: GATEL. In: Proceedings of the 15th IEEE International Conf on Automated Software Engineering (ASE\u201900). Grenoble","DOI":"10.1109\/ASE.2000.873667"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB42","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"},{"issue":"6","key":"10.1016\/S0164-1212(03)00076-1_BIB43","doi-asserted-by":"crossref","first-page":"868","DOI":"10.1109\/32.6165","article-title":"A comparison of some structural testing strategies","volume":"14","author":"Ntafos","year":"1988","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB44","unstructured":"Philipps, J., Rumpe, B., October 2001. Roots of refactoring. In: Proceedings of the 10th OOPSLA Workshop on Behavioral Semantics: Back to Basics. pp. 187\u2013199"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB45","unstructured":"Philipps, J., Schmidt, A., 1997. Traffic flow by data flow. Tech. Rep. TUM-I9718, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB46","doi-asserted-by":"crossref","unstructured":"Philipps, J., Slotosch, O., 1999. The quest for correct systems: Model checking of diagrams and datatypes. In: APSEC\u201999. IEEE Computer Society, pp. 449\u2013458","DOI":"10.1109\/APSEC.1999.809636"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB47","unstructured":"Pretschner, A., 2001. Classical search strategies for test case generation with Constraint Logic Programming. In: Proceedings of the Formal Approaches to Testing of Software. pp. 47\u201360"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB48","doi-asserted-by":"crossref","unstructured":"Pretschner, A., L\u00f6tzbeyer, H., Philipps, J., 2001a. Model based testing in evolutionary software development. In: Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping. pp. 155\u2013160","DOI":"10.1109\/IWRSP.2001.933854"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB49","unstructured":"Pretschner, A., Slotosch, O., L\u00f6tzbeyer, H., Aiglstorfer, E., Kriebel, S., 2001b. Model based testing for real: The inhouse card case study. In: Proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems. pp. 79\u201394"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB50","unstructured":"Pretschner, A., Philipps, J., 2002. Szenarien modellbasierten Testens. Tech. Rep. TUM-I0205, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB51","series-title":"Cleanroom Software Engineering","author":"Prowell","year":"1999"},{"issue":"4","key":"10.1016\/S0164-1212(03)00076-1_BIB52","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/TSE.1976.233835","article-title":"On the automated generation of program test data","volume":"SE-2","author":"Ramamoorthy","year":"1976","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB53","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 Real-Time Systems Symposium","DOI":"10.1109\/REAL.1998.739746"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB54","doi-asserted-by":"crossref","unstructured":"Rusu, V., du Bousquet, L., J\u00e9ron, T., 2000. An Approach to Symbolic Test Generation. In: Proceedings of the Integrated Formal Methods","DOI":"10.1007\/3-540-40911-4_20"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB55","unstructured":"Sadeghipour, S., 1998. Testing cyclic software components of reactive systems on the basis of formal specifications. Ph.D. Thesis, TU Berlin"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB56","doi-asserted-by":"crossref","unstructured":"Sch\u00e4tz, B., Pretschner, A., Huber, F., Philipps, J., 2002. Model-based development. Tech. Rep. TUM-I0204, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen","DOI":"10.1007\/3-540-46105-1_34"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB57","series-title":"Haskell: The Craft of Functional Programming","author":"Thompson","year":"1999"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB58","unstructured":"Tracey, N., 2000. A search-based automated test-data generation framework for safety-critical software. Ph.D. Thesis, University of York"},{"issue":"3","key":"10.1016\/S0164-1212(03)00076-1_BIB59","first-page":"103","article-title":"Test generation with inputs, outputs and repetitive quiescence","volume":"17","author":"Tretmans","year":"1996","journal-title":"Software\u2013\u2013Concepts and Tools"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB60","doi-asserted-by":"crossref","unstructured":"Vilkomir, S., Bowen, J., 2001. Formalization of control-flow criteria of software testing. Tech. Rep. SBU-CISM-01-01, South Bank University","DOI":"10.1109\/CMPSAC.2001.960638"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB61","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., 2000. Java PathFinder\u2013\u2013Second Generation of a Java Model Checker. In: Proceedings of the Workshop on Advances in Verification","DOI":"10.1109\/ASE.2000.873645"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB62","first-page":"128","article-title":"A comparison of statecharts variants","volume":"vol. 863","author":"von der Beeck","year":"1994"},{"key":"10.1016\/S0164-1212(03)00076-1_BIB63","unstructured":"Vries, R.d., Tretmans, J., Belinfante, A., Feenstra, J., Feijs, L., Mauw, S., Goga, N., Heerink, L., Heer, A.d., 2000. C\u00f4te de Resyste in Progress. In: Progress 2000\u2013\u2013Workshop on Embedded Systems. pp. 141\u2013148"},{"issue":"3","key":"10.1016\/S0164-1212(03)00076-1_BIB64","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/131295.131299","article-title":"Memoing for logic programs","volume":"35","author":"Warren","year":"1992","journal-title":"Communications of the ACM"},{"issue":"12","key":"10.1016\/S0164-1212(03)00076-1_BIB65","doi-asserted-by":"crossref","first-page":"1128","DOI":"10.1109\/TSE.1986.6313008","article-title":"Axiomatizing software test data adequacy","volume":"SE-12","author":"Weyuker","year":"1986","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"10.1016\/S0164-1212(03)00076-1_BIB66","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1002\/1099-1689(200012)10:4<229::AID-STVR213>3.0.CO;2-O","article-title":"Specification based test sequence generation with propositional logic","volume":"10","author":"Wimmel","year":"2000","journal-title":"Journal of Software Testing, Validation, and Reliability"},{"issue":"4","key":"10.1016\/S0164-1212(03)00076-1_BIB67","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/267580.267590","article-title":"Software unit test coverage and adequacy","volume":"29","author":"Zhu","year":"1997","journal-title":"ACM Computing Surveys"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121203000761?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121203000761?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,27]],"date-time":"2023-04-27T05:16:12Z","timestamp":1682572572000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121203000761"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,3]]},"references-count":67,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,3]]}},"alternative-id":["S0164121203000761"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(03)00076-1","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2004,3]]}}}