Automated Software Engineering（ASE ）的APRIL 2004, ISSUE 2论文列表

卷期号： April 2004, issue 2

发布时间：

卷期年份： 2004

卷期官网： https://link.springer.com/journal/10515/volumes-and-issues/11-2

Introduction

Inductively Verifying Invariant Properties of Parameterized Systems

Strategy for Verifying Security Protocols with Unbounded Message Size

Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System

Desert Island Reading Assignment

Introduction

Precise Call Graphs for C Programs with Function Pointers

Syntax-Directed Amorphous Slicing

Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems

Desert Island Column

Introduction to Special Issue on Distributed and Mobile Software Engineering

CODEWEAVE: Exploring Fine-Grained Mobility of Code

Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming

Model Checking for Combined Logics with an Application to Mobile Systems

Desert Island Column: Saving Software Engineering

Guest Editors' Introduction

Automatically Restructuring Programs for the Web

Cluster-Based Partial-Order Reduction

TestEra: Specification-Based Testing of Java Programs Using SAT