{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:59:17Z","timestamp":1762459157186,"version":"3.40.4"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,2,21]],"date-time":"2014-02-21T00:00:00Z","timestamp":1392940800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s10009-014-0301-x","type":"journal-article","created":{"date-parts":[[2014,2,20]],"date-time":"2014-02-20T02:51:15Z","timestamp":1392864675000},"page":"107-119","source":"Crossref","is-referenced-by-count":9,"title":["Testing abstract behavioral specifications"],"prefix":"10.1007","volume":"17","author":[{"given":"Peter Y. H.","family":"Wong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Bubel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank S.","family":"de Boer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel","family":"G\u00f3mez-Zamalloa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stijn","family":"de Gouw","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiner","family":"H\u00e4hnle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karl","family":"Meinke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muddassar Azam","family":"Sindhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,21]]},"reference":[{"key":"301_CR1","unstructured":"Albert, E., Arenas, P., G\u00f3mez-Zamalloa, M.: Towards testing concurrent objects in CLP. In: Agostino Dovier and V\u00edtor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP\u201912), vol. 17 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 98\u2013108, Dagstuhl, Germany. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2012)"},{"key":"301_CR2","doi-asserted-by":"crossref","unstructured":"Albert, E., G\u00f3mez-Zamalloa, M., Rojas, J.M., Puebla, G.: Compositional CLP-based test data generation for imperative languages. In: LOPSTR 2010 Revised Selected Papers, vol. 6564 of LNCS. Springer-Verlag (2011)","DOI":"10.1007\/978-3-642-20551-4_7"},{"key":"301_CR3","doi-asserted-by":"crossref","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA \u201905, pp. 345\u2013364. ACM, New York (2005)","DOI":"10.1145\/1094811.1094839"},{"issue":"2","key":"301_CR4","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/S1571-0661(04)00247-6","volume":"55","author":"Detlef Bartetzko","year":"2001","unstructured":"Bartetzko, Detlef, Fischer, Clemens, M\u00f6ller, Michael, Wehrheim, Heike: Jass-Java with assertions. Electron. Notes Theor. Comput. Sci. 55(2), 103\u2013117 (2001)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"301_CR5","doi-asserted-by":"crossref","unstructured":"Chen, F., Ro\u015fu, G.: Mop: an efficient and generic runtime verification framework. In: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications, OOPSLA \u201907, pp. 569\u2013588. ACM, New York (2007)","DOI":"10.1145\/1297027.1297069"},{"key":"301_CR6","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NuSMV: a new symbolic model verifier. In: Proceedings of CAV 1999, vol. 1633 of LNCS (1999)","DOI":"10.1007\/3-540-48683-6_44"},{"key":"301_CR7","first-page":"417","volume-title":"ormal Methods for Eternal Networked Software Systems, vol. 6659 of Lecture Notes in Computer Science","author":"D Clarke","year":"2011","unstructured":"Clarke, D., Diakov, N., H\u00e4hnle, R., Johnsen, E.B., Schaefer, I., Sch\u00e4fer, J., Schlatte, R., Wong, P.Y.H.: Modeling spatial and temporal variability with the HATS abstract behavioral modeling language. In: Bernardo, M., Issarny, V. (eds.) ormal Methods for Eternal Networked Software Systems, vol. 6659 of Lecture Notes in Computer Science, pp. 417\u2013457. Springer-Verlag, Berlin (2011)"},{"key":"301_CR8","doi-asserted-by":"crossref","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: LARVA\u2013safer monitoring of real-time Java Programs (Tool Paper). In: Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM \u201909, pp. 33\u201337, Washington, DC, USA. IEEE Computer Society (2009)","DOI":"10.1109\/SEFM.2009.13"},{"key":"301_CR9","doi-asserted-by":"crossref","unstructured":"de Boer, F.S., de Gouw, S., Johnsen, E.B., Wong, P.Y.H.: Run-time assertion checking of data- and protocol-oriented properties of java programs: an industrial case study. LNCS Transactions on Aspect-Oriented Software Development (TAOSD). Special Issue on Runtime Verification and Analysis. To appear (2013)","DOI":"10.1007\/978-3-642-55099-7_1"},{"key":"301_CR10","doi-asserted-by":"crossref","unstructured":"de Boer, F.S., de Gouw, S., Wong, P.Y.H.: Run-time verification of coboxes. In: Proceedings of 11th International Conference on Software Engineering and Formal Methods, vol. 8137 of LNCS, pp. 259\u2013273 (2013)","DOI":"10.1007\/978-3-642-40561-7_18"},{"key":"301_CR11","doi-asserted-by":"crossref","unstructured":"de Gouw, S., Vinju, J., de Boer, F.: Prototyping a tool environment for run-time assertion checking in JML with Communication Histories. In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP \u201910, pp. 6:1\u20136:7. ACM, New York (2010)","DOI":"10.1145\/1924520.1924526"},{"key":"301_CR12","unstructured":"Analysis Final Report. Deliverable 2.7 of project FP7-231620 (HATS), available at http:\/\/www.hats-project.eu . December 2012"},{"key":"301_CR13","doi-asserted-by":"crossref","unstructured":"Feng, L., Lundmark, S., Meinke, K., Niu, F., Sindhu, M.A., Wong, P.Y.H.: Case studies in learning-based testing. In: Proceedings Twenty Fifth IFIP International Conference on Testing Software and Systems (ICTSS 2013), vol. 8254 of LNCS, pp. 164\u2013179. Springer, New York (2013)","DOI":"10.1007\/978-3-642-41707-8_11"},{"key":"301_CR14","doi-asserted-by":"crossref","unstructured":"G\u00f3mez-Zamalloa, M., Albert, E., Puebla, G.: Test Case Generation for Object-Oriented Imperative Languages in CLP. Theory and Practice of Logic Programming, 26th Int\u2019l. Conference on Logic Programming (ICLP\u201910) Special Issue, 10 (4\u20136):659\u2013674, July (2010)","DOI":"10.1017\/S1471068410000347"},{"key":"301_CR15","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R.: The abstract behavioral specification language: a tutorial introduction. In: Bonsangue, M., de Boer, F., Giachino, E., H\u00e4hnle, R. (eds.) International School on Formal Models for Components and Objects: Post Proceedings, vol. 7866 of Lecture Notes in Computer Science, pp. 1\u201337. Springer-Verlag, Berlin (2013)","DOI":"10.1007\/978-3-642-40615-7_1"},{"key":"301_CR16","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R., Schaefer, I., Bubel, R.: Reuse in software verification by abstract method calls. In: Bonacina, M.P. (ed.) Proceedings 24th Conference on Automated Deduction (CADE), Lake Placid, USA, vol. 7898 of Lecture Notes in Computer Science, pp. 300\u2013314. Springer-Verlag, Berlin (2013)","DOI":"10.1007\/978-3-642-38574-2_21"},{"key":"301_CR17","doi-asserted-by":"crossref","unstructured":"Hamill, P.: Unit Test Frameworks. O\u2019Reilly Media (2004)","DOI":"10.1145\/1022365.1022360"},{"key":"301_CR18","doi-asserted-by":"crossref","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B., de Boer F.S., Bonsangue, M.M. (eds.) Proceedings 9th International Symposium on Formal Methods for Components and Objects (FMCO 2010), vol. 6957 of LNCS, pp. 142\u2013164. Springer-Verlag, Berlin (2011)","DOI":"10.1007\/978-3-642-25271-6_8"},{"key":"301_CR19","unstructured":"Einar, B.J., Olaf, O.: An asynchronous communication model for distributed concurrent objects. Softw. Syst. Model. 6(1), 35\u201358 (2007)"},{"issue":"7","key":"301_CR20","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"key":"301_CR21","doi-asserted-by":"crossref","unstructured":"Klint, P., van der Storm, T., Vinju, J.: RASCAL: a domain specific language for source code analysis and manipulation. In: Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM \u201909, pp. 168\u2013177, Washington, DC, USA. IEEE Computer Society (2009)","DOI":"10.1109\/SCAM.2009.28"},{"key":"301_CR22","doi-asserted-by":"crossref","unstructured":"Martin, M., Livshits, B., Lam, M.S.: Finding application errors and security flaws using PQL: a program query language. In: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA \u201905, pp. 365\u2013383. ACM, New York (2005)","DOI":"10.1145\/1094811.1094840"},{"key":"301_CR23","doi-asserted-by":"crossref","unstructured":"Meinke, K., Niu, F., Sindhu, M.: Learning-based software testing: a tutorial. In: Reiner, H., Jens, K., Tiziana, M., Dietmar, S., Bernhard, S. (eds.) Leveraging Applications of Formal Methods, Verification, and Validation, Communications in Computer and Information Science, pp. 200\u2013219. Springer-Verlag, Berlin (2012)","DOI":"10.1007\/978-3-642-34781-8_16"},{"key":"301_CR24","doi-asserted-by":"crossref","unstructured":"Meinke, K., Sindhu, M.: Incremental learning-based testing for reactive systems. In: Proceedings Fifth International Conference on Tests and Proofs (TAP2011), number 6706 in Lecture Notes in Computer Science, pp. 134\u2013151. Springer-Verlag, Berlin (2011)","DOI":"10.1007\/978-3-642-21768-5_11"},{"key":"301_CR25","doi-asserted-by":"crossref","unstructured":"Meinke, K., Sindhu, M.A.: LBTest: a learning-based testing tool for reactive systems. In Proc ICST-13, Sixth IEEE International Conference on Software Testing, Verification and Validation, pp. 447\u2013454. IEEE Computer Society (2013)","DOI":"10.1109\/ICST.2013.62"},{"key":"301_CR26","doi-asserted-by":"crossref","unstructured":"Nobakht, B., Bonsangue, M.M., de Boer, F.S., de Gouw, S.: Monitoring method call sequences using annotations. In: Proceedings of the 7th international conference on Formal Aspects of Component Software, FACS\u201910, pp. 53\u201370. Springer-Verlag, Berlin, Heidelberg (2012)","DOI":"10.1007\/978-3-642-27269-1_4"},{"key":"301_CR27","unstructured":"Terrence, P.: The Definitive ANTLR Reference. Pragmatic Bookshelf (2007)"},{"key":"301_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles, and Techniques","author":"Klaus Pohl","year":"2005","unstructured":"Pohl, Klaus, B\u00f6ckle, G\u00fcnter, Van Der Linden, Frank: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, New York (2005)"},{"key":"301_CR29","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Proceedings of 14th Software Product Line Conference (SPLC 2010), September (2010)","DOI":"10.1007\/978-3-642-15579-6_6"},{"key":"301_CR30","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, J., Poetzsch-Heffter, A.: JCoBox: Generalizing active objects to concurrent components. In: European Conference on Object-Oriented Programming (ECOOP\u201910), vol. 6183 of Lecture Notes in Computer Science, pp. 275\u2013299. Springer-Verlag, June (2010)","DOI":"10.1007\/978-3-642-14107-2_13"},{"issue":"5","key":"301_CR31","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1007\/s10009-012-0250-1","volume":"14","author":"PYH Wong","year":"2012","unstructured":"Wong, P.Y.H., Albert, E., Muschevici, R., Proen\u00e7a, J., Sch\u00e4fer, J., Schlatte, R.: The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. J. Soft. Tools Technol. Trans. 14(5), 567\u2013588 (2012)","journal-title":"J. Soft. Tools Technol. Trans."},{"key":"301_CR32","doi-asserted-by":"crossref","unstructured":"Wong, P.Y.H., Diakov, N., Schaefer, I.: Modelling Distributed Adaptable Object Oriented Systems using HATS Approach: A Fredhopper Case Study. In: Proceedings of FoVeOOS 2011, vol. 7421 of LNCS (2012)","DOI":"10.1007\/978-3-642-31762-0_5"}],"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-014-0301-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0301-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0301-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T22:02:32Z","timestamp":1746136952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0301-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,21]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["301"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0301-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2014,2,21]]}}}