The SCEAS System
Navigation Menu

Conferences in DBLP

Automated Software Engineering (ASE) (kbse)
2007 (conf/kbse/2007)

  1. Toward automated software development. [Citation Graph (, )][DBLP]

  2. Specifying and verifying software. [Citation Graph (, )][DBLP]

  3. The embarrassing truth about software automation and what should be done about it. [Citation Graph (, )][DBLP]

  4. Scalable automatic test data generation from modeling diagrams. [Citation Graph (, )][DBLP]

  5. Exploring the neighborhood with dora to expedite software maintenance. [Citation Graph (, )][DBLP]

  6. Netstub: a framework for verification of distributed java applications. [Citation Graph (, )][DBLP]

  7. Modeling bug report quality. [Citation Graph (, )][DBLP]

  8. Diconic addition of failsafe fault-tolerance. [Citation Graph (, )][DBLP]

  9. Ensuring consistency in long running transactions. [Citation Graph (, )][DBLP]

  10. Assertion-based repair of complex data structures. [Citation Graph (, )][DBLP]

  11. Automatic code stylizing. [Citation Graph (, )][DBLP]

  12. Keyword programming in java. [Citation Graph (, )][DBLP]

  13. Towards supporting awareness of indirect conflicts across software configuration management workspaces. [Citation Graph (, )][DBLP]

  14. Combined static and dynamic mutability analysis. [Citation Graph (, )][DBLP]

  15. Sequential circuits for program analysis. [Citation Graph (, )][DBLP]

  16. Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. [Citation Graph (, )][DBLP]

  17. Directed test generation using symbolic grammars. [Citation Graph (, )][DBLP]

  18. Nighthawk: a two-level genetic-random unit test data generator. [Citation Graph (, )][DBLP]

  19. An aspect-oriented weaving mechanism based on component and connector architecture. [Citation Graph (, )][DBLP]

  20. Towards automatic model synchronization from model transformations. [Citation Graph (, )][DBLP]

  21. An automated model-based debugging approach. [Citation Graph (, )][DBLP]

  22. Context-aware statistical debugging: from bug predictors to faulty control flow paths. [Citation Graph (, )][DBLP]

  23. Object ownership profiling: a technique for finding and fixing memory leaks. [Citation Graph (, )][DBLP]

  24. Parseweb: a programmer assistant for reusing open source code on the web. [Citation Graph (, )][DBLP]

  25. Automatic extraction of framework-specific models from framework-based application code. [Citation Graph (, )][DBLP]

  26. Pallino: automation to support regression test selection for cots-based applications. [Citation Graph (, )][DBLP]

  27. Feature location via information retrieval based filtering of a single scenario execution trace. [Citation Graph (, )][DBLP]

  28. Clustering support for automated tracing. [Citation Graph (, )][DBLP]

  29. Inferring structural patterns for concern traceability in evolving software. [Citation Graph (, )][DBLP]

  30. Finding errors in components that exchange xml data. [Citation Graph (, )][DBLP]

  31. A dynamic birthmark for java. [Citation Graph (, )][DBLP]

  32. Effective memory protection using dynamic tainting. [Citation Graph (, )][DBLP]

  33. An automated approach to monitoring and diagnosing requirements. [Citation Graph (, )][DBLP]

  34. The business case for automated software engineering. [Citation Graph (, )][DBLP]

  35. Testing concurrent programs using value schedules. [Citation Graph (, )][DBLP]

  36. Effective random testing of concurrent programs. [Citation Graph (, )][DBLP]

  37. Automated gui testing guided by usage profiles. [Citation Graph (, )][DBLP]

  38. Efficiently monitoring data-flow test coverage. [Citation Graph (, )][DBLP]

  39. Synthesizing client load models for performance engineering via web crawling. [Citation Graph (, )][DBLP]

  40. Synthesis of test purpose directed reactive planning tester for nondeterministic systems. [Citation Graph (, )][DBLP]

  41. Towards automated consistency checks of product line requirements specifications. [Citation Graph (, )][DBLP]

  42. Automated detection of api refactorings in libraries. [Citation Graph (, )][DBLP]

  43. Improving evolutionary class testing in the presence of non-public methods. [Citation Graph (, )][DBLP]

  44. Behavioral adaptation of component compositions based on process algebra encodings. [Citation Graph (, )][DBLP]

  45. A buffer overflow benchmark for software model checkers. [Citation Graph (, )][DBLP]

  46. Checking threat modeling data flow diagrams for implementation conformance and security. [Citation Graph (, )][DBLP]

  47. Coevolving programs and unit tests from their specification. [Citation Graph (, )][DBLP]

  48. Combining environment generation and slicing for modular software model checking. [Citation Graph (, )][DBLP]

  49. Covering array sampling of input event sequences for automated gui testing. [Citation Graph (, )][DBLP]

  50. Direct-dependency-based software compatibility testing. [Citation Graph (, )][DBLP]

  51. Driving the selection of cots components on the basis of system requirements. [Citation Graph (, )][DBLP]

  52. Efficient unit test case minimization. [Citation Graph (, )][DBLP]

  53. An energy consumption framework for distributed java-based systems. [Citation Graph (, )][DBLP]

  54. Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs. [Citation Graph (, )][DBLP]

  55. Extracting rights and obligations from regulations: toward a tool-supported process. [Citation Graph (, )][DBLP]

  56. Extraction of bug localization benchmarks from history. [Citation Graph (, )][DBLP]

  57. Feature interaction analysis: a maintenance perspective. [Citation Graph (, )][DBLP]

  58. A framework and tool supports for testing modularity of software design. [Citation Graph (, )][DBLP]

  59. Improving uml profile design practices by leveraging conceptual domain models. [Citation Graph (, )][DBLP]

  60. An infrastructure for autonomic system development: the selflet approach. [Citation Graph (, )][DBLP]

  61. Iterative model-driven development of adaptable service-based applications. [Citation Graph (, )][DBLP]

  62. An approach to mining call-usage patternswith syntactic context. [Citation Graph (, )][DBLP]

  63. Mining concepts from code with probabilistic topic models. [Citation Graph (, )][DBLP]

  64. Mining modal scenario-based specifications from execution traces of reactive systems. [Citation Graph (, )][DBLP]

  65. Model-driven derivation of product architectures. [Citation Graph (, )][DBLP]

  66. Modular and generic programming with interpreterlib. [Citation Graph (, )][DBLP]

  67. Reducing irrelevant trace variations. [Citation Graph (, )][DBLP]

  68. Rteq: modeling and validating infinite-state hard-real-time systems. [Citation Graph (, )][DBLP]

  69. IMP: a meta-tooling platform for creating language-specific ides in eclipse. [Citation Graph (, )][DBLP]

  70. Scheduling of conflicting refactorings to promote quality improvement. [Citation Graph (, )][DBLP]

  71. An evaluation scheme of adaptive configuration techniques. [Citation Graph (, )][DBLP]

  72. Assisting potentially-repetitive small-scale changes via semi-automated heuristic search. [Citation Graph (, )][DBLP]

  73. Model checking concurrent linux device drivers. [Citation Graph (, )][DBLP]

  74. Test automation for kernel code and disk arrays with virtual devices. [Citation Graph (, )][DBLP]

  75. Towards leveraging model transformation to support model-based testing. [Citation Graph (, )][DBLP]

  76. Unit testing concurrent software. [Citation Graph (, )][DBLP]

  77. Validating system properties exhibited in execution traces. [Citation Graph (, )][DBLP]

  78. Verifying C++ with STL containers via predicate abstraction. [Citation Graph (, )][DBLP]

  79. CodeGenie: using test-cases to search and reuse source code. [Citation Graph (, )][DBLP]

  80. Decor: a tool for the detection of design defects. [Citation Graph (, )][DBLP]

  81. DESERT: a decentralized monitoring tool generator. [Citation Graph (, )][DBLP]

  82. Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. [Citation Graph (, )][DBLP]

  83. Integrated tool support for software product line engineering. [Citation Graph (, )][DBLP]

  84. Mastering combinatorial explosion with the tobias-2 test generator. [Citation Graph (, )][DBLP]

  85. Smart: a tool for application reference testing. [Citation Graph (, )][DBLP]

  86. Test suite reduction and prioritization with call trees. [Citation Graph (, )][DBLP]

  87. The eureka tool for software model checking. [Citation Graph (, )][DBLP]

  88. Tool support for the compile-time execution structure of object-oriented programs with ownership annotations. [Citation Graph (, )][DBLP]

  89. Tools for model-based security engineering: models vs. code. [Citation Graph (, )][DBLP]

  90. UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. [Citation Graph (, )][DBLP]

  91. Visualizing clone detection results. [Citation Graph (, )][DBLP]

  92. Adaptation hiding modularity. [Citation Graph (, )][DBLP]

  93. Automating the identification of variability realisation techniques from feature models. [Citation Graph (, )][DBLP]

  94. Improving change prediction with fine-grained source code mining. [Citation Graph (, )][DBLP]

  95. Using information retrieval to support design of incremental change of software. [Citation Graph (, )][DBLP]

  96. Using traceability to support model-based regression testing. [Citation Graph (, )][DBLP]

  97. Concolic testing. [Citation Graph (, )][DBLP]

  98. Tutorial on JML, the java modeling language. [Citation Graph (, )][DBLP]

  99. Empirical research methods for software engineering. [Citation Graph (, )][DBLP]

  100. Software reuse and evolution with generative techniques. [Citation Graph (, )][DBLP]

  101. Meta tools for implementing domain specific visual languages. [Citation Graph (, )][DBLP]

  102. Rosetta: language support for system-level design. [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