External Links

    Journal: Automated Software Engineering

    Volume 14, Issue 4

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

    Volume 14, Issue 3

    261 -- 292Ronald 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
    293 -- 340Marco Autili, Paola Inverardi, Patrizio Pelliccione. Graphical scenarios for specifying temporal properties: an automated approach
    341 -- 364Fabio Massacci, John Mylopoulos, Nicola Zannone. Computer-aided Support for Secure Tropos
    365 -- 368Ian F. Alexander. Column for the Automated Software Engineering Journal

    Volume 14, Issue 2

    127 -- 128Thomas Ellman, Andrea Zisman. Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE 2005)
    129 -- 178Aysu 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
    179 -- 213Ana Milanova. Composition inference for UML class diagrams
    215 -- 259Zhenchang Xing, Eleni Stroulia. Differencing logical UML models

    Volume 14, Issue 1

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