1. Home
  2. Proceedings
  3. ASE
  4. ASE 2004
Default Cover Image

Proceedings. 19th International Conference on Automated Software Engineering, 2004.

Sept. 24 2004 to Sept. 24 2004

Linz

Table of Contents

Proceedings 19th International Conference on Automated Software EngineeringFreely available from IEEE.pp. iii-iii
PrefaceFreely available from IEEE.pp. x-x
Introduction to tool demonstrationsFreely available from IEEE.pp. xv-xvi
by Herbert Prähofer, Sebastian Uchitel
Introduction to doctoral symposiumFreely available from IEEE.pp. xvii-xvii
The education of a software engineerFull-text access may be available. Sign in or learn about subscription options.pp. xviii-xxvii
by M. Jazayeri
A differencing algorithm for object-oriented programsFull-text access may be available. Sign in or learn about subscription options.pp. 2-13
by T. Apiwattanapong, A. Orso, M.J. Harrold
Data-mining synthesised schedulers for hard real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 14-23
by C. Kloukinas
Automating traceability for generated software artifactsFull-text access may be available. Sign in or learn about subscription options.pp. 24-33
by J. Richardson, J. Green
Experiences integrating and scaling a performance test bed generator with an open source CASE toolFull-text access may be available. Sign in or learn about subscription options.pp. 36-45
by Yuhong Cai, J. Grundy, J. Hosking
A computational framework for supporting software inspectionsFull-text access may be available. Sign in or learn about subscription options.pp. 46-55
by M. Kalinowski, G.H. Travassos
Validating personal requirements by assisted symbolic behavior browsingFull-text access may be available. Sign in or learn about subscription options.pp. 56-66
by R.J. Hall, A. Zisman
Automated support for framework selection and customizationFull-text access may be available. Sign in or learn about subscription options.pp. 68-77
by T. Zenmyo, T. Kobayashi, M. Saeki
Adaptable concern-based framework specialization in UMLFull-text access may be available. Sign in or learn about subscription options.pp. 78-87
by I. Hammouda, J. Koskinen, M. Pussinen, M. Katara, T. Mikkonen
ScriptEase: generative design patterns for computer role-playing gamesFull-text access may be available. Sign in or learn about subscription options.pp. 88-99
by M. McNaughton, M. Cutumisu, D. Szafron, J. Schaeffer, J. Redford, D. Parker
Modeling Web-based dialog flows for automatic dialog controlFull-text access may be available. Sign in or learn about subscription options.pp. 100-109
by M. Book, V. Gruhn
Establishment of automated regression testing at ABB: industrial experience report on 'avoiding the pitfalls'Full-text access may be available. Sign in or learn about subscription options.pp. 112-121
by C. Persson, N. Yilmazturk
Property-oriented test generation from UML StatechartsFull-text access may be available. Sign in or learn about subscription options.pp. 122-131
by Shuhao Li, Ji Wang, Zhi-ChangQi
A scalable approach to user-session based testing of Web applications through concept analysisFull-text access may be available. Sign in or learn about subscription options.pp. 132-141
by S. Sampath, V. Mihaylov, A. Souter, L. Pollock
Keynotes
The Education of a Software EngineerFull-text access may be available. Sign in or learn about subscription options.pp. xviii-xxvii
by Mehdi Jazayeri
Inferring specifications to detect errors in codeFull-text access may be available. Sign in or learn about subscription options.pp. 144-153
by M. Taghdiri
Analyzing interaction orderings with model checkingFull-text access may be available. Sign in or learn about subscription options.pp. 154-163
by M.B. Dwyer, Robby, O. Tkachuk, W. Visser
Session T1: Program Analysis
A Differencing Algorithm for Object-Oriented ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 2-13
by Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold
Verifying interactive Web programsFull-text access may be available. Sign in or learn about subscription options.pp. 164-173
by D.R. Licata, S. Krishnamurthi
Session T1: Program Analysis
Data-Mining Synthesised Schedulers for Hard Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 14-23
by Christos Kloukinas
Test-suite reduction for model based tests: effects on test quality and implications for testingFull-text access may be available. Sign in or learn about subscription options.pp. 176-185
by M.P.E. Heimdahl, D. George
Session T1: Program Analysis
Automating Traceability for Generated Software ArtifactsFull-text access may be available. Sign in or learn about subscription options.pp. 24-33
by Julian Richardson, Jeff Green
Session T2: Tool Support for V&V Activities
Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE ToolFull-text access may be available. Sign in or learn about subscription options.pp. 36-45
by Yuhong Cai, John Grundy, John Hosking
Using transient/persistent errors to develop automated test oracles for event-driven softwareFull-text access may be available. Sign in or learn about subscription options.pp. 186-195
by A. Memon, Qing Xie
Session T2: Tool Support for V&V Activities
A Computational Framework for Supporting Software InspectionsFull-text access may be available. Sign in or learn about subscription options.pp. 46-55
by Marcos Kalinowski, Guilherme Horta Travassos
Rostra: a framework for detecting redundant object-oriented unit testsFull-text access may be available. Sign in or learn about subscription options.pp. 196-205
by Tao Xie, D. Notkin, D. Marinov
Session T2: Tool Support for V&V Activities
Validating Personal Requirements by Assisted Symbolic Behavior BrowsingFull-text access may be available. Sign in or learn about subscription options.pp. 56-66
by Robert J. Hall, Andrea Zisman
Automated data mapping specification via schema heuristics and user interactionFull-text access may be available. Sign in or learn about subscription options.pp. 208-217
by S. Bossung, H. Stoeckle, J. Grundy, R. Amor, J. Hosking
Session T3: Architecture and Frameworks
Automated Support for Framework Selection and CustomizationFull-text access may be available. Sign in or learn about subscription options.pp. 68-77
by Teruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki
A dataflow language for scriptable debuggingFull-text access may be available. Sign in or learn about subscription options.pp. 218-227
by G. Marceau, G.H. Cooper, S. Krishnamurthi, S.P. Reiss
Automatic method completionFull-text access may be available. Sign in or learn about subscription options.pp. 228-235
by R. Hill, J. Rideout
Session T3: Architecture and Frameworks
Adaptable Concern-Based Framework Specialization in UMLFull-text access may be available. Sign in or learn about subscription options.pp. 78-87
by Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen
Session T3: Architecture and Frameworks
ScriptEase: Generative Design Patterns for Computer Role-Playing GamesFull-text access may be available. Sign in or learn about subscription options.pp. 88-99
by M. McNaughton, M. Cutumisu, D. Szafron, J. Schaeffer, J. Redford, D. Parker
Consistency checking in an infrastructure for large-scale generative programmingFull-text access may be available. Sign in or learn about subscription options.pp. 238-247
by A. Rauschmayer, A. Knapp, M. Wirsing
Session T3: Architecture and Frameworks
Modeling Web-Based Dialog Flows for Automatic Dialog ControlFull-text access may be available. Sign in or learn about subscription options.pp. 100-109
by Matthias Book, Volker Gruhn
Verifiable concurrent programming using concurrency controllersFull-text access may be available. Sign in or learn about subscription options.pp. 248-257
by A. Betin-Can, T. Bultan
Session T4: Testing 1
Establishment of Automated Regression Testing at ABB: Industrial Experience Report on 'Avoiding the Pitfalls'Full-text access may be available. Sign in or learn about subscription options.pp. 112-121
by Christer Persson, Nur Yilmazt?
Parameterized interfaces for open system verification of product linesFull-text access may be available. Sign in or learn about subscription options.pp. 258-267
by C. Blundell, K. Fisler, S. Krishnamurthi, P. Van Hentenrvck
Session T4: Testing 1
Property-Oriented Test Generation from UML StatechartsFull-text access may be available. Sign in or learn about subscription options.pp. 122-131
by Shuhao Li, Ji Wang, Zhi-Chang Qi
Architecture for generating Web-based, thin-client diagramming toolsFull-text access may be available. Sign in or learn about subscription options.pp. 270-273
by Shuping Cao, J. Grundy, J. Hosking, H. Stoeckle, E. Tempero
A statistical model to locate faults at input levelsFull-text access may be available. Sign in or learn about subscription options.pp. 274-277
by Wu Ji, Jia Xiao-xia, Liu Chang, Yang Hai-yan, Liu Chao, Jin Mao-zhong
Session T4: Testing 1
A Scalable Approach to User-Session based Testing of Web Applications through Concept AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 132-141
by Sreedevi Sampath, Valentin Mihaylov, Amie Souter, Lori Pollock
Session T5: Verification of Code
Inferring Specifications to Detect Errors in CodeFull-text access may be available. Sign in or learn about subscription options.pp. 144-153
by Mana Taghdiri
Helping object-oriented framework use and evaluation by means of historical use informationFull-text access may be available. Sign in or learn about subscription options.pp. 278-281
by R. Pereira e Silva, E.C. Freiberger
Heuristic search with reachability tests for automated generation of test programsFull-text access may be available. Sign in or learn about subscription options.pp. 282-285
by Wee Kheng Leow, Siau Cheng Khoo, Tiong Hoe Loh, V. Suhendra
Session T5: Verification of Code
Analyzing Interaction Orderings with Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 154-163
by Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser
COMPASS: tool-supported adaptation of interactionsFull-text access may be available. Sign in or learn about subscription options.pp. 286-289
by D. Heuzeroth
Session T5: Verification of Code
Verifying Interactive Web ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 164-173
by Daniel R. Licata, Shriram Krishnamurthi
On-the-fly generation of k-path tests for C functionsFull-text access may be available. Sign in or learn about subscription options.pp. 290-297
by N. Williams, B. Marre, P. Mouy
Session T6: Testing 2
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for TestingFull-text access may be available. Sign in or learn about subscription options.pp. 176-185
by Mats P. E. Heimdahl, Devaraj George
A case study in JML-based software validationFull-text access may be available. Sign in or learn about subscription options.pp. 294-297
by L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, J.-L. Lanet
Session T6: Testing 2
Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 186-195
by Atif Memon, Qing Xie
Automated performance validation of software design: an industrial experienceFull-text access may be available. Sign in or learn about subscription options.pp. 298-301
by D. Compare, A. D'Onofrio, A. Di Marco, P. Inverardi
Session T6: Testing 2
Rostra: A Framework for Detecting Redundant Object-Oriented Unit TestsFull-text access may be available. Sign in or learn about subscription options.pp. 196-205
by Tao Xie, Darko Marinov, David Notkin
CHET: a system for checking dynamic specificationsFull-text access may be available. Sign in or learn about subscription options.pp. 302-305
by S.P. Reiss
Session T7: Automated Programmer Assistance
Automated Data Mapping Specification via Schema Heuristics and User InteractionFull-text access may be available. Sign in or learn about subscription options.pp. 208-217
by Sebastian Bossung, Hermann Stoeckle, John Grundy, Robert Amor, John Hosking
From testing to diagnosis: an automated approachFull-text access may be available. Sign in or learn about subscription options.pp. 306-309
by F. Fleurey, Y. Le Traon, B. Baudry
Session T7: Automated Programmer Assistance
A Dataflow Language for Scriptable DebuggingFull-text access may be available. Sign in or learn about subscription options.pp. 218-227
by Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss
Aspect mining using event tracesFull-text access may be available. Sign in or learn about subscription options.pp. 310-315
by S. Breu, J. Krinke
Session T7: Automated Programmer Assistance
Automatic Method CompletionFull-text access may be available. Sign in or learn about subscription options.pp. 228-235
by Rosco Hill, Joe Rideout
A case study of coverage-checked random data structure testingFull-text access may be available. Sign in or learn about subscription options.pp. 316-319
by J.H. Andrews
Session T8: Modular Verification
Consistency Checking in an Infrastructure for Large-Scale Generative ProgrammingFull-text access may be available. Sign in or learn about subscription options.pp. 238-247
by Axel Rauschmayer, Alexander Knapp, Martin Wirsing
Mapping template semantics to SMVFull-text access may be available. Sign in or learn about subscription options.pp. 320-325
by Yun Lu, J.M. Atlee, N.A. Day, J. Niu
Session T8: Modular Verification
Verifiable Concurrent Programming Using Concurrency ControllersFull-text access may be available. Sign in or learn about subscription options.pp. 248-257
by Aysu Betin-Can, Tevfik Bultan
Refactoring use case models on episodesFull-text access may be available. Sign in or learn about subscription options.pp. 328-335
by Wei Yu, Jun Li, G. Butler
Session T8: Modular Verification
Parameterized Interfaces for Open System Verification of Product LinesFull-text access may be available. Sign in or learn about subscription options.pp. 258-267
by Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck
Understanding aspects via implicit invocationFull-text access may be available. Sign in or learn about subscription options.pp. 332-335
by Jia Xu, H. Rajan, K. Sullivan
Session P1: Short Papers
An Architecture for Generating Web-Based, Thin-Client Diagramming ToolsFull-text access may be available. Sign in or learn about subscription options.pp. 270-273
by Shuping Cao, John Grundy, John Hosking, Hermann Stoeckle, Ewan Tempero
Evaluating clone detection techniques from a refactoring perspectiveFull-text access may be available. Sign in or learn about subscription options.pp. 336-339
by F. Van Rysselberghe, S. Demeyer
Session P1: Short Papers
A Statistical Model to Locate Faults at Input LevelFull-text access may be available. Sign in or learn about subscription options.pp. 274-277
by Wu Ji, Jia Xiao-xia, Liu Chang, Yang Hai-yan, Liu Chao, Jin Mao-zhong
Combining the box structure development method and CSPFull-text access may be available. Sign in or learn about subscription options.pp. 340-345
by P.J. Hopcroft, G.H. Broadfoot
Session P1: Short Papers
Helping Object-Oriented Framework Use and Evaluation by means of Historical Use InformationFull-text access may be available. Sign in or learn about subscription options.pp. 278-281
by Ricardo Pereira e Silva, Evandro C?sar Freiberger
Using a genetic algorithm and formal concept analysis to generate branch coverage test data automaticallyFull-text access may be available. Sign in or learn about subscription options.pp. 346-349
by S. Khor, P. Grogono
Session P1: Short Papers
Heuristic Search with Reachability Tests for Automated Generation of Test ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 282-285
by Wee Kheng Leow, Siau Cheng Khoo, Tiong Hoe Loh, Vivy Suhendra
Session P1: Short Papers
COMPASS: Tool-Supported Adaptation of InteractionsFull-text access may be available. Sign in or learn about subscription options.pp. 286-289
by Dirk Heuzeroth
Automated analysis of timing information in UML diagramsFull-text access may be available. Sign in or learn about subscription options.pp. 350-357
by S. Konrad, L.A. Campbell, B.H.C. Cheng
Combination model checking: approach and a case studyFull-text access may be available. Sign in or learn about subscription options.pp. 354-357
by Yunja Choi, M.P.E. Heimdahl
Session P1: Short Papers
On-the-Fly Generation of K-Path Tests for C FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 290-293
by Nicky Williams, Bruno Marre, Patricia Mouy
Context-aware code certificationFull-text access may be available. Sign in or learn about subscription options.pp. 358-361
by J. Eusterbrock
Session P1: Short Papers
A Case Study in JML-Based Software ValidationFull-text access may be available. Sign in or learn about subscription options.pp. 294-297
by L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, J.-L. Lanet
Instant and incremental transformation of modelsFull-text access may be available. Sign in or learn about subscription options.pp. 362-365
by S. Johann, A. Egyed
Session P1: Short Papers
Automated Performance Validation of Software Design: An Industrial ExperienceFull-text access may be available. Sign in or learn about subscription options.pp. 298-301
by Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi
RCAT: a performance analysis toolFull-text access may be available. Sign in or learn about subscription options.pp. 366-370
by Z. Alzamil
Session P1: Short Papers
CHET: A System for Checking Dynamic SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 302-305
by Steven P. Reiss
Modeling behavior in compositions of software architectural primitivesFull-text access may be available. Sign in or learn about subscription options.pp. 371-374
by N.R. Mehta, N. Medvidovic, M. Sirjani, F. Arbab
Session P1: Short Papers
From Testing to Diagnosis: An Automated ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 306-309
by Franck Fleurey, Yves Le Traon, Benoit Baudry
Evaluation of tool support for architectural evolutionFull-text access may be available. Sign in or learn about subscription options.pp. 375-378
by A. Jansen, J. Bosch
Session P1: Short Papers
Aspect Mining Using Event TracesFull-text access may be available. Sign in or learn about subscription options.pp. 310-315
by Silvia Breu, Jens Krinke
Session P1: Short Papers
A Case Study of Coverage-Checked Random Data Structure TestingFull-text access may be available. Sign in or learn about subscription options.pp. 316-319
by James H. Andrews
Requirements monitoring for service-based systems: towards a framework based on event calculusFull-text access may be available. Sign in or learn about subscription options.pp. 379-384
by G. Spanoudakis, K. Mahbub
Session P1: Short Papers
Mapping Template Semantics to SMVFull-text access may be available. Sign in or learn about subscription options.pp. 320-325
by Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu
ScriptEase: generating scripting code for computer role-playing gamesFull-text access may be available. Sign in or learn about subscription options.pp. 386-387
by M. McNaughton, M. Cutumisu, D. Szafron, J. Schaeffer, J. Redford, D. Parker
Session P2: Short Papers
Refactoring Use Case Models on EpisodesFull-text access may be available. Sign in or learn about subscription options.pp. 328-331
by Wei Yu, Jun Li, Greg Butler
Using a structure-based configuration tool for product derivationFull-text access may be available. Sign in or learn about subscription options.pp. 388-391
by L. Hotz, T. Krebs, K. Wolter
Session P2: Short Papers
Understanding Aspects via Implicit InvocationFull-text access may be available. Sign in or learn about subscription options.pp. 332-335
by Jia Xu, Hridesh Rajan, Kevin Sullivan
ISPIS: a framework supporting software inspection processesFull-text access may be available. Sign in or learn about subscription options.pp. 392-393
by M. Kalinowski, G.H. Travassos
Showing 100 out of 130
Load More
Load All