The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Swarm Verification. [Citation Graph (, )][DBLP]

  2. Reflections on, and Predictions for, Support Systems for the Development of Programs. [Citation Graph (, )][DBLP]

  3. Increasing Test Granularity by Aggregating Unit Tests. [Citation Graph (, )][DBLP]

  4. Random Test Run Length and Effectiveness. [Citation Graph (, )][DBLP]

  5. Program Analysis with Dynamic Precision Adjustment. [Citation Graph (, )][DBLP]

  6. IR-Based Traceability Recovery Processes: An Empirical Comparison of "One-Shot" and Incremental Processes. [Citation Graph (, )][DBLP]

  7. Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to Models. [Citation Graph (, )][DBLP]

  8. Incremental Latent Semantic Indexing for Automatic Traceability Link Evolution Management. [Citation Graph (, )][DBLP]

  9. Automated Verification of Multi-Agent Programs. [Citation Graph (, )][DBLP]

  10. Validating Real Time Specifications using Real Time Event Queue Modeling. [Citation Graph (, )][DBLP]

  11. Automatic Inference of Frame Axioms Using Static Analysis. [Citation Graph (, )][DBLP]

  12. Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models. [Citation Graph (, )][DBLP]

  13. Mining Scenario-Based Triggers and Effects. [Citation Graph (, )][DBLP]

  14. Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. [Citation Graph (, )][DBLP]

  15. Evaluating Models for Model-Based Debugging. [Citation Graph (, )][DBLP]

  16. Error Reporting Logic. [Citation Graph (, )][DBLP]

  17. Efficient Monitoring of Parametric Context-Free Patterns. [Citation Graph (, )][DBLP]

  18. A Framework for Dynamic Service Discovery. [Citation Graph (, )][DBLP]

  19. A Methodology and Framework for Creating Domain-Specific Development Infrastructures. [Citation Graph (, )][DBLP]

  20. Connecting Programming Environments to Support Ad-Hoc Collaboration. [Citation Graph (, )][DBLP]

  21. Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. [Citation Graph (, )][DBLP]

  22. Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. [Citation Graph (, )][DBLP]

  23. Effort Estimation in Capturing Architectural Knowledge. [Citation Graph (, )][DBLP]

  24. Test-Suite Augmentation for Evolving Software. [Citation Graph (, )][DBLP]

  25. Reducing the Cost of Path Property Monitoring Through Sampling. [Citation Graph (, )][DBLP]

  26. Query-Aware Test Generation Using a Relational Constraint Solver. [Citation Graph (, )][DBLP]

  27. Inferring Finite-State Models with Temporal Constraints. [Citation Graph (, )][DBLP]

  28. Type-Checking Software Product Lines - A Formal Approach. [Citation Graph (, )][DBLP]

  29. Using Simulation to Investigate Requirements Prioritization Strategies. [Citation Graph (, )][DBLP]

  30. Automated Aspect Recommendation through Clustering-Based Fan-in Analysis. [Citation Graph (, )][DBLP]

  31. Predictive Typestate Checking of Multithreaded Java Programs. [Citation Graph (, )][DBLP]

  32. Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution. [Citation Graph (, )][DBLP]

  33. Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections. [Citation Graph (, )][DBLP]

  34. How Program History Can Improve Code Completion. [Citation Graph (, )][DBLP]

  35. SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web. [Citation Graph (, )][DBLP]

  36. Generic Patch Inference. [Citation Graph (, )][DBLP]

  37. Configuration Lifting: Verification meets Software Configuration. [Citation Graph (, )][DBLP]

  38. Product Line Tools are Product Lines Too: Lessons Learned from Developing a Tool Suite. [Citation Graph (, )][DBLP]

  39. A Specification Language for Static Analysis of Student Exercises. [Citation Graph (, )][DBLP]

  40. A Case Study on the Automatic Composition of Network Application Mashups. [Citation Graph (, )][DBLP]

  41. Predicting Effectiveness of Automatic Testing Tools. [Citation Graph (, )][DBLP]

  42. Distributed Constraints Maintenance in Collaborative UML Modeling Environments. [Citation Graph (, )][DBLP]

  43. Software Cost Estimation using Fuzzy Decision Trees. [Citation Graph (, )][DBLP]

  44. Rhizome: A Feature Modeling and Generation Platform. [Citation Graph (, )][DBLP]

  45. Combining the Analysis of Spatial Layout and Text to Support Design Exploration. [Citation Graph (, )][DBLP]

  46. Using Cluster Analysis to Improve the Design of Component Interfaces. [Citation Graph (, )][DBLP]

  47. Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. [Citation Graph (, )][DBLP]

  48. An Assume Guarantee Verification Methodology for Aspect-Oriented Programming. [Citation Graph (, )][DBLP]

  49. Living with the Law: Can Automation give us Moore with Less? [Citation Graph (, )][DBLP]

  50. VCR: Virtual Capture and Replay for Performance Testing. [Citation Graph (, )][DBLP]

  51. A Case for Automatic Exception Handling. [Citation Graph (, )][DBLP]

  52. DiffGen: Automated Regression Unit-Test Generation. [Citation Graph (, )][DBLP]

  53. An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach. [Citation Graph (, )][DBLP]

  54. The Consistency of Web Conversations. [Citation Graph (, )][DBLP]

  55. Testing Peers' Volatility. [Citation Graph (, )][DBLP]

  56. Automated Continuous Integration of Component-Based Software: An Industrial Experience. [Citation Graph (, )][DBLP]

  57. A Two-Step Approach for Modelling Flexibility in Software Processes. [Citation Graph (, )][DBLP]

  58. A Generic Approach for Class Model Normalization. [Citation Graph (, )][DBLP]

  59. XE (eXtreme Editor) - Bridging the Aspect-Oriented Programming Usability Gap. [Citation Graph (, )][DBLP]

  60. Rapid: Identifying Bug Signatures to Support Debugging Activities. [Citation Graph (, )][DBLP]

  61. Heuristics for Scalable Dynamic Test Generation. [Citation Graph (, )][DBLP]

  62. Managing Models through Macromodeling. [Citation Graph (, )][DBLP]

  63. Cleman: Comprehensive Clone Group Evolution Management. [Citation Graph (, )][DBLP]

  64. Composition of Qualitative Adaptation Policies. [Citation Graph (, )][DBLP]

  65. A System for Supporting Development of Large Scaled Rich Internet Applications. [Citation Graph (, )][DBLP]

  66. Discovering Patterns of Change Types. [Citation Graph (, )][DBLP]

  67. Model-Driven Development of Mobile Personal Health Care Applications. [Citation Graph (, )][DBLP]

  68. Enforcing Structural Regularities in Source Code using IntensiVE. [Citation Graph (, )][DBLP]

  69. QuARS Express - A Tool Demonstration. [Citation Graph (, )][DBLP]

  70. MTSA: The Modal Transition System Analyser. [Citation Graph (, )][DBLP]

  71. MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation. [Citation Graph (, )][DBLP]

  72. PtYasm: Software Model Checking with Proof Templates. [Citation Graph (, )][DBLP]

  73. Semi-Automating Pragmatic Reuse Tasks. [Citation Graph (, )][DBLP]

  74. DUALLY: A framework for Architectural Languages and Tools Interoperability. [Citation Graph (, )][DBLP]

  75. Automated Mapping from Goal Models to Self-Adaptive Systems. [Citation Graph (, )][DBLP]

  76. ADDSS: Architecture Design Decision Support System Tool. [Citation Graph (, )][DBLP]

  77. APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars. [Citation Graph (, )][DBLP]

  78. Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems. [Citation Graph (, )][DBLP]

  79. Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems. [Citation Graph (, )][DBLP]

  80. The Clem Toolkit. [Citation Graph (, )][DBLP]

  81. Tool Support for Parametric Analysis of Large Software Simulation Systems. [Citation Graph (, )][DBLP]

  82. ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. [Citation Graph (, )][DBLP]

  83. AspectM: UML-Based Extensible AOM Language. [Citation Graph (, )][DBLP]

  84. Tools for Traceability in Secure Software Development. [Citation Graph (, )][DBLP]

  85. Unifying Analysis Tools with Rosetta. [Citation Graph (, )][DBLP]

  86. Model-Driven Development of Mobile Applications. [Citation Graph (, )][DBLP]

  87. Automated Web Performance Analysis. [Citation Graph (, )][DBLP]

  88. Automatic Test Generation for LUSTRE/SCADE Programs. [Citation Graph (, )][DBLP]

  89. Feature Interaction Detection in the Automotive Domain. [Citation Graph (, )][DBLP]

  90. Towards Good Enough Testing: A Cognitive-Oriented Approach Applied to Infotainment Systems. [Citation Graph (, )][DBLP]

  91. ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems. [Citation Graph (, )][DBLP]

  92. First International Workshop on Social Software Engineering and Applications (SoSEA 2008). [Citation Graph (, )][DBLP]

  93. 4th International ERCIM Workshop on Software Evolution and Evolvability (Evol'08). [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