The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Keynote address: toward compositional software engineering. [Citation Graph (, )][DBLP]

  2. Analyzing security architectures. [Citation Graph (, )][DBLP]

  3. VikiBuilder: end-user specification and generation of visual wikis. [Citation Graph (, )][DBLP]

  4. Software design sketching with calico. [Citation Graph (, )][DBLP]

  5. Automatically documenting program changes. [Citation Graph (, )][DBLP]

  6. Towards automatically generating summary comments for Java methods. [Citation Graph (, )][DBLP]

  7. Automatic detection of nocuous coordination ambiguities in natural language requirements. [Citation Graph (, )][DBLP]

  8. Flexible and scalable consistency checking on product line variability models. [Citation Graph (, )][DBLP]

  9. Variability modeling in the real: a perspective from the operating systems domain. [Citation Graph (, )][DBLP]

  10. RESISTing reliability degradation through proactive reconfiguration. [Citation Graph (, )][DBLP]

  11. Automatic construction of an effective training set for prioritizing static analysis warnings. [Citation Graph (, )][DBLP]

  12. An automated approach for finding variable-constant pairing bugs. [Citation Graph (, )][DBLP]

  13. Deviance from perfection is a better criterion than closeness to evil when identifying risky code. [Citation Graph (, )][DBLP]

  14. Seamlessly integrated, but loosely coupled: building user interfaces from heterogeneous components. [Citation Graph (, )][DBLP]

  15. Tool support for quality-driven development of software architectures. [Citation Graph (, )][DBLP]

  16. MiTV: multiple-implementation testing of user-input validators for web applications. [Citation Graph (, )][DBLP]

  17. Model comparison with GenericDiff. [Citation Graph (, )][DBLP]

  18. Eliminating products to test in a software product line. [Citation Graph (, )][DBLP]

  19. A visual interactive debugger based on symbolic execution. [Citation Graph (, )][DBLP]

  20. Model-driven reverse engineering of legacy graphical user interfaces. [Citation Graph (, )][DBLP]

  21. A two-step technique for extract class refactoring. [Citation Graph (, )][DBLP]

  22. Detecting user-visible failures in AJAX web applications by analyzing users' interaction behaviors. [Citation Graph (, )][DBLP]

  23. Architectural style as an independent variable. [Citation Graph (, )][DBLP]

  24. Text mining in supporting software systems risk assurance. [Citation Graph (, )][DBLP]

  25. JCCD: a flexible and extensible API for implementing custom code clone detectors. [Citation Graph (, )][DBLP]

  26. PeerUnit: a framework for testing peer-to-peer systems. [Citation Graph (, )][DBLP]

  27. Reconfigurable run-time support for distributed service component architectures. [Citation Graph (, )][DBLP]

  28. MoDisco: a generic and extensible framework for model driven reverse engineering. [Citation Graph (, )][DBLP]

  29. Tool support for continuous maintenance of state machine models in program code. [Citation Graph (, )][DBLP]

  30. Reac2o: a runtime for enterprise system models. [Citation Graph (, )][DBLP]

  31. Symbolic PathFinder: symbolic execution of Java bytecode. [Citation Graph (, )][DBLP]

  32. Enumeration refactoring: a tool for automatically converting Java constants to enumerated types. [Citation Graph (, )][DBLP]

  33. Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983. [Citation Graph (, )][DBLP]

  34. Verification-driven slicing of UML/OCL models. [Citation Graph (, )][DBLP]

  35. Automated support for repairing input-model faults. [Citation Graph (, )][DBLP]

  36. Security-driven model-based dynamic adaptation. [Citation Graph (, )][DBLP]

  37. JRF-E: using model checking to give advice on eliminating memory model-related bugs. [Citation Graph (, )][DBLP]

  38. A bounded statistical approach for model checking of unbounded until properties. [Citation Graph (, )][DBLP]

  39. Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. [Citation Graph (, )][DBLP]

  40. Towards mining replacement queries for hard-to-retrieve traces. [Citation Graph (, )][DBLP]

  41. Tool support for essential use cases to better capture software requirements. [Citation Graph (, )][DBLP]

  42. Timesheet assistant: mining and reporting developer effort. [Citation Graph (, )][DBLP]

  43. An experience report on scaling tools for mining software repositories using MapReduce. [Citation Graph (, )][DBLP]

  44. iMashup: assisting end-user programming for the service-oriented web. [Citation Graph (, )][DBLP]

  45. MODA: automated test generation for database applications via mock objects. [Citation Graph (, )][DBLP]

  46. Random unit-test generation with MUT-aware sequence recommendation. [Citation Graph (, )][DBLP]

  47. End-user oriented critic specification for domain-specific visual language tools. [Citation Graph (, )][DBLP]

  48. Checking roundoff errors using counterexample-guided narrowing. [Citation Graph (, )][DBLP]

  49. Realizing architecture frameworks through megamodelling techniques. [Citation Graph (, )][DBLP]

  50. Recovering inter-project dependencies in software ecosystems. [Citation Graph (, )][DBLP]

  51. Automated program repair through the evolution of assembly code. [Citation Graph (, )][DBLP]

  52. Integrating model verification and self-adaptation. [Citation Graph (, )][DBLP]

  53. When to use data from other projects for effort estimation. [Citation Graph (, )][DBLP]

  54. Kadre: domain-specific architectural recovery for scientific software systems. [Citation Graph (, )][DBLP]

  55. Automated SQL query generation for systematic testing of database engines. [Citation Graph (, )][DBLP]

  56. Tag and prune: a pragmatic approach to software product line implementation. [Citation Graph (, )][DBLP]

  57. Reducing estimation uncertainty with continuous assessment: tracking the "cone of uncertainty". [Citation Graph (, )][DBLP]

  58. Using transitive changesets to support feature location. [Citation Graph (, )][DBLP]

  59. RuMoR: monitoring and recovery for BPEL applications. [Citation Graph (, )][DBLP]

  60. Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML. [Citation Graph (, )][DBLP]

  61. CoGenTe: a tool for code generator testing. [Citation Graph (, )][DBLP]

  62. Impendulo: debugging the programmer. [Citation Graph (, )][DBLP]

  63. SpecDiff: debugging formal specifications. [Citation Graph (, )][DBLP]

  64. Deriving behavior of multi-user processes from interactive requirements validation. [Citation Graph (, )][DBLP]

  65. Tool support for code generation from a UMLsec property. [Citation Graph (, )][DBLP]

  66. PlayGo: towards a comprehensive tool for scenario based programming. [Citation Graph (, )][DBLP]

  67. REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems. [Citation Graph (, )][DBLP]

  68. C2O: a tool for guided decision-making. [Citation Graph (, )][DBLP]

  69. Keynote address: model engineering for model-driven engineering. [Citation Graph (, )][DBLP]

  70. Search-carrying code. [Citation Graph (, )][DBLP]

  71. Solving string constraints lazily. [Citation Graph (, )][DBLP]

  72. Scenario-based and value-based specification mining: better together. [Citation Graph (, )][DBLP]

  73. Test generation to expose changes in evolving programs. [Citation Graph (, )][DBLP]

  74. How did you specify your test suite. [Citation Graph (, )][DBLP]

  75. Dynamic and transparent analysis of commodity production systems. [Citation Graph (, )][DBLP]

  76. Apt-pbo: solving the software dependency problem using pseudo-boolean optimization. [Citation Graph (, )][DBLP]

  77. A sentence-matching method for automatic license identification of source code files. [Citation Graph (, )][DBLP]

  78. Detection of recurring software vulnerabilities. [Citation Graph (, )][DBLP]

  79. Matching dependence-related queries in the system dependence graph. [Citation Graph (, )][DBLP]

  80. PLASMA: a plan-based layered architecture for software model-driven adaptation. [Citation Graph (, )][DBLP]

  81. A program differencing algorithm for verilog HDL. [Citation Graph (, )][DBLP]

  82. Error-avoiding adaptors for black-box software components. [Citation Graph (, )][DBLP]

  83. Automated model grouping. [Citation Graph (, )][DBLP]

  84. Automatic inference of abstract type behavior. [Citation Graph (, )][DBLP]

  85. Extraction and visualization of traceability relationships between documents and source code. [Citation Graph (, )][DBLP]

  86. Model checking graph representation of precise boolean inter-procedural flow analysis. [Citation Graph (, )][DBLP]

  87. The influence of multiple artifacts on the effectiveness of software testing. [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