Conferences in DBLP
Swarm Verification. [Citation Graph (, )][DBLP ] Reflections on, and Predictions for, Support Systems for the Development of Programs. [Citation Graph (, )][DBLP ] Increasing Test Granularity by Aggregating Unit Tests. [Citation Graph (, )][DBLP ] Random Test Run Length and Effectiveness. [Citation Graph (, )][DBLP ] Program Analysis with Dynamic Precision Adjustment. [Citation Graph (, )][DBLP ] IR-Based Traceability Recovery Processes: An Empirical Comparison of "One-Shot" and Incremental Processes. [Citation Graph (, )][DBLP ] Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to Models. [Citation Graph (, )][DBLP ] Incremental Latent Semantic Indexing for Automatic Traceability Link Evolution Management. [Citation Graph (, )][DBLP ] Automated Verification of Multi-Agent Programs. [Citation Graph (, )][DBLP ] Validating Real Time Specifications using Real Time Event Queue Modeling. [Citation Graph (, )][DBLP ] Automatic Inference of Frame Axioms Using Static Analysis. [Citation Graph (, )][DBLP ] Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models. [Citation Graph (, )][DBLP ] Mining Scenario-Based Triggers and Effects. [Citation Graph (, )][DBLP ] Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. [Citation Graph (, )][DBLP ] Evaluating Models for Model-Based Debugging. [Citation Graph (, )][DBLP ] Error Reporting Logic. [Citation Graph (, )][DBLP ] Efficient Monitoring of Parametric Context-Free Patterns. [Citation Graph (, )][DBLP ] A Framework for Dynamic Service Discovery. [Citation Graph (, )][DBLP ] A Methodology and Framework for Creating Domain-Specific Development Infrastructures. [Citation Graph (, )][DBLP ] Connecting Programming Environments to Support Ad-Hoc Collaboration. [Citation Graph (, )][DBLP ] Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. [Citation Graph (, )][DBLP ] Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. [Citation Graph (, )][DBLP ] Effort Estimation in Capturing Architectural Knowledge. [Citation Graph (, )][DBLP ] Test-Suite Augmentation for Evolving Software. [Citation Graph (, )][DBLP ] Reducing the Cost of Path Property Monitoring Through Sampling. [Citation Graph (, )][DBLP ] Query-Aware Test Generation Using a Relational Constraint Solver. [Citation Graph (, )][DBLP ] Inferring Finite-State Models with Temporal Constraints. [Citation Graph (, )][DBLP ] Type-Checking Software Product Lines - A Formal Approach. [Citation Graph (, )][DBLP ] Using Simulation to Investigate Requirements Prioritization Strategies. [Citation Graph (, )][DBLP ] Automated Aspect Recommendation through Clustering-Based Fan-in Analysis. [Citation Graph (, )][DBLP ] Predictive Typestate Checking of Multithreaded Java Programs. [Citation Graph (, )][DBLP ] Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution. [Citation Graph (, )][DBLP ] Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections. [Citation Graph (, )][DBLP ] How Program History Can Improve Code Completion. [Citation Graph (, )][DBLP ] SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web. [Citation Graph (, )][DBLP ] Generic Patch Inference. [Citation Graph (, )][DBLP ] Configuration Lifting: Verification meets Software Configuration. [Citation Graph (, )][DBLP ] Product Line Tools are Product Lines Too: Lessons Learned from Developing a Tool Suite. [Citation Graph (, )][DBLP ] A Specification Language for Static Analysis of Student Exercises. [Citation Graph (, )][DBLP ] A Case Study on the Automatic Composition of Network Application Mashups. [Citation Graph (, )][DBLP ] Predicting Effectiveness of Automatic Testing Tools. [Citation Graph (, )][DBLP ] Distributed Constraints Maintenance in Collaborative UML Modeling Environments. [Citation Graph (, )][DBLP ] Software Cost Estimation using Fuzzy Decision Trees. [Citation Graph (, )][DBLP ] Rhizome: A Feature Modeling and Generation Platform. [Citation Graph (, )][DBLP ] Combining the Analysis of Spatial Layout and Text to Support Design Exploration. [Citation Graph (, )][DBLP ] Using Cluster Analysis to Improve the Design of Component Interfaces. [Citation Graph (, )][DBLP ] Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. [Citation Graph (, )][DBLP ] An Assume Guarantee Verification Methodology for Aspect-Oriented Programming. [Citation Graph (, )][DBLP ] Living with the Law: Can Automation give us Moore with Less? [Citation Graph (, )][DBLP ] VCR: Virtual Capture and Replay for Performance Testing. [Citation Graph (, )][DBLP ] A Case for Automatic Exception Handling. [Citation Graph (, )][DBLP ] DiffGen: Automated Regression Unit-Test Generation. [Citation Graph (, )][DBLP ] An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach. [Citation Graph (, )][DBLP ] The Consistency of Web Conversations. [Citation Graph (, )][DBLP ] Testing Peers' Volatility. [Citation Graph (, )][DBLP ] Automated Continuous Integration of Component-Based Software: An Industrial Experience. [Citation Graph (, )][DBLP ] A Two-Step Approach for Modelling Flexibility in Software Processes. [Citation Graph (, )][DBLP ] A Generic Approach for Class Model Normalization. [Citation Graph (, )][DBLP ] XE (eXtreme Editor) - Bridging the Aspect-Oriented Programming Usability Gap. [Citation Graph (, )][DBLP ] Rapid: Identifying Bug Signatures to Support Debugging Activities. [Citation Graph (, )][DBLP ] Heuristics for Scalable Dynamic Test Generation. [Citation Graph (, )][DBLP ] Managing Models through Macromodeling. [Citation Graph (, )][DBLP ] Cleman: Comprehensive Clone Group Evolution Management. [Citation Graph (, )][DBLP ] Composition of Qualitative Adaptation Policies. [Citation Graph (, )][DBLP ] A System for Supporting Development of Large Scaled Rich Internet Applications. [Citation Graph (, )][DBLP ] Discovering Patterns of Change Types. [Citation Graph (, )][DBLP ] Model-Driven Development of Mobile Personal Health Care Applications. [Citation Graph (, )][DBLP ] Enforcing Structural Regularities in Source Code using IntensiVE. [Citation Graph (, )][DBLP ] QuARS Express - A Tool Demonstration. [Citation Graph (, )][DBLP ] MTSA: The Modal Transition System Analyser. [Citation Graph (, )][DBLP ] MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation. [Citation Graph (, )][DBLP ] PtYasm: Software Model Checking with Proof Templates. [Citation Graph (, )][DBLP ] Semi-Automating Pragmatic Reuse Tasks. [Citation Graph (, )][DBLP ] DUALLY: A framework for Architectural Languages and Tools Interoperability. [Citation Graph (, )][DBLP ] Automated Mapping from Goal Models to Self-Adaptive Systems. [Citation Graph (, )][DBLP ] ADDSS: Architecture Design Decision Support System Tool. [Citation Graph (, )][DBLP ] APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars. [Citation Graph (, )][DBLP ] Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems. [Citation Graph (, )][DBLP ] Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems. [Citation Graph (, )][DBLP ] The Clem Toolkit. [Citation Graph (, )][DBLP ] Tool Support for Parametric Analysis of Large Software Simulation Systems. [Citation Graph (, )][DBLP ] ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. [Citation Graph (, )][DBLP ] AspectM: UML-Based Extensible AOM Language. [Citation Graph (, )][DBLP ] Tools for Traceability in Secure Software Development. [Citation Graph (, )][DBLP ] Unifying Analysis Tools with Rosetta. [Citation Graph (, )][DBLP ] Model-Driven Development of Mobile Applications. [Citation Graph (, )][DBLP ] Automated Web Performance Analysis. [Citation Graph (, )][DBLP ] Automatic Test Generation for LUSTRE/SCADE Programs. [Citation Graph (, )][DBLP ] Feature Interaction Detection in the Automotive Domain. [Citation Graph (, )][DBLP ] Towards Good Enough Testing: A Cognitive-Oriented Approach Applied to Infotainment Systems. [Citation Graph (, )][DBLP ] ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems. [Citation Graph (, )][DBLP ] First International Workshop on Social Software Engineering and Applications (SoSEA 2008). [Citation Graph (, )][DBLP ] 4th International ERCIM Workshop on Software Evolution and Evolvability (Evol'08). [Citation Graph (, )][DBLP ]