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]