Conferences in DBLP
Topes: reusable abstractions for validating data. [Citation Graph (, )][DBLP ] Tracking source locations. [Citation Graph (, )][DBLP ] Answering conceptual queries with Ferret. [Citation Graph (, )][DBLP ] Specification patterns for probabilistic quality properties. [Citation Graph (, )][DBLP ] Existential live sequence charts revisited. [Citation Graph (, )][DBLP ] Symbolic mining of temporal specifications. [Citation Graph (, )][DBLP ] Testing pervasive software in the presence of context inconsistency resolution services. [Citation Graph (, )][DBLP ] ARTOO: adaptive random testing for object-oriented software. [Citation Graph (, )][DBLP ] Time will tell: fault localization using time spectra. [Citation Graph (, )][DBLP ] Towards reusable components with aspects: an empirical study on modularity and obliviousness. [Citation Graph (, )][DBLP ] Using components for architecture-based management: the self-repair case. [Citation Graph (, )][DBLP ] Early prediction of software component reliability. [Citation Graph (, )][DBLP ] Executable misuse cases for modeling security concerns. [Citation Graph (, )][DBLP ] Mining library specifications using inductive logic programming. [Citation Graph (, )][DBLP ] Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems. [Citation Graph (, )][DBLP ] Precise memory leak detection for java software using container profiling. [Citation Graph (, )][DBLP ] The effect of program and model structure on mc/dc test adequacy coverage. [Citation Graph (, )][DBLP ] Static detection of cross-site scripting vulnerabilities. [Citation Graph (, )][DBLP ] A comparative analysis of the efficiency of change metrics and static code attributes for defect prediction. [Citation Graph (, )][DBLP ] On the difficulty of replicating human subjects studies in software engineering. [Citation Graph (, )][DBLP ] An empirical study of the effects of test-suite reduction on fault localization. [Citation Graph (, )][DBLP ] Calysto: scalable and precise extended static checking. [Citation Graph (, )][DBLP ] jPredictor: a predictive runtime analysis tool for java. [Citation Graph (, )][DBLP ] Dynamic detection of atomic-set-serializability violations. [Citation Graph (, )][DBLP ] An empirical study of software developers' management of dependencies and changes. [Citation Graph (, )][DBLP ] TODO or to bug: exploring how task annotations play a role in the work practices of software developers. [Citation Graph (, )][DBLP ] Evolving software product lines with aspects: an empirical study on design stability. [Citation Graph (, )][DBLP ] A verification system for timed interval calculus. [Citation Graph (, )][DBLP ] DySy: dynamic symbolic execution for invariant inference. [Citation Graph (, )][DBLP ] Incremental state-space exploration for programs with dynamically allocated data. [Citation Graph (, )][DBLP ] Debugging reinvented: asking and answering why and why not questions about program behavior. [Citation Graph (, )][DBLP ] Granularity in software product lines. [Citation Graph (, )][DBLP ] Scalable detection of semantic clones. [Citation Graph (, )][DBLP ] The effect of the number of inspectors on the defect estimates produced by capture-recapture models. [Citation Graph (, )][DBLP ] Predicting accurate and actionable static analysis warnings: an experimental approach. [Citation Graph (, )][DBLP ] Sufficient mutation operators for measuring test effectiveness. [Citation Graph (, )][DBLP ] Are fit tables really talking?: a series of experiments to understand whether fit tables are useful during evolution tasks. [Citation Graph (, )][DBLP ] Data flow testing of service-oriented workflow applications. [Citation Graph (, )][DBLP ] A tale of four kernels. [Citation Graph (, )][DBLP ] Defining and continuous checking of structural program dependencies. [Citation Graph (, )][DBLP ] A case study evaluation of maintainability and performance of persistency techniques. [Citation Graph (, )][DBLP ] Automatic modularity conformance checking. [Citation Graph (, )][DBLP ] Breaking the barriers to successful refactoring: observations and tools for extract method. [Citation Graph (, )][DBLP ] Systematically refactoring inheritance to delegation in java. [Citation Graph (, )][DBLP ] ReBA : re factoring-aware b inary a daptation of evolving libraries.Citation Graph (, )][DBLP ] Impact analysis of database schema changes. [Citation Graph (, )][DBLP ] An approach to detecting duplicate bug reports using natural language and execution information. [Citation Graph (, )][DBLP ] Mining framework usage changes from instantiation code. [Citation Graph (, )][DBLP ] Recommending adaptive changes for framework evolution. [Citation Graph (, )][DBLP ] Four enhancements to automateddistributed system experimentation methods. [Citation Graph (, )][DBLP ] Automatic generation of software behavioral models. [Citation Graph (, )][DBLP ] Detecting model inconsistency through operation-based model construction. [Citation Graph (, )][DBLP ] The influence of organizational structure on software quality: an empirical case study. [Citation Graph (, )][DBLP ] Predicting defects using network analysis on dependency graphs. [Citation Graph (, )][DBLP ] Open source software peer review practices: a case study of the apache server. [Citation Graph (, )][DBLP ] Ahaa --agile, hybrid assessment method for automotive, safety critical smes. [Citation Graph (, )][DBLP ] Models for model's sake: why explicit system models are also an end to themselves. [Citation Graph (, )][DBLP ] Time-bounded adaptation for automotive system software. [Citation Graph (, )][DBLP ] Mulit-level system integration based on AUTOSAR. [Citation Graph (, )][DBLP ] Asam odx: syntax as semantics. [Citation Graph (, )][DBLP ] A language for advanced protocol analysis in automotive networks. [Citation Graph (, )][DBLP ] Clone detection in automotive model-based development. [Citation Graph (, )][DBLP ] Formal verification of an automotive scenario in service-oriented computing. [Citation Graph (, )][DBLP ] Analyzing medical processes. [Citation Graph (, )][DBLP ] Rational quality requirements for medical software. [Citation Graph (, )][DBLP ] Supporting requirements engineering for medical products: early consideration of user-perceived quality. [Citation Graph (, )][DBLP ] Experiences with Mirth: an open source health care integration engine. [Citation Graph (, )][DBLP ] Developing an architecture of a knowledge-based electronic patient record. [Citation Graph (, )][DBLP ] Design and implementation of the software architecture for a 3-D reconstruction system in medical imaging. [Citation Graph (, )][DBLP ] Applying model-based testing to healthcare products: preliminary experiences. [Citation Graph (, )][DBLP ] Developing a security protocol for a distributed decision support system in a healthcare environment. [Citation Graph (, )][DBLP ] Model-based security analysis for mobile communications. [Citation Graph (, )][DBLP ] Experience applying the SPIN model checker to an industrial telecommunications system. [Citation Graph (, )][DBLP ] WS-AMUSE - web service architecture for multimedia services. [Citation Graph (, )][DBLP ] Interval quality: relating customer-perceived quality to process quality. [Citation Graph (, )][DBLP ] Improving the handsets network test process via DMAIC concepts. [Citation Graph (, )][DBLP ] 3-step knowledge transition: a case study on architecture evaluation. [Citation Graph (, )][DBLP ] From programming to modeling: our experience with a distributed software engineering course. [Citation Graph (, )][DBLP ] A study of student strategies for the corrective maintenance of concurrent software. [Citation Graph (, )][DBLP ] Best practices in extreme programming course design. [Citation Graph (, )][DBLP ] Using the inverted classroom to teach software engineering. [Citation Graph (, )][DBLP ] A teamwork-based approach to programming fundamentals with scheme, smalltalk & java. [Citation Graph (, )][DBLP ] Power through brokering: open source community participation in software engineering student projects. [Citation Graph (, )][DBLP ] Design patterns: between programming and software design. [Citation Graph (, )][DBLP ] Change management: from knowledge about innovative SE to capabilities for industrial SE projects. [Citation Graph (, )][DBLP ] Metamodel-based tool integration with moflon. [Citation Graph (, )][DBLP ] Genie: supporting the model driven development of reflective, component-based adaptive systems. [Citation Graph (, )][DBLP ] Global consistency checking of distributed models with TReMer+. [Citation Graph (, )][DBLP ] Marama: an eclipse meta-toolset for generating multi-view environments. [Citation Graph (, )][DBLP ] Tool support for the navigation in graphical models. [Citation Graph (, )][DBLP ] Using JULE to generate a compliance test suite for the UML standard. [Citation Graph (, )][DBLP ] Analyzing model evolution. [Citation Graph (, )][DBLP ] SEURAT: integrated rationale management. [Citation Graph (, )][DBLP ] Adams re-trace: traceability link recovery via latent semantic indexing. [Citation Graph (, )][DBLP ] Clonetracker: tool support for code clone management. [Citation Graph (, )][DBLP ] SpyWare: a change-aware development toolset. [Citation Graph (, )][DBLP ] Dynamic round-trip GUI maintenance. [Citation Graph (, )][DBLP ] Juzi: a tool for repairing complex data structures. [Citation Graph (, )][DBLP ] Deryaft: a tool for generating representation invariants of structurally complex data. [Citation Graph (, )][DBLP ] State extensions for java pathfinder. [Citation Graph (, )][DBLP ] Tool support for data validation by end-user programmers. [Citation Graph (, )][DBLP ] A business process explorer: recovering and visualizing e-commerce business processes. [Citation Graph (, )][DBLP ] Rubacon: automated support for model-based compliance engineering. [Citation Graph (, )][DBLP ] 