Conferences in DBLP
The challenge of pervasive software to the conventional wisdom of software engineering. [Citation Graph (, )][DBLP ] Asserting and checking determinism for multithreaded programs. [Citation Graph (, )][DBLP ] Static data race detection for concurrent programs with asynchronous calls. [Citation Graph (, )][DBLP ] Symbolic pruning of concurrent program executions. [Citation Graph (, )][DBLP ] Darwin: an approach for debugging evolving programs. [Citation Graph (, )][DBLP ] Capturing propagation of infected program states. [Citation Graph (, )][DBLP ] Saturation-based testing of concurrent programs. [Citation Graph (, )][DBLP ] The massification and webification of systems' modeling and simulation with virtual worlds. [Citation Graph (, )][DBLP ] Backward-compatible constant-time exception-protected memory. [Citation Graph (, )][DBLP ] Automated security testing of web widget interactions. [Citation Graph (, )][DBLP ] Cross-project defect prediction: a large scale experiment on data vs. domain vs. process. [Citation Graph (, )][DBLP ] On the relationship between process maturity and geographic distribution: an empirical analysis of their impact on software quality. [Citation Graph (, )][DBLP ] Improving bug triage with bug tossing graphs. [Citation Graph (, )][DBLP ] Fair and balanced?: bias in bug-fix datasets. [Citation Graph (, )][DBLP ] Qos-driven runtime adaptation of service oriented architectures. [Citation Graph (, )][DBLP ] Automatic synthesis of behavior protocols for composable web-services. [Citation Graph (, )][DBLP ] Data flow testing of service choreography. [Citation Graph (, )][DBLP ] Whitening SOA testing. [Citation Graph (, )][DBLP ] IQ routes and HD traffic: technology insights about tomtom's time-dynamic navigation concept. [Citation Graph (, )][DBLP ] Refactoring for reentrancy. [Citation Graph (, )][DBLP ] Monitoring probabilistic properties. [Citation Graph (, )][DBLP ] MSeqGen: object-oriented unit-test generation via mining source code. [Citation Graph (, )][DBLP ] Api hyperlinking via structural overlap. [Citation Graph (, )][DBLP ] Learning from examples to improve code completion systems. [Citation Graph (, )][DBLP ] Improving slice accuracy by compression of data and control flow paths. [Citation Graph (, )][DBLP ] Insights from expert software design practice. [Citation Graph (, )][DBLP ] Fitting the pieces together: a machine-checked model of safe composition. [Citation Graph (, )][DBLP ] Ensuring interoperable service-oriented systems through engineered self-healing. [Citation Graph (, )][DBLP ] Debugging debugging: acm sigsoft impact paper award keynote. [Citation Graph (, )][DBLP ] Facilitating software refactoring with appropriate resolution order of bad smells. [Citation Graph (, )][DBLP ] Software change dynamics: evidence from 35 java projects. [Citation Graph (, )][DBLP ] Practical framework constraints. [Citation Graph (, )][DBLP ] Evaluating recovery aware components for grid reliability. [Citation Graph (, )][DBLP ] Towards accurate probabilistic models using state refinement. [Citation Graph (, )][DBLP ] Verification and performance evaluation of aadl models. [Citation Graph (, )][DBLP ] Reo2MC: a tool chain for performance analysis of coordination models. [Citation Graph (, )][DBLP ] Smart views for analyzing problem reports: tool demo. [Citation Graph (, )][DBLP ] SCA: a semantic conflict analyzer for parallel changes. [Citation Graph (, )][DBLP ] Test case comparison and clustering using program profiles and static execution. [Citation Graph (, )][DBLP ] ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. [Citation Graph (, )][DBLP ] Javalanche: efficient mutation testing for Java. [Citation Graph (, )][DBLP ] ConcernMorph: metrics-based detection of crosscutting patterns. [Citation Graph (, )][DBLP ] Srijan: a graphical toolkit for sensor network macroprogramming. [Citation Graph (, )][DBLP ] Software architecture: many faces, many places, yet a central discipline. [Citation Graph (, )][DBLP ] Synthesizing partial component-level behavior models from system specifications. [Citation Graph (, )][DBLP ] Supporting automatic model inconsistency fixing. [Citation Graph (, )][DBLP ] Behavioral automata composition for automatic topology independent verification of parameterized systems. [Citation Graph (, )][DBLP ] Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. [Citation Graph (, )][DBLP ] Automatic steering of behavioral model inference. [Citation Graph (, )][DBLP ] Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. [Citation Graph (, )][DBLP ] Engineering search computing applications: vision and challenges. [Citation Graph (, )][DBLP ] DebugAdvisor: a recommender system for debugging. [Citation Graph (, )][DBLP ] Graph-based mining of multiple object usage patterns. [Citation Graph (, )][DBLP ]