Automated Software Engineering, Volume 14

Volume 14, Number 1, March 2007

• Kurt Stirewalt, Virginie Wiels:
  Introduction. 1-2
  Electronic Edition (link) BibTeX
• Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold:
  JDiff: A differencing technique and tool for object-oriented programs. 3-36
  Electronic Edition (link) BibTeX
• Mats Per Erik Heimdahl, George Devaraj:
  On the effect of test-suite reduction on automatically generated model-based tests. 37-57
  Electronic Edition (link) BibTeX
• Guillaume Marceau, Gregory H. Cooper, Jonathan P. Spiro, Shriram Krishnamurthi, Steven P. Reiss:
  The design and implementation of a dataflow language for scriptable debugging. 59-86
  Electronic Edition (link) BibTeX
• Mana Taghdiri, Daniel Jackson:
  Inferring specifications to detect errors in code. 87-121
  Electronic Edition (link) BibTeX
• David Notkin:
  Dessert Island. 123-125
  Electronic Edition (link) BibTeX

Volume 14, Number 2, June 2007

• Thomas Ellman, Andrea Zisman:
  Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE'2005). 127-128
  Electronic Edition (link) BibTeX
• Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp:
  Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. 129-178
  Electronic Edition (link) BibTeX
• Ana Milanova:
  Composition inference for UML class diagrams. 179-213
  Electronic Edition (link) BibTeX
• Zhenchang Xing, Eleni Stroulia:
  Differencing logical UML models. 215-259
  Electronic Edition (link) BibTeX

Volume 14, Number 3, September 2007

• Ronald Morrison, Dharini Balasubramaniam, Graham N. C. Kirby, Kath Mickan, Brian Warboys, R. Mark Greenwood, Ian Robertson, Bob Snowdon:
  A framework for supporting dynamic systems co-evolution. 261-292
  Electronic Edition (link) BibTeX
• Marco Autili, Paola Inverardi, Patrizio Pelliccione:
  Graphical scenarios for specifying temporal properties: an automated approach. 293-340
  Electronic Edition (link) BibTeX
• Fabio Massacci, John Mylopoulos, Nicola Zannone:
  Computer-aided Support for Secure Tropos. 341-364
  Electronic Edition (link) BibTeX
• Ian F. Alexander:
  Column for the Automated Software Engineering Journal. 365-368
  Electronic Edition (link) BibTeX

Volume 14, Number 4, December 2007

• Anthony J. H. Simons:
  JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction. 369-418
  Electronic Edition (link) BibTeX
• Bill Mitchell:
  Lazy buffer semantics for partial order scenarios. 419-441
  Electronic Edition (link) BibTeX
• Alexander Borgida:
  How knowledge representation meets software engineering (and often databases). 443-464
  Electronic Edition (link) BibTeX
• Keith Gallagher:
  Desert island column. 465-470
  Electronic Edition (link) BibTeX