Automated Software Engineering, Volume 11

Volume 11, Number 1, January 2004

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

Volume 11, Number 2, April 2004

• Ramesh Bharadwaj, Robert J. Hall:
  Introduction. 99-99
  Electronic Edition (link) BibTeX
• Abhik Roychoudhury, I. V. Ramakrishnan:
  Inductively Verifying Invariant Properties of Parameterized Systems. 101-139
  Electronic Edition (link) BibTeX
• Yannick Chevalier, Laurent Vigneron:
  Strategy for Verifying Security Protocols with Unbounded Message Size. 141-166
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• David S. Wile:
  Desert Island Reading Assignment. 193-196
  Electronic Edition (link) BibTeX

Volume 11, Number 3, June 2004

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

Volume 11, Number 4, October 2004

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