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 BibTeX
@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
Electronic Edition (link) BibTeX
- Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen:
Adaptable Concern-Based Framework Specialization in UML.
78-87
Electronic Edition (link) BibTeX
- Matthew McNaughton, Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, James Redford, Dominique Parker:
ScriptEase: Generative Design Patterns for Computer Role-Playing Games.
88-99
Electronic Edition (link) BibTeX
- Matthias Book, Volker Gruhn:
Modeling Web-Based Dialog Flows for Automatic Dialog Control .
100-109
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Ricardo Pereira e Silva, Evandro César Freiberger:
Helping Object-Oriented Framework Use and Evaluation by means of Historical Use Information.
278-281
Electronic Edition (link) BibTeX
- Wee Kheng Leow, Siau-Cheng Khoo, Tiong Hoe Loh, Vivy Suhendra:
Heuristic Search with Reachability Tests for Automated Generation of Test Programs.
282-285
Electronic Edition (link) BibTeX
- Dirk Heuzeroth:
COMPASS: Tool-Supported Adaptation of Interactions.
286-289
Electronic Edition (link) BibTeX
- Nicky Williams, Bruno Marre, Patricia Mouy:
On-the-Fly Generation of K-Path Tests for C Functions.
290-293
Electronic Edition (link) BibTeX
- Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet:
Case Study in JML-Based Software Validation.
294-297
Electronic Edition (link) BibTeX
- Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi:
Automated Performance Validation of Software Design: An Industrial Experience.
298-301
Electronic Edition (link) BibTeX
- Steven P. Reiss:
CHET: A System for Checking Dynamic Specifications.
302-305
Electronic Edition (link) BibTeX
- Franck Fleurey, Yves Le Traon, Benoit Baudry:
From Testing to Diagnosis: An Automated Approach.
306-309
Electronic Edition (link) BibTeX
- Silvia Breu, Jens Krinke:
Aspect Mining Using Event Traces.
310-315
Electronic Edition (link) BibTeX
- James H. Andrews:
Case Study of Coverage-Checked Random Data Structure Testing.
316-319
Electronic Edition (link) BibTeX
- Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu:
Mapping Template Semantics to SMV.
320-325
Electronic Edition (link) BibTeX
Short Papers
- Wei Yu, Jun Li, Greg Butler:
Refactoring Use Case Models on Episodes.
328-331
Electronic Edition (link) BibTeX
- Jia Xu, Hridesh Rajan, Kevin J. Sullivan:
Understanding Aspects via Implicit Invocation.
332-335
Electronic Edition (link) BibTeX
- Filip Van Rysselberghe, Serge Demeyer:
Evaluating Clone Detection Techniques from a Refactoring Perspective.
336-339
Electronic Edition (link) BibTeX
- Philippa J. Hopcroft, Guy H. Broadfoot:
Combining the Box Structure Development Method and CSP.
340-345
Electronic Edition (link) BibTeX
- Susan Khor, Peter Grogono:
Using a Genetic Algorithm and Formal Concept Analysis to Generate Branch Coverage Test Data Automatically.
346-349
Electronic Edition (link) BibTeX
- Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng:
Automated Analysis of Timing Information in UML Diagrams.
350-353
Electronic Edition (link) BibTeX
- Yunja Choi, Mats Per Erik Heimdahl:
Combination Model Checking: Approach and a Case Study.
354-357
Electronic Edition (link) BibTeX
- Jutta Eusterbrock:
Context-Aware Code Certification.
358-361
Electronic Edition (link) BibTeX
- Sven Johann, Alexander Egyed:
Instant and Incremental Transformation of Models.
362-365
Electronic Edition (link) BibTeX
- Zakarya Alzamil:
RCAT: A Performance Analysis Tool.
366-370
Electronic Edition (link) BibTeX
- Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab:
Modeling Behavior in Compositions of Software Architectural Primitives.
371-374
Electronic Edition (link) BibTeX
- Anton Jansen, Jan Bosch:
Evaluation of Tool Support for Architectural Evolution.
375-378
Electronic Edition (link) BibTeX
- George Spanoudakis, Khaled Mahbub:
Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus.
379-384
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Lothar Hotz, Thorsten Krebs, Katharina Wolter:
Using a Structure-based Configuration Tool for Product Derivation.
388-391
Electronic Edition (link) BibTeX
- Marcos Kalinowski, Guilherme Horta Travassos:
ISPIS: A Framework Supporting Software Inspection Processes.
392-393
Electronic Edition (link) BibTeX
- Michele Lanza:
CodeCrawler - Polymetric Views in Action.
394-395
Electronic Edition (link) BibTeX
- Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen:
T-UPPAAL: Online Model-based Testing of Real-Time Systems.
396-397
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Doctoral Symposium
Copyright © Sat May 16 23:27:51 2009
by Michael Ley (ley@uni-trier.de)