17. ASE 2002: Edinburgh, Scotland, UK

Regular Papers

Software Design and Synthesis

• Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer:
  Assumption Generation for Software Component Verification. 3-12
  
• Wamberto Weber Vasconcelos, Carles Sierra, Marc Esteva:
  An Approach to Rapid Prototyping of Large Multi-Agent Systems. 13-22
  
• Steve MacDonald, Duane Szafron, Jonathan Schaeffer, John Anvik, Steven Bromling, Kai Tan:
  Generative Design Patterns. 23-
  

Verification and Validation

• Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen:
  Deviation Analysis Through Model Checking. 37-46
  
• John C. Grundy, Guoliang Ding:
  Automatic Validation of Deployed J2EE Components Using Aspects. 47-
  

Experience Reports

• Alessandro Maccari, Claudio Riva, Francesco Maccari:
  On CASE Tool Usage at Nokia. 59-68
  
• Steve Roach, Jeffrey Van Baalen:
  Experience Report on Automated Procedure Construction for Deductive Synthesis. 69-
  

Software Specification

• Don S. Batory, Roberto E. Lopez-Herrejon, Jean-Philippe Martin:
  Generating Product-Lines of Product-Families. 81-92
  
• Thomas Ellman, Ryan Deak, Jason Fotinatos:
  Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation. 93-
  

Program Understanding

• Robert J. Hall:
  CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. 107-116
  
• Yann-Gaël Guéhéneuc, Rémi Douence, Narendra Jussien:
  No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs. 117-
  

Testing

• Pascal Fenkam, Harald Gall, Mehdi Jazayeri:
  Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing. 129-138
  
• Patrick J. Schroeder, Pat Faherty, Bogdan Korel:
  Generating Expected Results for Automated Black-Box Testing. 139-148
  
• Srinivas Visvanathan, Neelam Gupta:
  Generating Test Data for Functions with Pointer Inputs. 149-
  

Requirements Engineering

• Alexander Egyed, Paul Grünbacher:
  Automating Requirements Traceability: Beyond the Record & Replay Paradigm. 163-171
  
• K. Suzanne Barber, Thomas J. Graser, Jim Holt:
  Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation. 172-182
  
• Tim Menzies, David Raffo, Siri-on Setamanit, Ying Hu, Sina Tootoonia:
  Model-Based Tests of Truisms. 183-
  

Reasoning Technology

• Harry C. Li, Shriram Krishnamurthi, Kathi Fisler:
  Interfaces for Modular Feature Verification. 195-204
  
• Tanton H. Gibbs, Brian A. Malloy, James F. Power:
  Automated Validation of Class Invariants in C ++ Applications. 205-
  

Short Papers

• Mikhail Auguston, Clinton Jeffery, Scott Underwood:
  A Framework for Automatic Debugging. 217-222
  
• Karsten Loer, Michael D. Harrison:
  Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. 223-226
  
• Muffy Calder, Alice Miller:
  Automatic Verification of any Number of Concurrent, Communicating Processes. 227-230
  
• Jehad Al-Dallal, Paul G. Sorenson:
  System Testing for Object-Oriented Frameworks Using Hook Technology. 231-236
  
• David Owen, Tim Menzies, Bojan Cukic:
  What Makes Finite-State Models More (or Less) Testable? 237-240
  
• Marlon E. R. Vieira, Debra J. Richardson:
  Analyzing Dependencies in Large Component-Based Systems. 241-244
  
• Marcio S. Dias, Debra J. Richardson:
  Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components. 245-248
  
• Hee Beng Kuan Tan, Weihong Li:
  Systematic Bridging the Gap between Requirements and OO Design. 249-252
  
• Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon:
  Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component. 253-256
  
• Alicia Martínez, Hugo Estrada, Juan Sánchez, Oscar Pastor:
  From Early Requirements to User Interface Prototyping: A Methodological Approach. 257-260
  
• Falk Fraikin, Thomas Leonhardt:
  SeDiTeC - Testing Based on Sequence Diagrams. 261-266
  
• György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró:
  VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. 267-270
  
• Nazareno Aguirre, T. S. E. Maibaum:
  A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. 271-274
  
• James H. Andrews, Rui Fu, Vicky D. Liu:
  Adding Value to Formal Test Oracles. 275-248
  
• Xuejun Chen:
  Dependence Management for Dynamic Reconfiguration of Component-Based Distributed Systems. 279-284
  
• Danielle Azar, Doina Precup, Salah Bouktif, Balázs Kégl, Houari A. Sahraoui:
  Combining and Adapting Software Quality Predictive Models by Genetic Algorithms. 285-288
  
• Grigore Rosu, Jon Whittle:
  Towards Certifying Domain-Specific Properties of Synthesized Code. 289-294
  
• David Grosser, Houari A. Sahraoui, Petko Valtchev:
  Predicting Software Stability Using Case-Based Reasoning. 295-
  

Workshop Report

• Yves Ledru, David F. Redmiles:
  Report on the Workshop on the State of the Art in Automated Software Engineering. 307-
  

Doctoral Symposium

• Sigrid Goldmann:
  A Model of Planning and Enactment Support in Complex Software Development Projects. 311
  
• Jitka Crhová:
  Distributed Modular Model Checking. 312
  
• Abdelmadjid Ketfi, Noureddine Belkhatir, Pierre-Yves Cunin:
  Adapting Applications on the Fly. 313
  
• Anh-Tuyet Le:
  Process Support for Tools Interoperability. 314
  
• Alin Stefanescu:
  Automatic Synthesis of Distributed Systems. 315
  
• Karim-Cyril Griche:
  Automatic Inter-Procedural Test Case Generation. 316
  
• Ragnhild Van Der Straeten:
  Semantic Links and Co-Evolution in Object-Oriented Software Development. 317
  

Last update Tue May 21 17:38:46 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page