|
Conferences in DBLP
A Petri Net Based Debugging Environment for QVT Relations. [Citation Graph (, )][DBLP]
Validating Automotive Control Software Using Instrumentation-Based Verification. [Citation Graph (, )][DBLP]
Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering. [Citation Graph (, )][DBLP]
A Quantum Algorithm for Software Engineering Search. [Citation Graph (, )][DBLP]
Understanding the Value of Software Engineering Technologies. [Citation Graph (, )][DBLP]
Type Inference for Soft-Error Fault-Tolerance Prediction. [Citation Graph (, )][DBLP]
Evaluating the Accuracy of Fault Localization Techniques. [Citation Graph (, )][DBLP]
Spectrum-Based Multiple Fault Localization. [Citation Graph (, )][DBLP]
Towards a Comprehensive Test Suite for Detectors of Design Patterns. [Citation Graph (, )][DBLP]
Improving API Usage through Automatic Detection of Redundant Code. [Citation Graph (, )][DBLP]
Clone-Aware Configuration Management. [Citation Graph (, )][DBLP]
SMT-Based Bounded Model Checking for Embedded ANSI-C Software. [Citation Graph (, )][DBLP]
Static Validation of C Preprocessor Macros. [Citation Graph (, )][DBLP]
Looper: Lightweight Detection of Infinite Loops at Runtime. [Citation Graph (, )][DBLP]
Improving the Efficiency of Dependency Analysis in Logical Decision Models. [Citation Graph (, )][DBLP]
Explicit Concern-Driven Development with ArchEvol. [Citation Graph (, )][DBLP]
Design Rule Hierarchies and Parallelism in Software Development Tasks. [Citation Graph (, )][DBLP]
Automated Test Order Generation for Software Component Integration Testing. [Citation Graph (, )][DBLP]
A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs. [Citation Graph (, )][DBLP]
Adaptive Random Test Case Prioritization. [Citation Graph (, )][DBLP]
Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences. [Citation Graph (, )][DBLP]
Self-Repair through Reconfiguration: A Requirements Engineering Approach. [Citation Graph (, )][DBLP]
Model Checking of Domain Artifacts in Product Line Engineering. [Citation Graph (, )][DBLP]
Alattin: Mining Alternative Patterns for Detecting Neglected Conditions. [Citation Graph (, )][DBLP]
Mining Temporal Specifications from Object Usage. [Citation Graph (, )][DBLP]
Inferring Resource Specifications from Natural Language API Documentation. [Citation Graph (, )][DBLP]
Specification and Control of Interface Responses to User Input in Rich Internet Applications. [Citation Graph (, )][DBLP]
Code Completion from Abbreviated Input. [Citation Graph (, )][DBLP]
Task-First or Context-First? Tool Integration Revisited. [Citation Graph (, )][DBLP]
Mining Hierarchical Scenario-Based Specifications. [Citation Graph (, )][DBLP]
Automatic Generation of Object Usage Specifications from Large Method Traces. [Citation Graph (, )][DBLP]
Efficient Formalism-Independent Monitoring of Parametric Properties. [Citation Graph (, )][DBLP]
Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks. [Citation Graph (, )][DBLP]
Mining Health Models for Performance Monitoring of Services. [Citation Graph (, )][DBLP]
Inferring Method Effect Summaries for Nested Heap Regions. [Citation Graph (, )][DBLP]
ReAssert: Suggesting Repairs for Broken Unit Tests. [Citation Graph (, )][DBLP]
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. [Citation Graph (, )][DBLP]
State-Space Coverage Estimation. [Citation Graph (, )][DBLP]
A Framework for State-Space Exploration of Java-Based Actor Programs. [Citation Graph (, )][DBLP]
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. [Citation Graph (, )][DBLP]
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. [Citation Graph (, )][DBLP]
A Formal Syntax for Probabilistic Timed Property Sequence Charts. [Citation Graph (, )][DBLP]
Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy. [Citation Graph (, )][DBLP]
Using String Distances for Test Case Prioritisation. [Citation Graph (, )][DBLP]
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. [Citation Graph (, )][DBLP]
A Methodology and Framework to Simplify Usability Analysis of Mobile Applications. [Citation Graph (, )][DBLP]
An Open Source-Based Approach to Software Development Infrastructures. [Citation Graph (, )][DBLP]
EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements. [Citation Graph (, )][DBLP]
An Automated Passive Testing Approach for the IMS PoC Service. [Citation Graph (, )][DBLP]
Adding Examples into Java Documents. [Citation Graph (, )][DBLP]
Enhanced Automation for Managing Model and Metamodel Inconsistency. [Citation Graph (, )][DBLP]
Generating Fixes from Object Behavior Anomalies. [Citation Graph (, )][DBLP]
Service Substitution Revisited. [Citation Graph (, )][DBLP]
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. [Citation Graph (, )][DBLP]
Towards Augmenting Requirements Models with Preferences. [Citation Graph (, )][DBLP]
Automated Comprehension Tasks in Software Exploration. [Citation Graph (, )][DBLP]
Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software. [Citation Graph (, )][DBLP]
Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development. [Citation Graph (, )][DBLP]
Automating the Implementation of Analysis Concerns in Workflow Applications. [Citation Graph (, )][DBLP]
Static Typing for Ruby on Rails. [Citation Graph (, )][DBLP]
Towards Automating Class-Splitting Using Betweenness Clustering. [Citation Graph (, )][DBLP]
Reducing Features to Improve Bug Prediction. [Citation Graph (, )][DBLP]
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses. [Citation Graph (, )][DBLP]
Weaving Context Sensitivity into Test Suite Construction. [Citation Graph (, )][DBLP]
Optimizing a Structural Constraint Solver for Efficient Software Checking. [Citation Graph (, )][DBLP]
A Case for Automated Debugging Using Data Structure Repair. [Citation Graph (, )][DBLP]
Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework. [Citation Graph (, )][DBLP]
Using Spectrum-Based Fault Localization for Test Case Grouping. [Citation Graph (, )][DBLP]
Cluster-Based I/O-Efficient LTL Model Checking. [Citation Graph (, )][DBLP]
A Linear Programming Approach for Automated Localization of Multiple Faults. [Citation Graph (, )][DBLP]
Lost in Translation: Forgetful Semantic Anchoring. [Citation Graph (, )][DBLP]
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. [Citation Graph (, )][DBLP]
KaitoroBase: Visual Exploration of Software Architecture Documents. [Citation Graph (, )][DBLP]
phpModeler - A Web Model Extractor. [Citation Graph (, )][DBLP]
Zoltar: A Toolset for Automatic Fault Localization. [Citation Graph (, )][DBLP]
Supporting Requirements Validation: The EuRailCheck Tool. [Citation Graph (, )][DBLP]
Loopfrog: A Static Analyzer for ANSI-C Programs. [Citation Graph (, )][DBLP]
A Tool Suite for the Generation and Validation of Configurations for Software Availability. [Citation Graph (, )][DBLP]
A Tool for Attributed Goal-Oriented Requirements Analysis. [Citation Graph (, )][DBLP]
Jtop: Managing JUnit Test Cases in Absence of Coverage Information. [Citation Graph (, )][DBLP]
An Automated Tool for Generating UML Models from Natural Language Requirements. [Citation Graph (, )][DBLP]
AOWP: Web-Specific AOP Framework for PHP. [Citation Graph (, )][DBLP]
A Modelling Language for Interactive Web Applications. [Citation Graph (, )][DBLP]
Automated Software Tool Support for Checking the Inconsistency of Requirements. [Citation Graph (, )][DBLP]
A Holistic Approach to Mobile Service Provisioning. [Citation Graph (, )][DBLP]
Secure and Usable Requirements Engineering. [Citation Graph (, )][DBLP]
Goal-Based Testing of Semantic Web Services. [Citation Graph (, )][DBLP]
Migration from Procedural Programming to Aspect Oriented Paradigm. [Citation Graph (, )][DBLP]
Improving Component Dependency Resolution with Soft Constraints, Validation and Verification. [Citation Graph (, )][DBLP]
|