Author:
Wong Peter Y. H.,Bubel Richard,de Boer Frank S.,Gómez-Zamalloa Miguel,de Gouw Stijn,Hähnle Reiner,Meinke Karl,Sindhu Muddassar Azam
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference32 articles.
1. Albert, E., Arenas, P., Gómez-Zamalloa, M.: Towards testing concurrent objects in CLP. In: Agostino Dovier and Vítor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP’12), vol. 17 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 98–108, Dagstuhl, Germany. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2012)
2. Albert, E., Gómez-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)
3. Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhoták, 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 ’05, pp. 345–364. ACM, New York (2005)
4. Bartetzko, Detlef, Fischer, Clemens, Möller, Michael, Wehrheim, Heike: Jass-Java with assertions. Electron. Notes Theor. Comput. Sci. 55(2), 103–117 (2001)
5. Chen, F., Roşu, 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 ’07, pp. 569–588. ACM, New York (2007)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献