19. ASE 2004:
Linz,
Austria
19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria.
IEEE Computer Society 2004, ISBN 0-7695-2131-2 
@proceedings{DBLP:conf/kbse/2004,
title = {19th IEEE International Conference on Automated Software Engineering
(ASE 2004), 20-25 September 2004, Linz, Austria},
booktitle = {ASE},
publisher = {IEEE Computer Society},
year = {2004},
isbn = {0-7695-2131-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Program Analysis
Tool Support for V&V Activities
Architecture and Frameworks
- Teruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki:
Automated Support for Framework Selection and Customization.
68-77
- Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen:
Adaptable Concern-Based Framework Specialization in UML.
78-87
- Matthew McNaughton, Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, James Redford, Dominique Parker:
ScriptEase: Generative Design Patterns for Computer Role-Playing Games.
88-99
- Matthias Book, Volker Gruhn:
Modeling Web-Based Dialog Flows for Automatic Dialog Control .
100-109
Testing 1
Verification of Code
Testing 2
Automated Programmer Assistance
Modular Verification
Short Papers
- Shuping Cao, John C. Grundy, John G. Hosking, Hermann Stoeckle, Ewan D. Tempero:
An Architecture for Generating Web-Based, Thin-Client Diagramming Tools.
270-273
- Ji Wu, Xiao-xia Jia, Chang Liu, Hai-yan Yang, Chao Liu, Mao-zhong Jin:
A Statistical Model to Locate Faults at Input Level.
274-277
- Ricardo Pereira e Silva, Evandro César Freiberger:
Helping Object-Oriented Framework Use and Evaluation by means of Historical Use Information.
278-281
- Wee Kheng Leow, Siau-Cheng Khoo, Tiong Hoe Loh, Vivy Suhendra:
Heuristic Search with Reachability Tests for Automated Generation of Test Programs.
282-285
- Dirk Heuzeroth:
COMPASS: Tool-Supported Adaptation of Interactions.
286-289
- Nicky Williams, Bruno Marre, Patricia Mouy:
On-the-Fly Generation of K-Path Tests for C Functions.
290-293
- Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet:
Case Study in JML-Based Software Validation.
294-297
- Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi:
Automated Performance Validation of Software Design: An Industrial Experience.
298-301
- Steven P. Reiss:
CHET: A System for Checking Dynamic Specifications.
302-305
- Franck Fleurey, Yves Le Traon, Benoit Baudry:
From Testing to Diagnosis: An Automated Approach.
306-309
- Silvia Breu, Jens Krinke:
Aspect Mining Using Event Traces.
310-315
- James H. Andrews:
Case Study of Coverage-Checked Random Data Structure Testing.
316-319
- Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu:
Mapping Template Semantics to SMV.
320-325
Short Papers
- Wei Yu, Jun Li, Greg Butler:
Refactoring Use Case Models on Episodes.
328-331
- Jia Xu, Hridesh Rajan, Kevin J. Sullivan:
Understanding Aspects via Implicit Invocation.
332-335
- Filip Van Rysselberghe, Serge Demeyer:
Evaluating Clone Detection Techniques from a Refactoring Perspective.
336-339
- Philippa J. Hopcroft, Guy H. Broadfoot:
Combining the Box Structure Development Method and CSP.
340-345
- Susan Khor, Peter Grogono:
Using a Genetic Algorithm and Formal Concept Analysis to Generate Branch Coverage Test Data Automatically.
346-349
- Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng:
Automated Analysis of Timing Information in UML Diagrams.
350-353
- Yunja Choi, Mats Per Erik Heimdahl:
Combination Model Checking: Approach and a Case Study.
354-357
- Jutta Eusterbrock:
Context-Aware Code Certification.
358-361
- Sven Johann, Alexander Egyed:
Instant and Incremental Transformation of Models.
362-365
- Zakarya Alzamil:
RCAT: A Performance Analysis Tool.
366-370
- Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab:
Modeling Behavior in Compositions of Software Architectural Primitives.
371-374
- Anton Jansen, Jan Bosch:
Evaluation of Tool Support for Architectural Evolution.
375-378
- George Spanoudakis, Khaled Mahbub:
Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus.
379-384
Formal Tool Demo Presentations
- Matthew McNaughton, Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, James Redford, Dominique Parker:
ScriptEase: Generating Scripting Code for Computer Role-Playing Games.
386-387
- Lothar Hotz, Thorsten Krebs, Katharina Wolter:
Using a Structure-based Configuration Tool for Product Derivation.
388-391
- Marcos Kalinowski, Guilherme Horta Travassos:
ISPIS: A Framework Supporting Software Inspection Processes.
392-393
- Michele Lanza:
CodeCrawler - Polymetric Views in Action.
394-395
- Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen:
T-UPPAAL: Online Model-based Testing of Real-Time Systems.
396-397
- Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington:
An Environment for Building a System out of its Requirements.
398-399
Doctoral Symposium
- Naveed Arshad:
Automated Dynamic Reconfiguration using AI Planning.
402-405
- Rudolf Ramler:
Decision Support for Test Management in Iterative and Evolutionary Development.
406-409
- May Haydar:
Formal Framework for Automated Analysis and Verification of Web-Based Applications.
410-413
- Gaoyan Xie:
Decompositional Verification of Component-based Systems-A Hybrid Approach.
414-417
- Roberto Capuano:
Interactive Visualization of Concurrents Programs.
418-421
- Naoufel Boulila:
Group Support for Distributed Collaborative Concurrent Software Modeling.
422-425
- Norbert Seyff:
Collaborative Tools for Mobile Requirements Acquisition.
426-429
- Ping Guo, Reiko Heckel:
Modeling and Simulation of Context-Aware Mobile Systems.
430-433
Copyright © Mon Nov 2 20:55:45 2009
by Michael Ley (ley@uni-trier.de)
