The SCEAS System
Navigation Menu

Conferences in DBLP

Foundations of Software Engineering (SIGSOFT FSE) (sigsoft)
2009 (conf/sigsoft/2009)

  1. The challenge of pervasive software to the conventional wisdom of software engineering. [Citation Graph (, )][DBLP]

  2. Asserting and checking determinism for multithreaded programs. [Citation Graph (, )][DBLP]

  3. Static data race detection for concurrent programs with asynchronous calls. [Citation Graph (, )][DBLP]

  4. Symbolic pruning of concurrent program executions. [Citation Graph (, )][DBLP]

  5. Darwin: an approach for debugging evolving programs. [Citation Graph (, )][DBLP]

  6. Capturing propagation of infected program states. [Citation Graph (, )][DBLP]

  7. Saturation-based testing of concurrent programs. [Citation Graph (, )][DBLP]

  8. The massification and webification of systems' modeling and simulation with virtual worlds. [Citation Graph (, )][DBLP]

  9. Backward-compatible constant-time exception-protected memory. [Citation Graph (, )][DBLP]

  10. Automated security testing of web widget interactions. [Citation Graph (, )][DBLP]

  11. Cross-project defect prediction: a large scale experiment on data vs. domain vs. process. [Citation Graph (, )][DBLP]

  12. On the relationship between process maturity and geographic distribution: an empirical analysis of their impact on software quality. [Citation Graph (, )][DBLP]

  13. Improving bug triage with bug tossing graphs. [Citation Graph (, )][DBLP]

  14. Fair and balanced?: bias in bug-fix datasets. [Citation Graph (, )][DBLP]

  15. Qos-driven runtime adaptation of service oriented architectures. [Citation Graph (, )][DBLP]

  16. Automatic synthesis of behavior protocols for composable web-services. [Citation Graph (, )][DBLP]

  17. Data flow testing of service choreography. [Citation Graph (, )][DBLP]

  18. Whitening SOA testing. [Citation Graph (, )][DBLP]

  19. IQ routes and HD traffic: technology insights about tomtom's time-dynamic navigation concept. [Citation Graph (, )][DBLP]

  20. Refactoring for reentrancy. [Citation Graph (, )][DBLP]

  21. Monitoring probabilistic properties. [Citation Graph (, )][DBLP]

  22. MSeqGen: object-oriented unit-test generation via mining source code. [Citation Graph (, )][DBLP]

  23. Api hyperlinking via structural overlap. [Citation Graph (, )][DBLP]

  24. Learning from examples to improve code completion systems. [Citation Graph (, )][DBLP]

  25. Improving slice accuracy by compression of data and control flow paths. [Citation Graph (, )][DBLP]

  26. Insights from expert software design practice. [Citation Graph (, )][DBLP]

  27. Fitting the pieces together: a machine-checked model of safe composition. [Citation Graph (, )][DBLP]

  28. Ensuring interoperable service-oriented systems through engineered self-healing. [Citation Graph (, )][DBLP]

  29. Debugging debugging: acm sigsoft impact paper award keynote. [Citation Graph (, )][DBLP]

  30. Facilitating software refactoring with appropriate resolution order of bad smells. [Citation Graph (, )][DBLP]

  31. Software change dynamics: evidence from 35 java projects. [Citation Graph (, )][DBLP]

  32. Practical framework constraints. [Citation Graph (, )][DBLP]

  33. Evaluating recovery aware components for grid reliability. [Citation Graph (, )][DBLP]

  34. Towards accurate probabilistic models using state refinement. [Citation Graph (, )][DBLP]

  35. Verification and performance evaluation of aadl models. [Citation Graph (, )][DBLP]

  36. Reo2MC: a tool chain for performance analysis of coordination models. [Citation Graph (, )][DBLP]

  37. Smart views for analyzing problem reports: tool demo. [Citation Graph (, )][DBLP]

  38. SCA: a semantic conflict analyzer for parallel changes. [Citation Graph (, )][DBLP]

  39. Test case comparison and clustering using program profiles and static execution. [Citation Graph (, )][DBLP]

  40. ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. [Citation Graph (, )][DBLP]

  41. Javalanche: efficient mutation testing for Java. [Citation Graph (, )][DBLP]

  42. ConcernMorph: metrics-based detection of crosscutting patterns. [Citation Graph (, )][DBLP]

  43. Srijan: a graphical toolkit for sensor network macroprogramming. [Citation Graph (, )][DBLP]

  44. Software architecture: many faces, many places, yet a central discipline. [Citation Graph (, )][DBLP]

  45. Synthesizing partial component-level behavior models from system specifications. [Citation Graph (, )][DBLP]

  46. Supporting automatic model inconsistency fixing. [Citation Graph (, )][DBLP]

  47. Behavioral automata composition for automatic topology independent verification of parameterized systems. [Citation Graph (, )][DBLP]

  48. Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models. [Citation Graph (, )][DBLP]

  49. Automatic steering of behavioral model inference. [Citation Graph (, )][DBLP]

  50. Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. [Citation Graph (, )][DBLP]

  51. Engineering search computing applications: vision and challenges. [Citation Graph (, )][DBLP]

  52. DebugAdvisor: a recommender system for debugging. [Citation Graph (, )][DBLP]

  53. Graph-based mining of multiple object usage patterns. [Citation Graph (, )][DBLP]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002