External Links

    Journal: Automated Software Engineering

    Volume 12, Issue 4

    391 -- 392Wolfgang Emmerich, David Wile. Introduction
    393 -- 414Steve Roach, Jeffrey Van Baalen. Automated Procedure Construction for Deductive Synthesis
    415 -- 446Robert J. Hall. Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications
    447 -- 465Prasanna Padmanabhan, Robyn R. Lutz. Tool-Supported Verification of Product Line Requirements

    Volume 12, Issue 3

    295 -- 296Wolfgang Emmerich, David Wile. Introduction
    297 -- 320Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer. Component Verification with Automatically Generated Assumptions
    321 -- 347Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen. Deviation Analysis: A New Use of Model Checking
    349 -- 382Harry C. Li, Shriram Krishnamurthi, Kathi Fisler. Modular Verification of Open Features Using Three-Valued Model Checking
    383 -- 384Pankaj K. Garg. Desert Island Reading: Back to the Future

    Volume 12, Issue 2

    151 -- 197Grigore Rosu, Klaus Havelund. Rewriting-Based Techniques for Runtime Verification
    199 -- 235Yunwen Ye, Gerhard Fischer. Reuse-Conducive Development Environments
    237 -- 257Yasuyuki Tsukada. Interactive and Probabilistic Proof of Mobile Code Safety
    259 -- 288Paolo Tonella, Filippo Ricca. Web Application Slicing in Presence of Dynamic Code Generation

    Volume 12, Issue 1

    5 -- 39John C. Grundy, Yuhong Cai, Anna Liu. SoftArch/MTE: Generating Distributed System Test-Beds from High-Level Software Architecture Descriptions
    41 -- 79Robert J. Hall. Fundamental Nonmodularity in Electronic Mail
    81 -- 99Gruia-Catalin Roman, Jamie Payton. A Termination Detection Protocol for Use in Mobile Ad Hoc Networks
    101 -- 137Valérie Issarny, Daniele Sacchetti, Ferda Tartanoglu, Françoise Sailhan, Rafik Chibout, Nicole Lévy, Angel Talamona. Developing Ambient Intelligence Systems: A Solution based on Web Services
    139 -- 141Susan Stepney. Desert Island Column
    runs on