Journal: Automated Software Engineering

Volume 11, Issue 4

335 -- 335Michael Goedicke, Martin S. Feather. Guest Editors Introduction
337 -- 364Jacob Matthews, Robby Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen. Automatically Restructuring Programs for the Web
365 -- 402Twan Basten, Dragan Bosnacki, Marc Geilen. Cluster-Based Partial-Order Reduction
403 -- 434Sarfraz Khurshid, Darko Marinov. TestEra: Specification-Based Testing of Java Programs Using SAT

Volume 11, Issue 3

203 -- 205Carlo Ghezzi, Paola Inverardi. Introduction to Special Issue on Distributed and Mobile Software Engineering
207 -- 243Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman. CODEWEAVE: Exploring Fine-Grained Mobility of Code
245 -- 288Lorenzo Bettini, Rocco De Nicola, Michele Loreti. Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
289 -- 321Massimo Franceschet, Angelo Montanari, Maarten de Rijke. Model Checking for Combined Logics with an Application to Mobile Systems
323 -- 326David M. Weiss. Desert Island Column: Saving Software Engineering

Volume 11, Issue 2

99 -- 99Ramesh Bharadwaj, Robert J. Hall. Introduction
101 -- 139Abhik Roychoudhury, I. V. Ramakrishnan. Inductively Verifying Invariant Properties of Parameterized Systems
141 -- 166Yannick Chevalier, Laurent Vigneron. Strategy for Verifying Security Protocols with Unbounded Message Size
167 -- 191Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr. Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System
193 -- 196David S. Wile. Desert Island Reading Assignment

Volume 11, Issue 1

5 -- 6Andrea De Lucia, James R. Cordy, John Mylopoulos. Introduction
7 -- 26Ana Milanova, Atanas Rountev, Barbara G. Ryder. Precise Call Graphs for C Programs with Function Pointers
27 -- 61Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya. Syntax-Directed Amorphous Slicing
63 -- 89Hon Fung Li, Juergen Rilling, Dhrubajyoti Goswami. Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems
91 -- 92Alan Bundy. Desert Island Column