Automated Software Engineering, Volume 11

Volume 11, Number 1, January 2004

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

Volume 11, Number 2, April 2004

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

Volume 11, Number 3, June 2004

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

Volume 11, Number 4, October 2004

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