| 2004 | 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria |
| 2004 | A Differencing Algorithm for Object-Oriented Programs. Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold |
| 2004 | A Statistical Model to Locate Faults at Input Level. Ji Wu, Xiao-xia Jia, Chang Liu, Haiyan Yang, Chao Liu, Maozhong Jin |
| 2004 | Adaptable Concern-Based Framework Specialization in UML. Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen |
| 2004 | An Architecture for Generating Web-Based, Thin-Client Diagramming Tools. Shuping Cao, John C. Grundy, John G. Hosking, Hermann Stoeckle, Ewan D. Tempero |
| 2004 | An Environment for Building a System out of its Requirements. Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington |
| 2004 | Analyzing Interaction Orderings with Model Checking. Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser |
| 2004 | Aspect Mining Using Event Traces. Silvia Breu, Jens Krinke |
| 2004 | Automated Analysis of Timing Information in UML Diagrams. Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng |
| 2004 | Automated Data Mapping Specification via Schema Heuristics and User Interaction. Sebastian Bossung, Hermann Stoeckle, John C. Grundy, Robert Amor, John G. Hosking |
| 2004 | Automated Dynamic Reconfiguration using AI Planning. Naveed Arshad |
| 2004 | Automated Performance Validation of Software Design: An Industrial Experience. Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi |
| 2004 | Automated Support for Framework Selection and Customization. Teruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki |
| 2004 | Automatic Method Completion. Rosco Hill, Joe Rideout |
| 2004 | Automating Traceability for Generated Software Artifacts . Julian Richardson, Jeff Green |
| 2004 | CHET: A System for Checking Dynamic Specifications. Steven P. Reiss |
| 2004 | COMPASS: Tool-Supported Adaptation of Interactions. Dirk Heuzeroth |
| 2004 | Case Study in JML-Based Software Validation. Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet |
| 2004 | Case Study of Coverage-Checked Random Data Structure Testing. James H. Andrews |
| 2004 | CodeCrawler - Polymetric Views in Action. Michele Lanza |
| 2004 | Collaborative Tools for Mobile Requirements Acquisition. Norbert Seyff |
| 2004 | Combination Model Checking: Approach and a Case Study. Yunja Choi, Mats Per Erik Heimdahl |
| 2004 | Combining the Box Structure Development Method and CSP. Philippa J. Hopcroft, Guy H. Broadfoot |
| 2004 | Computational Framework for Supporting Software Inspections. Marcos Kalinowski, Guilherme Horta Travassos |
| 2004 | Consistency Checking in an Infrastructure for Large-Scale Generative. Axel Rauschmayer, Alexander Knapp, Martin Wirsing |
| 2004 | Context-Aware Code Certification. Jutta Eusterbrock |
| 2004 | Data-Mining Synthesised Schedulers for Hard Real-Time Systems. Christos Kloukinas |
| 2004 | Dataflow Language for Scriptable Debugging. Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss |
| 2004 | Decision Support for Test Management in Iterative and Evolutionary Development. Rudolf Ramler |
| 2004 | Decompositional Verification of Component-based Systems-A Hybrid Approach. Gaoyan Xie |
| 2004 | Establishment of Automated Regression Testing at ABB: Industrial Experience Report on 'Avoiding the Pitfalls'. Christer Persson, Nur Yilmaztürk |
| 2004 | Evaluating Clone Detection Techniques from a Refactoring Perspective. Filip Van Rysselberghe, Serge Demeyer |
| 2004 | Evaluation of Tool Support for Architectural Evolution. Anton Jansen, Jan Bosch |
| 2004 | Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE Tool. Yuhong Cai, John C. Grundy, John G. Hosking |
| 2004 | Formal Framework for Automated Analysis and Verification of Web-Based Applications. May Haydar |
| 2004 | From Testing to Diagnosis: An Automated Approach. Franck Fleurey, Yves Le Traon, Benoit Baudry |
| 2004 | Group Support for Distributed Collaborative Concurrent Software Modeling. Naoufel Boulila |
| 2004 | Helping Object-Oriented Framework Use and Evaluation by means of Historical Use Information. Ricardo Pereira e Silva, Evandro César Freiberger |
| 2004 | Heuristic Search with Reachability Tests for Automated Generation of Test Programs. Wee Kheng Leow, Siau-Cheng Khoo, Tiong Hoe Loh, Vivy Suhendra |
| 2004 | ISPIS: A Framework Supporting Software Inspection Processes. Marcos Kalinowski, Guilherme Horta Travassos |
| 2004 | Inferring Specifications to Detect Errors in Code. Mana Taghdiri |
| 2004 | Instant and Incremental Transformation of Models. Sven Johann, Alexander Egyed |
| 2004 | Interactive Visualization of Concurrents Programs. Roberto Capuano |
| 2004 | Mapping Template Semantics to SMV. Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu |
| 2004 | Modeling Behavior in Compositions of Software Architectural Primitives. Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab |
| 2004 | Modeling Web-Based Dialog Flows for Automatic Dialog Control . Matthias Book, Volker Gruhn |
| 2004 | Modeling and Simulation of Context-Aware Mobile Systems. Ping Guo, Reiko Heckel |
| 2004 | On-the-Fly Generation of K-Path Tests for C Functions. Nicky Williams, Bruno Marre, Patricia Mouy |
| 2004 | Parameterized Interfaces for Open System Verification of Product Lines. Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck |
| 2004 | Property-Oriented Test Generation from UML Statecharts. Shuhao Li, Ji Wang, Zhi-Chang Qi |
| 2004 | RCAT: A Performance Analysis Tool. Zakarya A. Alzamil |
| 2004 | Refactoring Use Case Models on Episodes. Wei Yu, Jun Li, Greg Butler |
| 2004 | Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus. George Spanoudakis, Khaled Mahbub |
| 2004 | Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. Tao Xie, Darko Marinov, David Notkin |
| 2004 | Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis. Sreedevi Sampath, Valentin Mihaylov, Amie L. Souter, Lori L. Pollock |
| 2004 | ScriptEase: Generating Scripting Code for Computer Role-Playing Games. Matthew McNaughton, Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, James Redford, Dominique Parker |
| 2004 | ScriptEase: Generative Design Patterns for Computer Role-Playing Games. Matthew McNaughton, Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, James Redford, Dominique Parker |
| 2004 | T-UPPAAL: Online Model-based Testing of Real-Time Systems. Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen |
| 2004 | Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing. Mats Per Erik Heimdahl, George Devaraj |
| 2004 | Understanding Aspects via Implicit Invocation. Jia Xu, Hridesh Rajan, Kevin J. Sullivan |
| 2004 | Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software. Atif M. Memon, Qing Xie |
| 2004 | Using a Genetic Algorithm and Formal Concept Analysis to Generate Branch Coverage Test Data Automatically. Susan Khor, Peter Grogono |
| 2004 | Using a Structure-based Configuration Tool for Product Derivation. Lothar Hotz, Thorsten Krebs, Katharina Wolter |
| 2004 | Validating Personal Requirements by Assisted Symbolic Behavior Browsing . Robert J. Hall, Andrea Zisman |
| 2004 | Verifiable Concurrent Programming Using Concurrency Controllers. Aysu Betin-Can, Tevfik Bultan |
| 2004 | Verifying Interactive Web Programs. Daniel R. Licata, Shriram Krishnamurthi |