Conferences in DBLP
Toward automated software development. [Citation Graph (, )][DBLP ] Specifying and verifying software. [Citation Graph (, )][DBLP ] The embarrassing truth about software automation and what should be done about it. [Citation Graph (, )][DBLP ] Scalable automatic test data generation from modeling diagrams. [Citation Graph (, )][DBLP ] Exploring the neighborhood with dora to expedite software maintenance. [Citation Graph (, )][DBLP ] Netstub: a framework for verification of distributed java applications. [Citation Graph (, )][DBLP ] Modeling bug report quality. [Citation Graph (, )][DBLP ] Diconic addition of failsafe fault-tolerance. [Citation Graph (, )][DBLP ] Ensuring consistency in long running transactions. [Citation Graph (, )][DBLP ] Assertion-based repair of complex data structures. [Citation Graph (, )][DBLP ] Automatic code stylizing. [Citation Graph (, )][DBLP ] Keyword programming in java. [Citation Graph (, )][DBLP ] Towards supporting awareness of indirect conflicts across software configuration management workspaces. [Citation Graph (, )][DBLP ] Combined static and dynamic mutability analysis. [Citation Graph (, )][DBLP ] Sequential circuits for program analysis. [Citation Graph (, )][DBLP ] Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. [Citation Graph (, )][DBLP ] Directed test generation using symbolic grammars. [Citation Graph (, )][DBLP ] Nighthawk: a two-level genetic-random unit test data generator. [Citation Graph (, )][DBLP ] An aspect-oriented weaving mechanism based on component and connector architecture. [Citation Graph (, )][DBLP ] Towards automatic model synchronization from model transformations. [Citation Graph (, )][DBLP ] An automated model-based debugging approach. [Citation Graph (, )][DBLP ] Context-aware statistical debugging: from bug predictors to faulty control flow paths. [Citation Graph (, )][DBLP ] Object ownership profiling: a technique for finding and fixing memory leaks. [Citation Graph (, )][DBLP ] Parseweb: a programmer assistant for reusing open source code on the web. [Citation Graph (, )][DBLP ] Automatic extraction of framework-specific models from framework-based application code. [Citation Graph (, )][DBLP ] Pallino: automation to support regression test selection for cots-based applications. [Citation Graph (, )][DBLP ] Feature location via information retrieval based filtering of a single scenario execution trace. [Citation Graph (, )][DBLP ] Clustering support for automated tracing. [Citation Graph (, )][DBLP ] Inferring structural patterns for concern traceability in evolving software. [Citation Graph (, )][DBLP ] Finding errors in components that exchange xml data. [Citation Graph (, )][DBLP ] A dynamic birthmark for java. [Citation Graph (, )][DBLP ] Effective memory protection using dynamic tainting. [Citation Graph (, )][DBLP ] An automated approach to monitoring and diagnosing requirements. [Citation Graph (, )][DBLP ] The business case for automated software engineering. [Citation Graph (, )][DBLP ] Testing concurrent programs using value schedules. [Citation Graph (, )][DBLP ] Effective random testing of concurrent programs. [Citation Graph (, )][DBLP ] Automated gui testing guided by usage profiles. [Citation Graph (, )][DBLP ] Efficiently monitoring data-flow test coverage. [Citation Graph (, )][DBLP ] Synthesizing client load models for performance engineering via web crawling. [Citation Graph (, )][DBLP ] Synthesis of test purpose directed reactive planning tester for nondeterministic systems. [Citation Graph (, )][DBLP ] Towards automated consistency checks of product line requirements specifications. [Citation Graph (, )][DBLP ] Automated detection of api refactorings in libraries. [Citation Graph (, )][DBLP ] Improving evolutionary class testing in the presence of non-public methods. [Citation Graph (, )][DBLP ] Behavioral adaptation of component compositions based on process algebra encodings. [Citation Graph (, )][DBLP ] A buffer overflow benchmark for software model checkers. [Citation Graph (, )][DBLP ] Checking threat modeling data flow diagrams for implementation conformance and security. [Citation Graph (, )][DBLP ] Coevolving programs and unit tests from their specification. [Citation Graph (, )][DBLP ] Combining environment generation and slicing for modular software model checking. [Citation Graph (, )][DBLP ] Covering array sampling of input event sequences for automated gui testing. [Citation Graph (, )][DBLP ] Direct-dependency-based software compatibility testing. [Citation Graph (, )][DBLP ] Driving the selection of cots components on the basis of system requirements. [Citation Graph (, )][DBLP ] Efficient unit test case minimization. [Citation Graph (, )][DBLP ] An energy consumption framework for distributed java-based systems. [Citation Graph (, )][DBLP ] Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs. [Citation Graph (, )][DBLP ] Extracting rights and obligations from regulations: toward a tool-supported process. [Citation Graph (, )][DBLP ] Extraction of bug localization benchmarks from history. [Citation Graph (, )][DBLP ] Feature interaction analysis: a maintenance perspective. [Citation Graph (, )][DBLP ] A framework and tool supports for testing modularity of software design. [Citation Graph (, )][DBLP ] Improving uml profile design practices by leveraging conceptual domain models. [Citation Graph (, )][DBLP ] An infrastructure for autonomic system development: the selflet approach. [Citation Graph (, )][DBLP ] Iterative model-driven development of adaptable service-based applications. [Citation Graph (, )][DBLP ] An approach to mining call-usage patternswith syntactic context. [Citation Graph (, )][DBLP ] Mining concepts from code with probabilistic topic models. [Citation Graph (, )][DBLP ] Mining modal scenario-based specifications from execution traces of reactive systems. [Citation Graph (, )][DBLP ] Model-driven derivation of product architectures. [Citation Graph (, )][DBLP ] Modular and generic programming with interpreterlib. [Citation Graph (, )][DBLP ] Reducing irrelevant trace variations. [Citation Graph (, )][DBLP ] Rteq: modeling and validating infinite-state hard-real-time systems. [Citation Graph (, )][DBLP ] IMP: a meta-tooling platform for creating language-specific ides in eclipse. [Citation Graph (, )][DBLP ] Scheduling of conflicting refactorings to promote quality improvement. [Citation Graph (, )][DBLP ] An evaluation scheme of adaptive configuration techniques. [Citation Graph (, )][DBLP ] Assisting potentially-repetitive small-scale changes via semi-automated heuristic search. [Citation Graph (, )][DBLP ] Model checking concurrent linux device drivers. [Citation Graph (, )][DBLP ] Test automation for kernel code and disk arrays with virtual devices. [Citation Graph (, )][DBLP ] Towards leveraging model transformation to support model-based testing. [Citation Graph (, )][DBLP ] Unit testing concurrent software. [Citation Graph (, )][DBLP ] Validating system properties exhibited in execution traces. [Citation Graph (, )][DBLP ] Verifying C++ with STL containers via predicate abstraction. [Citation Graph (, )][DBLP ] CodeGenie: using test-cases to search and reuse source code. [Citation Graph (, )][DBLP ] Decor: a tool for the detection of design defects. [Citation Graph (, )][DBLP ] DESERT: a decentralized monitoring tool generator. [Citation Graph (, )][DBLP ] Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. [Citation Graph (, )][DBLP ] Integrated tool support for software product line engineering. [Citation Graph (, )][DBLP ] Mastering combinatorial explosion with the tobias-2 test generator. [Citation Graph (, )][DBLP ] Smart: a tool for application reference testing. [Citation Graph (, )][DBLP ] Test suite reduction and prioritization with call trees. [Citation Graph (, )][DBLP ] The eureka tool for software model checking. [Citation Graph (, )][DBLP ] Tool support for the compile-time execution structure of object-oriented programs with ownership annotations. [Citation Graph (, )][DBLP ] Tools for model-based security engineering: models vs. code. [Citation Graph (, )][DBLP ] UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. [Citation Graph (, )][DBLP ] Visualizing clone detection results. [Citation Graph (, )][DBLP ] Adaptation hiding modularity. [Citation Graph (, )][DBLP ] Automating the identification of variability realisation techniques from feature models. [Citation Graph (, )][DBLP ] Improving change prediction with fine-grained source code mining. [Citation Graph (, )][DBLP ] Using information retrieval to support design of incremental change of software. [Citation Graph (, )][DBLP ] Using traceability to support model-based regression testing. [Citation Graph (, )][DBLP ] Concolic testing. [Citation Graph (, )][DBLP ] Tutorial on JML, the java modeling language. [Citation Graph (, )][DBLP ] Empirical research methods for software engineering. [Citation Graph (, )][DBLP ] Software reuse and evolution with generative techniques. [Citation Graph (, )][DBLP ] Meta tools for implementing domain specific visual languages. [Citation Graph (, )][DBLP ] Rosetta: language support for system-level design. [Citation Graph (, )][DBLP ] 