{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:19:28Z","timestamp":1743034768006,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":60,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730651"},{"type":"electronic","value":"9783540730668"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-73066-8_1","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T04:07:13Z","timestamp":1187410033000},"page":"1-12","source":"Crossref","is-referenced-by-count":28,"title":["Implementing Conformiq Qtronic"],"prefix":"10.1007","author":[{"given":"Antti","family":"Huima","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Craig, R.D., Jaskiel, S.P.: Systematic Software Testing. Artech House Publishers (2002)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J., Sparks, R., Handley, M., Schooler, E.: SIP: Session initiation protocol. Request for Comments 3261, The Internet Society (2002)","DOI":"10.17487\/rfc3261"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Postel, J.: User datagram protocol. Request for Comments 768, The Internet Society (1980)","DOI":"10.17487\/rfc0768"},{"issue":"1","key":"1_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010051815785","volume":"11","author":"H. Abelson","year":"1998","unstructured":"Abelson, H., Dybvig, R.K., Haynes, C.T., Rozas, G.J., Iv, N.I.A., Friedman, D.P., Kohlbecker, E., Steele, J.G.L., Bartley, D.H., Halstead, R., Oxley, D., Sussman, G.J., Brooks, G., Hanson, C., Pitman, K.M., Wand, M.: Revised report on the algorithmic language scheme. Higher Order Symbol. Comput.\u00a011(1), 7\u2013105 (1998)","journal-title":"Higher Order Symbol. Comput."},{"key":"1_CR5","volume-title":"Semantics of Programming Languages","author":"C.A. Gunter","year":"1992","unstructured":"Gunter, C.A.: Semantics of Programming Languages. MIT Press, Cambridge (1992)"},{"key":"1_CR6","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)"},{"key":"1_CR7","unstructured":"Huima, A. (ed.): CQ\u03bb specification. Technical report, Conformiq Software (2003) Available upon request"},{"issue":"5","key":"1_CR8","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Trans. Program. Lang. Syst.\u00a016(5), 1512\u20131542 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1_CR9","volume-title":"DASC 1999","author":"P. Ammann","year":"1999","unstructured":"Ammann, P., Black, P.: Abstracting formal specifications to generate software tests via model checking. In: DASC 1999. Proceedings of the 18th Digital Avionics Systems Conference, vol.\u00a02, IEEE, New York (1999)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-61580-6_20","volume-title":"Proceedings of the Dagstuhl Seminar on Partial Evaluation","author":"T. Reps","year":"1996","unstructured":"Reps, T., Turnidge, T.: Program specialization via program slicing. In: Danvy, O., Glueck, R., Thiemann, P. (eds.) Proceedings of the Dagstuhl Seminar on Partial Evaluation, Schloss Dagstuhl, Wadern, Germany, pp. 409\u2013429. Springer, New York (1996)"},{"key":"1_CR11","first-page":"439","volume-title":"ICSE 1981","author":"M. Weiser","year":"1981","unstructured":"Weiser, M.: Program slicing. In: ICSE 1981. Proceedings of the 5th international conference on Software engineering, Piscataway, NJ, USA, pp. 439\u2013449. IEEE Press, New York (1981)"},{"key":"1_CR12","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"2000","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"1_CR13","unstructured":"Luo, G., Petrenko, A., Bochmann, G.V.: Selecting test sequences for partially-specified nondeterministic finite state machines. Technical Report IRO-864 (1993)"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - A survey. Proceedings of the IEEE\u00a084, 1090\u20131126 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"1_CR15","first-page":"187","volume-title":"ACSD 2003","author":"T. Pyh\u00e4l\u00e4","year":"2003","unstructured":"Pyh\u00e4l\u00e4, T., Heljanko, K.: Specification coverage aided test selection. In: Lilius, J., Balarin, F., Machado, R.J. (eds.) ACSD 2003. Proceeding of the 3rd International Conference on Application of Concurrency to System Design, Guimaraes, Portugal, pp. 187\u2013195. IEEE Computer Society, Washington (2003)"},{"key":"1_CR16","unstructured":"Tretmans, J.: A formal approach to conformance testing. In: Proc. 6th International Workshop on Protocols Test Systems. Number C-19 in IFIP Transactions, pp. 257\u2013276 (1994)"},{"issue":"2","key":"1_CR17","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1109\/32.265636","volume":"SE-20","author":"G. Luo","year":"1994","unstructured":"Luo, G., von Bochmann, G., Petrenko, A.: Test selection based on communicating nondeterministic finite state machines using a generalized wp-method. IEEE Transactions on Software Engineering\u00a0SE-20(2), 149\u2013162 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR18","unstructured":"Feijs, L., Goga, N., Mauw, S.: Probabilities in the TorX test derivation algorithm. In: Proc. SAM 2000, SDL Forum Society (2000)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44830-6_11","volume-title":"Testing of Communicating Systems","author":"A. Petrenko","year":"2003","unstructured":"Petrenko, A., Yevtushenko, N., Huo, J.L.: Testing transition systems with input and output tester. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, Springer, Heidelberg (2003)"},{"issue":"3","key":"1_CR20","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software\u2014Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software\u2014Concepts and Tools"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/1081706.1081751","volume-title":"ESEC\/FSE-13","author":"M. Veanes","year":"2005","unstructured":"Veanes, M., Campbell, C., Schulte, W., Tillmann, N.: Online testing with model programs. In: ESEC\/FSE-13. Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 273\u2013282. ACM Press, New York, NY, USA (2005)"},{"key":"1_CR22","unstructured":"Object Management Group: Unified Modeling Language: Superstructure. Technical Report formal\/2007-02-05 (2007)"},{"issue":"3","key":"1_CR23","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1147\/sj.453.0607","volume":"45","author":"B. Selic","year":"2006","unstructured":"Selic, B.: UML 2: a model-driven development tool. IBM Syst. J.\u00a045(3), 607\u2013620 (2006)","journal-title":"IBM Syst. J."},{"key":"1_CR24","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Prentice-Hall, Englewood Cliffs (2005)","edition":"3"},{"key":"1_CR25","volume-title":"Essential C# 2.0","author":"M. Michaelis","year":"2006","unstructured":"Michaelis, M.: Essential C# 2.0. Addison-Wesley, London (2006)"},{"key":"1_CR26","unstructured":"Conformiq Software: Conformiq Qtronic User Manual. Conformiq Software, Publicly available as part of product download (2007)"},{"issue":"3","key":"1_CR27","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. Journal of Computer and System Science\u00a017(3), 348\u2013375 (1978)","journal-title":"Journal of Computer and System Science"},{"key":"1_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (1999)"},{"key":"1_CR29","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"1_CR30","first-page":"220","volume-title":"POPL 1980","author":"T.A. Budd","year":"1980","unstructured":"Budd, T.A., DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Theoretical and empirical studies on using program mutation to test the functional correctness of programs. In: POPL 1980. Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 220\u2013233. ACM Press, New York, USA (1980)"},{"issue":"5","key":"1_CR31","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1109\/32.286422","volume":"20","author":"A.J. Offutt","year":"1994","unstructured":"Offutt, A.J., Lee, S.: An empirical evaluation of weak mutation. IEEE Transactions on Software Engineering\u00a020(5), 337\u2013344 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"1_CR32","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P., May, J.: Software unit test coverage and adequacy. ACM Computing Surveys\u00a029(4), 366\u2013427 (1997)","journal-title":"ACM Computing Surveys"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-31848-4_6","volume-title":"Formal Approaches to Software Testing","author":"K.G. Larsen","year":"2005","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using UPPAAL. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 79\u201394. Springer, Heidelberg (2005)"},{"key":"1_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/11526841_13","volume-title":"FM 2005: Formal Methods","author":"H. Bohnenkamp","year":"2005","unstructured":"Bohnenkamp, H., Belinfante, A.: Timed testing with TorX. In: Fitzgerald, J.A., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 173\u2013188. Springer, Heidelberg (2005)"},{"key":"1_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11576280_19","volume-title":"Formal Methods and Software Engineering","author":"L. Briones","year":"2005","unstructured":"Briones, L., Brinksma, E.: Testing real-time multi input-output systems. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785, pp. 264\u2013279. Springer, Heidelberg (2005)"},{"issue":"3","key":"1_CR36","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/155360.155373","volume":"28","author":"G.L. Steele Jr.","year":"1993","unstructured":"Steele Jr., G.L., Gabriel, R.P.: The evolution of Lisp. ACM SIGPLAN Notices\u00a028(3), 231\u2013270 (1993)","journal-title":"ACM SIGPLAN Notices"},{"key":"1_CR37","unstructured":"Object Management Group: Meta Object Facility (MOF) Core Specification. Technical Report formal\/06-01-01 (2006)"},{"key":"1_CR38","volume-title":"Eclipse Modeling Framework","author":"F. Budinsky","year":"2003","unstructured":"Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework, 1st edn. Addison-Wesley, London (2003)","edition":"1"},{"key":"1_CR39","unstructured":"Object Management Group: MOF 2.0\/XMI Mapping Specification. Technical Report formal\/05-09-01 (2005)"},{"key":"1_CR40","volume-title":"MDA Distilled","author":"S.J. Mellor","year":"2004","unstructured":"Mellor, S.J., Scott, K., Uhl, A., Weise, D.: MDA Distilled. Addison-Wesley, London (2004)"},{"key":"1_CR41","volume-title":"MDA Explained","author":"A. Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA Explained. Addison-Wesley, London (2003)"},{"issue":"8","key":"1_CR42","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1145\/360933.360969","volume":"18","author":"A.V. Aho","year":"1975","unstructured":"Aho, A.V., Johnson, S.C., Ullman, J.D.: Deterministic parsing of ambiguous grammars. Commun. ACM\u00a018(8), 441\u2013452 (1975)","journal-title":"Commun. ACM"},{"key":"1_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-49051-7_3","volume-title":"Compiler Construction","author":"J. Aycock","year":"1999","unstructured":"Aycock, J., Horspool, R.N.: Faster generalized LR parsing. In: J\u00e4hnichen, S. (ed.) CC 1999 and ETAPS 1999. LNCS, vol.\u00a01575, pp. 32\u201346. Springer, Heidelberg (1999)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","key":"1_CR44","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"1_CR45","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., Rozenberg, G.: Node replacement graph grammars. In: 44, pp. 1\u201394","DOI":"10.1142\/9789812384720_0001"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Drewes, F., Kreowski, H.J., Habel, A.: Hyperedge replacement graph grammars. In: 44, pp. 95\u2013162","DOI":"10.1142\/9789812384720_0002"},{"key":"1_CR47","unstructured":"Nupponen, K.: The design and implementation of a graph rewrite engine for model transformations. Master\u2019s thesis, Helsinki University of Technology (2005)"},{"key":"1_CR48","unstructured":"Vainikainen, T.: Applying graph rewriting to model transformations. Master\u2019s thesis, Helsinki University of Technology (2005)"},{"key":"1_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-31848-4_9","volume-title":"Formal Approaches to Software Testing","author":"J. Blom","year":"2005","unstructured":"Blom, J., Hessel, A., Jonsson, B., Pettersson, P.: Specifying and generating test cases using observer automata. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 125\u2013139. Springer, Heidelberg (2005)"},{"key":"1_CR50","first-page":"53","volume-title":"ISSTA 1998","author":"A. Gotlieb","year":"1998","unstructured":"Gotlieb, A., Botella, B., Rueher, M.: Automatic test data generation using constraint solving techniques. In: ISSTA 1998. Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, pp. 53\u201362. ACM Press, New York, USA (1998)"},{"key":"1_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/3-540-36577-X_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Khurshid","year":"2003","unstructured":"Khurshid, S., Pasareanu, C.S.: Generalized symbolic execution for model checking and testing. In: Garavel, H., Hatcliff, J. (eds.) ETAPS 2003 and TACAS 2003. LNCS, vol.\u00a02619, pp. 553\u2013568. Springer, Heidelberg (2003)"},{"issue":"1","key":"1_CR52","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1002\/stvr.309","volume":"15","author":"G. Lee","year":"2005","unstructured":"Lee, G., Morris, J., Parker, K., Bundell, G.A., Lam, P.: Using symbolic execution to guide test generation: Research articles. Softw. Test. Verif. Reliab.\u00a015(1), 41\u201361 (2005)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"1_CR53","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann Publishers, San Francisco (2003)"},{"key":"1_CR54","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615320","volume-title":"Principles of Constraint Programming","author":"K.R. Apt","year":"2003","unstructured":"Apt, K.R.: Principles of Constraint Programming. Cambridge University Press, Cambridge (2003)"},{"key":"1_CR55","unstructured":"The Unicode Consortium: The Unicode Standard, Version 5.0. 5th edn. Addison-Wesley Professional (2006)"},{"key":"1_CR56","volume-title":"Garbage Collection: Algorithms for Automatic Dynamic Memory Management","author":"R. Jones","year":"1996","unstructured":"Jones, R., Lins, R.D.: Garbage Collection: Algorithms for Automatic Dynamic Memory Management. Wiley, Chichester (1996)"},{"issue":"1-2","key":"1_CR57","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0004-3702(99)00059-4","volume":"113","author":"R. Dechter","year":"1999","unstructured":"Dechter, R.: Bucket elimination: A unifying framework for reasoning. Artificial Intelligence\u00a0113(1-2), 41\u201385 (1999)","journal-title":"Artificial Intelligence"},{"key":"1_CR58","volume-title":"Grid Computing: Software Environments and Tools","year":"2005","unstructured":"Cunha, J.C., Rana, O.F. (eds.): Grid Computing: Software Environments and Tools, 1st edn. Springer, Heidelberg (2005)","edition":"1"},{"issue":"2","key":"1_CR59","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/234528.234740","volume":"28","author":"P. Cousot","year":"1996","unstructured":"Cousot, P.: Abstract interpretation. ACM Computing Surveys\u00a028(2), 324\u2013328 (1996)","journal-title":"ACM Computing Surveys"},{"key":"1_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-46419-0_17","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Bozga","year":"2000","unstructured":"Bozga, M., Fernandez, J.C., Ghirvu, L.: Using static analysis to improve automatic test generation. In: Schwartzbach, M.I., Graf, S. (eds.) ETAPS 2000 and TACAS 2000. LNCS, vol.\u00a01785, pp. 235\u2013250. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73066-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T11:39:07Z","timestamp":1578483547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73066-8_1"}},"subtitle":["(Invited Talk)"],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730651","9783540730668"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73066-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}