1 | -- | 2 | Mark G. J. van den Brand. Guest editor s introduction: Experimental Software and Toolkits (EST) |
3 | -- | 13 | Nicholas A. Kraft, Brian A. Malloy, James F. Power. A tool chain for reverse engineering C++ applications |
14 | -- | 26 | Torbjörn Ekman, Görel Hedin. The JastAdd system - modular extensible compiler construction |
27 | -- | 34 | Martin Gogolla, Fabian Büttner, Mark Richters. USE: A UML-based specification environment for validating UML and OCL |
35 | -- | 45 | Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao. The Daikon system for dynamic detection of likely invariants |
46 | -- | 55 | Cristóvão Oliveira, Michel Wermelinger. The CommUnity Workbench |
56 | -- | 67 | Xianfeng Li, Liang Yun, Tulika Mitra, Abhik Roychoudhury. Chronos: A timing analyzer for embedded software |
68 | -- | 75 | Belén Díaz-Agudo, Pedro A. González-Calero, Juan A. Recio-García, Antonio A. Sánchez-Ruiz-Granados. Building CBR systems with jcolibri |
76 | -- | 85 | Adrian Johnstone, Elizabeth Scott. Proofs and pedagogy; science and systems: The grammar tool box |