{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T04:24:50Z","timestamp":1648700690148},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s10664-009-9107-y","type":"journal-article","created":{"date-parts":[[2009,3,17]],"date-time":"2009-03-17T07:54:41Z","timestamp":1237276481000},"page":"720-777","source":"Crossref","is-referenced-by-count":6,"title":["Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems"],"prefix":"10.1007","volume":"14","author":[{"given":"G\u00fcrcan","family":"G\u00fcle\u015fir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaas","family":"van den Berg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lodewijk","family":"Bergmans","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehmet","family":"Ak\u015fit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,3,18]]},"reference":[{"key":"9107_CR1","volume-title":"Compilers: principles, techniques, and tools","author":"AV Aho","year":"1986","unstructured":"Aho AV, Sethi R, Ullman JD (1986) Compilers: principles, techniques, and tools. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA. ISBN 0-201-10088-6"},{"key":"9107_CR2","doi-asserted-by":"crossref","unstructured":"Aldrich J (2005) Open modules: modular reasoning about advice. In: European conference on object-oriented programming","DOI":"10.1007\/11531142_7"},{"key":"9107_CR3","doi-asserted-by":"crossref","unstructured":"Allan C, Avgustinov P, Christensen AS, Hendren L, Kuzins S, Lhot\u00e0k O, de\u00a0Moor O, Sereni\u00a0D, Sittampalam G, Tibble J (2005) Adding trace matching with free variables to aspectj. In: OOPSLA \u201905: proceedings of the 20th annual ACM SIGPLAN conference on object oriented programming, systems, languages, and applications. ACM, New York, NY, USA, pp 345\u2013364. ISBN 1-59593-031-0","DOI":"10.1145\/1094811.1094839"},{"key":"9107_CR4","doi-asserted-by":"crossref","unstructured":"Ashcraft K, Engler D (2002) Using programmer-written compiler extensions to catch security holes. In: IEEE symposium on security and privacy. Oakland, California, May","DOI":"10.21236\/ADA419600"},{"key":"9107_CR5","doi-asserted-by":"crossref","unstructured":"Ball T, Rajamani SK (2002) The slam project: debugging system software via static analysis. In: POPL \u201902: proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages. ACM, New York, NY, USA, pp 1\u20133. ISBN 1-58113-450-9","DOI":"10.1145\/503272.503274"},{"issue":"1","key":"9107_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/200912.200913","volume":"13","author":"PC Bates","year":"1995","unstructured":"Bates PC (1995) Debugging heterogeneous distributed systems using event-based models of behavior. ACM Trans Comput Syst 13(1):1\u201331","journal-title":"ACM Trans Comput Syst"},{"issue":"7","key":"9107_CR7","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A Beugnard","year":"1999","unstructured":"Beugnard A, J\u00e9z\u00e9quel J-M, Plouzeau N, Watkins D (1999) Making components contract aware. Computer 32(7):0 38\u201345. ISSN 0018-9162","journal-title":"Computer"},{"key":"9107_CR8","doi-asserted-by":"crossref","unstructured":"Chen H, Wagner DA (2002) Mops: an infrastructure for examining security properties of software. Technical report, Berkeley, CA, USA","DOI":"10.1145\/586139.586142"},{"key":"9107_CR9","volume-title":"Model checking","author":"EM Clarke","year":"1999","unstructured":"Clarke EM, Grumberg O, Peled DA (1999) Model checking. MIT, Cambridge"},{"key":"9107_CR10","volume-title":"Quasi-experimentation: design and analysis issues for field settings","author":"TD Cook","year":"1979","unstructured":"Cook TD, Campbell DT (1979) Quasi-experimentation: design and analysis issues for field settings. Rand McNally Collage, Chicago"},{"key":"9107_CR11","doi-asserted-by":"crossref","unstructured":"Corbett JC, Dwyer MB, Hatcliff J, Laubach S, P\u01ces\u01cereanu CS, Zheng H (2000) Bandera: extracting finite-state models from java source code. In: ICSE \u201900: proceedings of the 22nd international conference on software engineering. ACM, New York, NY, USA, pp 439\u2013448. ISBN 1-58113-206-9","DOI":"10.1145\/337180.337234"},{"issue":"3","key":"9107_CR12","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/j.scico.2006.04.002","volume":"61","author":"JR Cordy","year":"2006","unstructured":"Cordy JR (2006) The txl source transformation language. Sci Comput Program 61(3):190\u2013210. ISSN 0167-6423","journal-title":"Sci Comput Program"},{"key":"9107_CR13","volume-title":"Introduction to algorithms","author":"TH Cormen","year":"2001","unstructured":"Cormen TH, Lieserson CE, Rivest RL (2001) Introduction to algorithms. MIT, Cambridge, MA, USA. ISBN 0-262-03293-7"},{"key":"9107_CR14","doi-asserted-by":"crossref","unstructured":"Das M, Lerner S, Seigle M (2002) Esp: path-sensitive program verification in polynomial time. In: PLDI \u201902: proceedings of the ACM SIGPLAN 2002 conference on programming language design and implementation. ACM, New York, NY, USA, pp 57\u201368. ISBN 1-58113-463-0","DOI":"10.1145\/512529.512538"},{"issue":"2","key":"9107_CR15","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/192218.192226","volume":"3","author":"LK Dillon","year":"1994","unstructured":"Dillon LK, Kutty G, Moser LE, Melliar-Smith PM, Ramakrishna YS (1994a) A graphical interval logic for specifying concurrent systems. ACM Trans Softw Eng Methodol 3(2):131\u2013165","journal-title":"ACM Trans Softw Eng Methodol"},{"issue":"1","key":"9107_CR16","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1006\/jvlc.1994.1004","volume":"5","author":"LK Dillon","year":"1994","unstructured":"Dillon LK, Kutty G, Melliar-Smith PM, Moser LE, Ramakrishna YS (1994b) Visual specifications for temporal reasoning. J Vis Lang Comput 5(1):61\u201381","journal-title":"J Vis Lang Comput"},{"key":"9107_CR17","doi-asserted-by":"crossref","unstructured":"Douence R, Motelet O, S\u00fcdholt M (2001) A formal definition of crosscuts. In: REFLECTION \u201901: proceedings of the 3rd international conference on metalevel architectures and separation of crosscutting concerns. Springer, London, UK, pp 170\u2013186","DOI":"10.1007\/3-540-45429-2_13"},{"key":"9107_CR18","doi-asserted-by":"crossref","unstructured":"Douence R, Fradet P, S\u00fcdholt M (2002) A framework for the detection and resolution of aspect interactions. In: GPCE \u201902: the ACM SIGPLAN\/SIGSOFT conference on generative programming and component engineering. Springer, London, UK, pp 173\u2013188. ISBN 3-540-44284-7","DOI":"10.1007\/3-540-45821-2_11"},{"key":"9107_CR19","doi-asserted-by":"crossref","unstructured":"Douence R, Fradet P, S\u00fcdholt M (2004) Composition, reuse and interaction analysis of stateful aspects. In: AOSD \u201904: proceedings of the 3rd international conference on aspect-oriented software development. ACM, New York, NY, USA, pp 141\u2013150.","DOI":"10.1145\/976270.976288"},{"key":"9107_CR20","first-page":"201","volume-title":"Aspect-oriented software development","author":"R Douence","year":"2005","unstructured":"Douence R, Fradet P, S\u00fcdholt M (2005) Trace-based aspects. In: Filman RE, Elrad T, Clarke S, Ak\u015fit M (eds) Aspect-oriented software development. Addison-Wesley, Boston, pp 201\u2013217. ISBN 0-321-21976-7"},{"key":"9107_CR21","doi-asserted-by":"crossref","unstructured":"Engler D, Chelf B, Chou A, Hallem S (2000) Checking system rules using system-specific, programmer-written compiler extensions. In: Proceedings of the 4th symposium on operating systems design and implementation. San Diego, CA, October","DOI":"10.21236\/ADA419626"},{"key":"9107_CR22","doi-asserted-by":"crossref","unstructured":"Evans D, Guttag J, Horning J, Tan YM (1994) Lclint: a tool for using specifications to check code. In: SIGSOFT \u201994: proceedings of the 2nd ACM SIGSOFT symposium on foundations of software engineering. ACM, New York, NY, USA, pp 87\u201396. ISBN 0-89791-691-3","DOI":"10.1145\/193173.195297"},{"issue":"2","key":"9107_CR23","doi-asserted-by":"crossref","first-page":"175","DOI":"10.3758\/BF03193146","volume":"39","author":"F Faul","year":"2007","unstructured":"Faul F, Erdfelder E, Lang A-G, Buchner A (2007) Gpower 3: a flexible statistical power analysis program for the social, behavioral, and biomedical sciences. Behav Res Methods 39(2):175\u2013191. ISSN 1554-351X","journal-title":"Behav Res Methods"},{"key":"9107_CR24","volume-title":"Software metrics: a rigorous and practical approach","author":"NE Fenton","year":"1998","unstructured":"Fenton NE, Pfleeger SL (1998) Software metrics: a rigorous and practical approach. PWS, Boston, MA, USA. ISBN 0534954251"},{"key":"9107_CR25","volume-title":"Aspect-oriented software development","year":"2005","unstructured":"Filman RE, Elrad T, Clarke S, Ak\u015fit M (eds) (2005) Aspect-oriented software development. Addison-Wesley, Boston. ISBN 0-321-21976-7"},{"issue":"5","key":"9107_CR26","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1145\/949952.940106","volume":"28","author":"D Giannakopoulou","year":"2003","unstructured":"Giannakopoulou D, Magee J (2003) Fluent model checking for event-based systems. SIGSOFT Softw Eng Notes 28(5):257\u2013266. ISSN 0163-5948","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"9107_CR27","doi-asserted-by":"crossref","unstructured":"Goldsmith S, O\u2019Callahan R, Aiken A (2005) Relational queries over program traces. In: OOPSLA \u201905: proceedings of the 20th annual ACM SIGPLAN conference on object oriented programming, systems, languages, and applications. ACM, New York, NY, USA, pp 385\u2013402","DOI":"10.1145\/1094811.1094841"},{"issue":"3","key":"9107_CR28","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1145\/152388.152389","volume":"2","author":"WG Griswold","year":"1993","unstructured":"Griswold WG, Notkin D (1993) Automated assistance for program restructuring. ACM Trans Softw Eng Methodol 2(3):228\u2013269. ISSN 1049-331X","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"9107_CR29","unstructured":"G\u00fcle\u015fir G (2008) Evolvable behavior specifications using context-sensitive wildcards. PhD thesis, University of Twente, Enschede, March. http:\/\/purl.org\/utwente\/58767"},{"key":"9107_CR30","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"Logics and models of concurrent systems","author":"D Harel","year":"1985","unstructured":"Harel D, Pnueli A (1985) On the development of reactive systems. In: Logics and models of concurrent systems. Springer, New York, NY, USA, pp 477\u2013498. ISBN 0-387-15181-8"},{"issue":"3","key":"9107_CR31","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3):231\u2013274","journal-title":"Sci Comput Program"},{"issue":"4","key":"9107_CR32","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D Harel","year":"1996","unstructured":"Harel D, Naamad A (1996) The statemate semantics of statecharts. ACM Trans Softw Eng Methodol 5(4):293\u2013333. ISSN 1049-331X","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"9107_CR33","volume-title":"Modeling reactive systems with statecharts: the statemate approach","author":"D Harel","year":"1998","unstructured":"Harel D, Politi M (1998) Modeling reactive systems with statecharts: the statemate approach. McGraw-Hill, New York, NY, USA. ISBN 0070262055"},{"issue":"4","key":"9107_CR34","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D Harel","year":"1990","unstructured":"Harel D, Lachover H, Naamad A, Pnueli A, Politi M, Sherman R, Shtull-Trauring A, Trakhtenbrot MB (1990) STATEMATE: a working environment for the development of complex reactive systems. IEEE Trans Softw Eng 16(4):403\u2013414","journal-title":"IEEE Trans Softw Eng"},{"key":"9107_CR35","doi-asserted-by":"crossref","unstructured":"Hatcliff J, Dwyer MB (2001) Using the bandera tool set to model-check properties of concurrent java software. In: CONCUR \u201901: proceedings of the 12th international conference on concurrency theory. Springer, London, UK, pp 39\u201358. ISBN 3-540-42497-0","DOI":"10.1007\/3-540-44685-0_5"},{"key":"9107_CR36","doi-asserted-by":"crossref","unstructured":"Hendrickson SA, Dashofy EM, Taylor RN (2005) An (architecture-centric) approach for tracing, organizing, and understanding events in event-based software architectures. In: IWPC \u201905: proceedings of the 13th international workshop on program comprehension. IEEE Computer Society, Washington, DC, USA, pp 227\u2013236. ISBN 0-7695-2254-8","DOI":"10.1109\/WPC.2005.6"},{"key":"9107_CR37","volume-title":"Introduction to automata theory, languages, and computation","author":"JE Hopcroft","year":"1990","unstructured":"Hopcroft JE, Ullman JD (1990) Introduction to automata theory, languages, and computation. Addison-Wesley Longman, Boston, MA, USA"},{"key":"9107_CR38","volume-title":"The C programming language","author":"BW Kernighan","year":"1978","unstructured":"Kernighan BW, Ritchie DM (1978) The C programming language. Prentice-Hall, Englewood Cliffs, New Jersey"},{"key":"9107_CR39","doi-asserted-by":"crossref","unstructured":"Kiczales G, Lamping J, Mendhekar A, Maeda C, Lopes C, Loingtier J-M, Irwin J (1997) Aspect-oriented programming. In: European conference on object-oriented programming, pp 220\u2013242","DOI":"10.1007\/BFb0053381"},{"issue":"8","key":"9107_CR40","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1109\/TSE.2002.1027796","volume":"28","author":"BA Kitchenham","year":"2002","unstructured":"Kitchenham BA, Pfleeger SL, Pickard LM, Jones PW, Hoaglin DC, El Emam K, Rosenberg J (2002) Preliminary guidelines for empirical research in software engineering. IEEE Trans Softw Eng 28(8):721\u2013734. ISSN 0098-5589","journal-title":"IEEE Trans Softw Eng"},{"key":"9107_CR41","doi-asserted-by":"crossref","unstructured":"Letier E, Kramer J, Magee J, Uchitel S (2005) Fluent temporal logic for discrete-time event-based models. 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. ACM, New York, NY, USA, pp 70\u201379. ISBN 1-59593-014-0","DOI":"10.1145\/1081706.1081719"},{"key":"9107_CR42","first-page":"145","volume-title":"Aspect-oriented software development","author":"K Lieberherr","year":"2005","unstructured":"Lieberherr K, Lorenz DH (2005) Coupling aspect-oriented and adaptive programming. In: Filman RE, Elrad T, Clarke S, Ak\u015fit M (eds) Aspect-oriented software development. Addison-Wesley, Boston, pp 145\u2013164. ISBN 0-321-21976-7"},{"key":"9107_CR43","volume-title":"An introduction to formal languages and automata","author":"P Linz","year":"2001","unstructured":"Linz P (2001) An introduction to formal languages and automata. Jones and Bartlett, USA. ISBN 0763714224"},{"issue":"9","key":"9107_CR44","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1109\/32.464548","volume":"21","author":"DC Luckham","year":"1995","unstructured":"Luckham DC, Vera J (1995) An event-based architecture definition language. IEEE Trans Softw Eng 21(9):717\u2013734","journal-title":"IEEE Trans Softw Eng"},{"key":"9107_CR45","volume-title":"Concurrency: state models & Java programs","author":"J Magee","year":"1999","unstructured":"Magee J, Kramer J (1999) Concurrency: state models & Java programs. Wiley, New York, NY, USA. ISBN 0-471-98710-7"},{"key":"9107_CR46","doi-asserted-by":"crossref","unstructured":"Martin M, Livshits B, Lam MS (2005) Finding application errors and security flaws using pql: a program query language. In: OOPSLA \u201905: proceedings of the 20th annual ACM SIGPLAN conference on object oriented programming, systems, languages, and applications. ACM, New York, NY, USA, pp 365\u2013383","DOI":"10.1145\/1094811.1094840"},{"issue":"2","key":"9107_CR47","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"SE","author":"TJ McCabe","year":"1976","unstructured":"McCabe TJ (1976) A complexity measure. IEEE Trans Softw Eng SE(2):308\u2013320","journal-title":"IEEE Trans Softw Eng"},{"key":"9107_CR48","doi-asserted-by":"crossref","unstructured":"Ongkingco N, Avgustinov P, Tibble J, Hendren L, de\u00a0Moor O, Sittampalam G (2006) Adding open modules to aspectj. In: AOSD \u201906: proceedings of the 5th international conference on aspect-oriented software development. ACM, New York, NY, USA, pp 39\u201350. ISBN 1-59593-300-X","DOI":"10.1145\/1119655.1119664"},{"issue":"3","key":"9107_CR49","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/52.88944","volume":"8","author":"DS Rosenblum","year":"1991","unstructured":"Rosenblum DS (1991) Specifying concurrent systems with tsl. IEEE Softw 8(3):52\u201361. ISSN 0740-7459","journal-title":"IEEE Softw"},{"key":"9107_CR50","doi-asserted-by":"crossref","unstructured":"Schwartz RL, Melliar-Smith PM, Vogt FH (1983) An interval logic for higher-level temporal reasoning. In: PODC \u201983: proceedings of the second annual ACM symposium on principles of distributed computing. ACM, New York, NY, USA, pp 173\u2013186. ISBN 0-89791-110-5","DOI":"10.1145\/800221.806720"},{"key":"9107_CR51","doi-asserted-by":"crossref","unstructured":"Sullivan K, Griswold WG, Song Y, Cai Y, Shonle M, Tewari N, Rajan H (2005) Information hiding interfaces for aspect-oriented design. 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. ACM, New York, NY, USA, pp 166\u2013175. ISBN 1-59593-014-0","DOI":"10.1145\/1081706.1081734"},{"key":"9107_CR52","volume-title":"Ideals: evolvability of software-intensive high-tech systems.","year":"2007","unstructured":"van Engelen R, Voeten J (eds) (2007) Ideals: evolvability of software-intensive high-tech systems. Embedded Systems Institute, Eindhoven, The Netherlands."},{"key":"9107_CR53","doi-asserted-by":"crossref","unstructured":"Visser W, Havelund K, Brat G, Park S (2000) Model checking programs. In: ASE \u201900: proceedings of the 15th IEEE international conference on Automated software engineering. IEEE Computer Society, Washington, DC, USA, p\u00a03. ISBN 0-7695-0710-7","DOI":"10.1109\/ASE.2000.873645"},{"issue":"2","key":"9107_CR54","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/TSE.1975.6312839","volume":"1","author":"N Wirth","year":"1975","unstructured":"Wirth N (1975) An assessment of the programming language pascal. IEEE Trans Softw Eng 1(2):192\u2013198","journal-title":"IEEE Trans Softw Eng"},{"key":"9107_CR55","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4625-2","volume-title":"Experimentation in software engineering","author":"C Wohlin","year":"2000","unstructured":"Wohlin C, Runeson P, H\u00f6st M, Ohlsson MC, Regnell B, Wessl\u00e9n A (2000) Experimentation in software engineering. Kluwer Academic, Dordrecht"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-009-9107-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T21:10:49Z","timestamp":1558213849000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-009-9107-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,18]]},"references-count":55,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["9107"],"URL":"https:\/\/doi.org\/10.1007\/s10664-009-9107-y","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3,18]]}}}