Lemos, Otávio Augusto Lazzarini; Franchin, Ivan Gustavo; Masiero, Paulo Cesar Integration testing of object-oriented and aspect-oriented programs: A structural pairwise approach for Java. (English) Zbl 1192.68122 Sci. Comput. Program. 74, No. 10, 861-878 (2009). MSC: 68N15 PDFBibTeX XMLCite \textit{O. A. L. Lemos} et al., Sci. Comput. Program. 74, No. 10, 861--878 (2009; Zbl 1192.68122) Full Text: DOI
Ortin, Francisco; Redondo, Jose Manuel; García Perez-Schofield, J. Baltasar Efficient virtual machine support of runtime structural reflection. (English) Zbl 1192.68146 Sci. Comput. Program. 74, No. 10, 836-860 (2009). MSC: 68N25 68N15 PDFBibTeX XMLCite \textit{F. Ortin} et al., Sci. Comput. Program. 74, No. 10, 836--860 (2009; Zbl 1192.68146) Full Text: DOI Link
Roldán, Manuel; Durán, Francisco; Vallecillo, Antonio Invariant-driven specifications in Maude. (English) Zbl 1192.68400 Sci. Comput. Program. 74, No. 10, 812-835 (2009). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Roldán} et al., Sci. Comput. Program. 74, No. 10, 812--835 (2009; Zbl 1192.68400) Full Text: DOI
Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca PiDuce- A project for experimenting web services technologies. (English) Zbl 1194.68077 Sci. Comput. Program. 74, No. 10, 777-811 (2009). MSC: 68M11 68N15 68P05 68Q85 PDFBibTeX XMLCite \textit{S. Carpineti} et al., Sci. Comput. Program. 74, No. 10, 777--811 (2009; Zbl 1194.68077) Full Text: DOI