Table of Contents

• A Differencing Algorithm for Object-Oriented ProgramsTaweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold. 2-13 [doi]
• Data-Mining Synthesised Schedulers for Hard Real-Time SystemsChristos Kloukinas. 14-23 [doi]
• Automating Traceability for Generated Software Artifacts Julian Richardson, Jeff Green. 24-33 [doi]
• Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE ToolYuhong Cai, John C. Grundy, John G. Hosking. 36-45 [doi]
• Computational Framework for Supporting Software InspectionsMarcos Kalinowski, Guilherme Horta Travassos. 46-55 [doi]
• Validating Personal Requirements by Assisted Symbolic Behavior Browsing Robert J. Hall, Andrea Zisman. 56-66 [doi]
• Automated Support for Framework Selection and CustomizationTeruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki. 68-77 [doi]
• Adaptable Concern-Based Framework Specialization in UMLImed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen. 78-87 [doi]
• ScriptEase: Generative Design Patterns for Computer Role-Playing GamesMatthew McNaughton, Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, James Redford, Dominique Parker. 88-99 [doi]
• Modeling Web-Based Dialog Flows for Automatic Dialog Control Matthias Book, Volker Gruhn. 100-109 [doi]
• Establishment of Automated Regression Testing at ABB: Industrial Experience Report on Avoiding the Pitfalls Christer Persson, Nur Yilmaztürk. 112-121 [doi]
• Property-Oriented Test Generation from UML StatechartsShuhao Li, Ji Wang, Zhi-Chang Qi. 122-131 [doi]
• Scalable Approach to User-Session based Testing of Web Applications through Concept AnalysisSreedevi Sampath, Valentin Mihaylov, Amie L. Souter, Lori L. Pollock. 132-141 [doi]
• Inferring Specifications to Detect Errors in CodeMana Taghdiri. 144-153 [doi]
• Analyzing Interaction Orderings with Model CheckingMatthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser. 154-163 [doi]
• Verifying Interactive Web ProgramsDaniel R. Licata, Shriram Krishnamurthi. 164-173 [doi]
• Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for TestingMats Per Erik Heimdahl, George Devaraj. 176-185 [doi]
• Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven SoftwareAtif M. Memon, Qing Xie. 186-195 [doi]
• Rostra: A Framework for Detecting Redundant Object-Oriented Unit TestsTao Xie, Darko Marinov, David Notkin. 196-205 [doi]
• Automated Data Mapping Specification via Schema Heuristics and User InteractionSebastian Bossung, Hermann Stoeckle, John C. Grundy, Robert Amor, John G. Hosking. 208-217 [doi]
• Dataflow Language for Scriptable DebuggingGuillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss. 218-227 [doi]
• Automatic Method CompletionRosco Hill, Joe Rideout. 228-235 [doi]
• Consistency Checking in an Infrastructure for Large-Scale GenerativeAxel Rauschmayer, Alexander Knapp, Martin Wirsing. 238-247 [doi]
• Verifiable Concurrent Programming Using Concurrency ControllersAysu Betin-Can, Tevfik Bultan. 248-257 [doi]
• Parameterized Interfaces for Open System Verification of Product LinesColin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck. 258-267 [doi]
• An Architecture for Generating Web-Based, Thin-Client Diagramming ToolsShuping Cao, John C. Grundy, John G. Hosking, Hermann Stoeckle, Ewan D. Tempero. 270-273 [doi]
• A Statistical Model to Locate Faults at Input LevelJi Wu, Xiao-xia Jia, Chang Liu, Hai-yan Yang, Chao Liu, Mao-zhong Jin. 274-277 [doi]
• Helping Object-Oriented Framework Use and Evaluation by means of Historical Use InformationRicardo Pereira e Silva, Evandro César Freiberger. 278-281 [doi]
• Heuristic Search with Reachability Tests for Automated Generation of Test ProgramsWee Kheng Leow, Siau-Cheng Khoo, Tiong Hoe Loh, Vivy Suhendra. 282-285 [doi]
• COMPASS: Tool-Supported Adaptation of InteractionsDirk Heuzeroth. 286-289 [doi]
• On-the-Fly Generation of K-Path Tests for C FunctionsNicky Williams, Bruno Marre, Patricia Mouy. 290-293 [doi]
• Case Study in JML-Based Software ValidationLydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet. 294-297 [doi]
• Automated Performance Validation of Software Design: An Industrial ExperienceDaniele Compare, Antonio D Onofrio, Antinisca Di Marco, Paola Inverardi. 298-301 [doi]
• CHET: A System for Checking Dynamic SpecificationsSteven P. Reiss. 302-305 [doi]
• From Testing to Diagnosis: An Automated ApproachFranck Fleurey, Yves Le Traon, Benoit Baudry. 306-309 [doi]
• Aspect Mining Using Event TracesSilvia Breu, Jens Krinke. 310-315 [doi]
• Case Study of Coverage-Checked Random Data Structure TestingJames H. Andrews. 316-319 [doi]
• Mapping Template Semantics to SMVYun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu. 320-325 [doi]
• Refactoring Use Case Models on EpisodesWei Yu, Jun Li, Greg Butler. 328-331 [doi]
• Understanding Aspects via Implicit InvocationJia Xu, Hridesh Rajan, Kevin J. Sullivan. 332-335 [doi]
• Evaluating Clone Detection Techniques from a Refactoring PerspectiveFilip Van Rysselberghe, Serge Demeyer. 336-339 [doi]
• Combining the Box Structure Development Method and CSPPhilippa J. Hopcroft, Guy H. Broadfoot. 340-345 [doi]
• Using a Genetic Algorithm and Formal Concept Analysis to Generate Branch Coverage Test Data AutomaticallySusan Khor, Peter Grogono. 346-349 [doi]
• Automated Analysis of Timing Information in UML DiagramsSascha Konrad, Laura A. Campbell, Betty H. C. Cheng. 350-353 [doi]
• Combination Model Checking: Approach and a Case StudyYunja Choi, Mats Per Erik Heimdahl. 354-357 [doi]
• Context-Aware Code CertificationJutta Eusterbrock. 358-361 [doi]
• Instant and Incremental Transformation of ModelsSven Johann, Alexander Egyed. 362-365 [doi]
• RCAT: A Performance Analysis ToolZakarya Alzamil. 366-370 [doi]
• Modeling Behavior in Compositions of Software Architectural PrimitivesNikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab. 371-374 [doi]
• Evaluation of Tool Support for Architectural EvolutionAnton Jansen, Jan Bosch. 375-378 [doi]
• Requirements Monitoring for Service-Based Systems: Towards a framework based on Event CalculusGeorge Spanoudakis, Khaled Mahbub. 379-384 [doi]
• ScriptEase: Generating Scripting Code for Computer Role-Playing GamesMatthew McNaughton, Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, James Redford, Dominique Parker. 386-387 [doi]
• Using a Structure-based Configuration Tool for Product DerivationLothar Hotz, Thorsten Krebs, Katharina Wolter. 388-391 [doi]
• ISPIS: A Framework Supporting Software Inspection ProcessesMarcos Kalinowski, Guilherme Horta Travassos. 392-393 [doi]
• CodeCrawler - Polymetric Views in ActionMichele Lanza. 394-395 [doi]
• T-UPPAAL: Online Model-based Testing of Real-Time SystemsMarius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen. 396-397 [doi]
• An Environment for Building a System out of its RequirementsCameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington. 398-399 [doi]
• Automated Dynamic Reconfiguration using AI PlanningNaveed Arshad. 402-405 [doi]
• Decision Support for Test Management in Iterative and Evolutionary DevelopmentRudolf Ramler. 406-409 [doi]
• Formal Framework for Automated Analysis and Verification of Web-Based ApplicationsMay Haydar. 410-413 [doi]
• Decompositional Verification of Component-based Systems-A Hybrid ApproachGaoyan Xie. 414-417 [doi]
• Interactive Visualization of Concurrents ProgramsRoberto Capuano. 418-421 [doi]
• Group Support for Distributed Collaborative Concurrent Software ModelingNaoufel Boulila. 422-425 [doi]
• Collaborative Tools for Mobile Requirements AcquisitionNorbert Seyff. 426-429 [doi]
• Modeling and Simulation of Context-Aware Mobile SystemsPing Guo, Reiko Heckel. 430-433 [doi]