Abstract is missing.
- Swarm VerificationGerard J. Holzmann, Rajeev Joshi, Alex Groce. 1-6 [doi]
- Reflections on, and Predictions for, Support Systems for the Development of ProgramsCliff B. Jones. 7-8 [doi]
- Increasing Test Granularity by Aggregating Unit TestsMatthew Jorde, Sebastian G. Elbaum, Matthew B. Dwyer. 9-18 [doi]
- Random Test Run Length and EffectivenessJames H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu. 19-28 [doi]
- Program Analysis with Dynamic Precision AdjustmentDirk Beyer, Thomas A. Henzinger, Grégory Théoduloz. 29-38 [doi]
- IR-Based Traceability Recovery Processes: An Empirical Comparison of One-Shot and Incremental ProcessesAndrea De Lucia, Rocco Oliveto, Genoveffa Tortora. 39-48 [doi]
- Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to ModelsPatrick Mäder, Orlena Gotel, Ilka Philippow. 49-58 [doi]
- Incremental Latent Semantic Indexing for Automatic Traceability Link Evolution ManagementHsinyi Jiang, Tien N. Nguyen, Ing-Xiang Chen, Hojun Jaygarl, Carl K. Chang. 59-68 [doi]
- Automated Verification of Multi-Agent ProgramsRafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher. 69-78 [doi]
- Validating Real Time Specifications using Real Time Event Queue ModelingRobert J. Hall. 79-88 [doi]
- Automatic Inference of Frame Axioms Using Static AnalysisZvonimir Rakamaric, Alan J. Hu. 89-98 [doi]
- Generating and Evaluating Choices for Fixing Inconsistencies in UML Design ModelsAlexander Egyed, Emmanuel Letier, Anthony Finkelstein. 99-108 [doi]
- Mining Scenario-Based Triggers and EffectsDavid Lo, Shahar Maoz. 109-118 [doi]
- Refining Real-Time System Specifications through Bounded Model- and Satisfiability-CheckingMatteo Pradella, Angelo Morzenti, Pierluigi San Pietro. 119-127 [doi]
- Evaluating Models for Model-Based DebuggingWolfgang Mayer, Markus Stumptner. 128-137 [doi]
- Error Reporting LogicCiera Jaspan, Trisha Quan, Jonathan Aldrich. 138-147 [doi]
- Efficient Monitoring of Parametric Context-Free PatternsPatrick O Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu. 148-157 [doi]
- A Framework for Dynamic Service DiscoveryAndrea Zisman, George Spanoudakis, James Dooley. 158-167 [doi]
- A Methodology and Framework for Creating Domain-Specific Development InfrastructuresGeorge Edwards, Nenad Medvidovic. 168-177 [doi]
- Connecting Programming Environments to Support Ad-Hoc CollaborationRajesh Hegde, Prasun Dewan. 178-187 [doi]
- Reducing False Positives by Combining Abstract Interpretation and Bounded Model CheckingHendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges. 188-197 [doi]
- Unit Testing of Flash Memory Device Driver through a SAT-Based Model CheckerMoonzoo Kim, Yunho Kim, Hotae Kim. 198-207 [doi]
- Effort Estimation in Capturing Architectural KnowledgeRafael Capilla, Francisco Nava, Carlos Carrillo. 208-217 [doi]
- Test-Suite Augmentation for Evolving SoftwareRaúl A. Santelices, Pavan Kumar Chittimalli, Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold. 218-227 [doi]
- Reducing the Cost of Path Property Monitoring Through SamplingMatthew B. Dwyer, Madeline Diep, Sebastian G. Elbaum. 228-237 [doi]
- Query-Aware Test Generation Using a Relational Constraint SolverShadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid. 238-247 [doi]
- Inferring Finite-State Models with Temporal ConstraintsNeil Walkinshaw, Kirill Bogdanov. 248-257 [doi]
- Type-Checking Software Product Lines - A Formal ApproachChristian Kästner, Sven Apel. 258-267 [doi]
- Using Simulation to Investigate Requirements Prioritization StrategiesDaniel Port, Alexy Olkov, Tim Menzies. 268-277 [doi]
- Automated Aspect Recommendation through Clustering-Based Fan-in AnalysisDanfeng Zhang, Yao Guo, Xiangqun Chen. 278-287 [doi]
- Predictive Typestate Checking of Multithreaded Java ProgramsPallavi Joshi, Koushik Sen. 288-296 [doi]
- Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic ExecutionKobi Inkumsah, Tao Xie. 297-306 [doi]
- Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random ProjectionsElad Yom-Tov, Rachel Tzoref, Shmuel Ur, Shlomo Hoory. 307-316 [doi]
- How Program History Can Improve Code CompletionRomain Robbes, Michele Lanza. 317-326 [doi]
- SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the WebSuresh Thummalapenta, Tao Xie. 327-336 [doi]
- Generic Patch InferenceJesper Andersen, Julia L. Lawall. 337-346 [doi]
- Configuration Lifting: Verification meets Software ConfigurationHendrik Post, Carsten Sinz. 347-350 [doi]
- Product Line Tools are Product Lines Too: Lessons Learned from Developing a Tool SuitePaul Grünbacher, Rick Rabiser, Deepak Dhungana. 351-354 [doi]
- A Specification Language for Static Analysis of Student ExercisesCarsten Köllmann, Michael Goedicke. 355-358 [doi]
- A Case Study on the Automatic Composition of Network Application MashupsMaxim Shevertalov, Spiros Mancoridis. 359-362 [doi]
- Predicting Effectiveness of Automatic Testing ToolsBrett Daniel, Marat Boshernitsan. 363-366 [doi]
- Distributed Constraints Maintenance in Collaborative UML Modeling EnvironmentsHaifeng Shen, Siyuan Liu, Steven Xia, Chengzheng Sun. 367-370 [doi]
- Software Cost Estimation using Fuzzy Decision TreesAndreas S. Andreou, Efi Papatheocharous. 371-374 [doi]
- Rhizome: A Feature Modeling and Generation PlatformGuozheng Ge, Jim Whitehead. 375-378 [doi]
- Combining the Analysis of Spatial Layout and Text to Support Design ExplorationJ. Michael Moore, Frank M. Shipman III. 379-382 [doi]
- Using Cluster Analysis to Improve the Design of Component InterfacesRahmat Adnan, Bas Graaf, Arie van Deursen, Joost Zonneveld. 383-386 [doi]
- Augmenting Counterexample-Guided Abstraction Refinement with Proof TemplatesThomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie. 387-390 [doi]
- An Assume Guarantee Verification Methodology for Aspect-Oriented ProgrammingMustafa Ispir, Aysu Betin-Can. 391-394 [doi]
- Living with the Law: Can Automation give us Moore with Less?Celina Gibbs, Jennifer Baldwin, Nieraj Singh, Maja D'Hondt, Yvonne Coady. 395-398 [doi]
- VCR: Virtual Capture and Replay for Performance TestingAntonia Bertolino, Guglielmo De Angelis, Antonino Sabetta. 399-402 [doi]
- A Case for Automatic Exception HandlingBruno Cabral, Paulo Marques. 403-406 [doi]
- DiffGen: Automated Regression Unit-Test GenerationKunal Taneja, Tao Xie. 407-410 [doi]
- An Automated Test Code Generation Method for Web Applications using Activity Oriented ApproachDavid A. Turner, Moonju Park, Jaehwan Kim, Jinseok Chae. 411-414 [doi]
- The Consistency of Web ConversationsJeffrey Fischer, Rupak Majumdar, Francesco Sorrentino. 415-418 [doi]
- Testing Peers VolatilityEduardo Cunha de Almeida, Gerson Sunyé, Yves Le Traon, Patrick Valduriez. 419-422 [doi]
- Automated Continuous Integration of Component-Based Software: An Industrial ExperienceSeojin Kim, Sungjin Park, Jeonghyun Yun, Younghoo Lee. 423-426 [doi]
- A Two-Step Approach for Modelling Flexibility in Software ProcessesRicardo Martinho, João Varajão, Dulce Domingos. 427-430 [doi]
- A Generic Approach for Class Model NormalizationJean-Rémy Falleri, Marianne Huchard, Clémentine Nebut. 431-434 [doi]
- XE (eXtreme Editor) - Bridging the Aspect-Oriented Programming Usability GapWiwat Ruengmee, Roberto Silveira Silva Filho, Sushil Krishna Bajracharya, David F. Redmiles, Cristina Videira Lopes. 435-438 [doi]
- Rapid: Identifying Bug Signatures to Support Debugging ActivitiesHwa-You Hsu, James A. Jones, Alessandro Orso. 439-442 [doi]
- Heuristics for Scalable Dynamic Test GenerationJacob Burnim, Koushik Sen. 443-446 [doi]
- Managing Models through MacromodelingRick Salay, John Mylopoulos, Steve M. Easterbrook. 447-450 [doi]
- Cleman: Comprehensive Clone Group Evolution ManagementTung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen. 451-454 [doi]
- Composition of Qualitative Adaptation PoliciesFranck Chauvel, Olivier Barais, Isabelle Borne, Jean-Marc Jézéquel. 455-458 [doi]
- A System for Supporting Development of Large Scaled Rich Internet ApplicationsHiroaki Fukuda, Yoshikazu Yamamoto. 459-462 [doi]
- Discovering Patterns of Change TypesBeat Fluri, Emanuel Giger, Harald Gall. 463-466 [doi]
- Model-Driven Development of Mobile Personal Health Care ApplicationsAbizer Khambati, John C. Grundy, James Warren, John G. Hosking. 467-470 [doi]
- Enforcing Structural Regularities in Source Code using IntensiVEJohan Brichau, Andy Kellens, Kim Mens. 471-472 [doi]
- QuARS Express - A Tool DemonstrationAntonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi. 473-474 [doi]
- MTSA: The Modal Transition System AnalyserNicolás D Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel. 475-476 [doi]
- MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code GenerationLei Li, John G. Hosking, John C. Grundy. 477-478 [doi]
- PtYasm: Software Model Checking with Proof TemplatesThomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie. 479-480 [doi]
- Semi-Automating Pragmatic Reuse TasksReid Holmes, Robert J. Walker. 481-482 [doi]
- DUALLY: A framework for Architectural Languages and Tools InteroperabilityIvano Malavolta, Henry Muccini, Patrizio Pelliccione. 483-484 [doi]
- Automated Mapping from Goal Models to Self-Adaptive SystemsMirko Morandini, Loris Penserini, Anna Perini. 485-486 [doi]
- ADDSS: Architecture Design Decision Support System ToolRafael Capilla, Francisco Nava, Jesús Montes, Carlos Carrillo. 487-488 [doi]
- APPAREIL: A Tool for Building Automated Program Translators Using Annotated GrammarsDiego Ordonez Camacho, Kim Mens. 489-490 [doi]
- Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time SystemsMatteo Bordin, Marco Panunzio, Stefano Puri. 491-492 [doi]
- Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded SystemsSéverine Sentilles, Paul Pettersson, Ivica Crnkovic, John Håkansson. 493-494 [doi]
- The Clem ToolkitDaniel Gaffé, Annie Ressouche. 495-496 [doi]
- Tool Support for Parametric Analysis of Large Software Simulation SystemsJohann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett. 497-498 [doi]
- ReqsCov: A Tool for Measuring Test-Adequacy over RequirementsMatt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham. 499-500 [doi]
- AspectM: UML-Based Extensible AOM LanguageNaoyasu Ubayashi, Genya Otsubo, Kazuhide Noda, Jun Yoshida, Tetsuo Tamai. 501-502 [doi]
- Tools for Traceability in Secure Software DevelopmentYijun Yu, Jan Jürjens, Jörg Schreck. 503-504 [doi]
- Unifying Analysis Tools with RosettaNicolas Frisby. 505-508 [doi]
- Model-Driven Development of Mobile ApplicationsFlorence T. Balagtas-Fernandez, Heinrich Hussmann. 509-512 [doi]
- Automated Web Performance AnalysisMartin Pinzger. 513-516 [doi]
- Automatic Test Generation for LUSTRE/SCADE ProgramsVirginia Papailiopoulou. 517-520 [doi]
- Feature Interaction Detection in the Automotive DomainAlma L. Juarez Dominguez. 521-524 [doi]
- Towards Good Enough Testing: A Cognitive-Oriented Approach Applied to Infotainment SystemsAsem Eltaher. 525-528 [doi]
- ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng SystemsMauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Polini, Onn Shehory. 529-530 [doi]
- First International Workshop on Social Software Engineering and Applications (SoSEA 2008)Imed Hammouda, Jan Bosch, Mehdi Jazayeri, Tommi Mikkonen. 531-532 [doi]
- 4th International ERCIM Workshop on Software Evolution and Evolvability (Evol 08)Michel Wermelinger, Paul Wernick, Ciarán Bryce. 533-534 [doi]