The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. A Petri Net Based Debugging Environment for QVT Relations. [Citation Graph (, )][DBLP]

  2. Validating Automotive Control Software Using Instrumentation-Based Verification. [Citation Graph (, )][DBLP]

  3. Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering. [Citation Graph (, )][DBLP]

  4. A Quantum Algorithm for Software Engineering Search. [Citation Graph (, )][DBLP]

  5. Understanding the Value of Software Engineering Technologies. [Citation Graph (, )][DBLP]

  6. Type Inference for Soft-Error Fault-Tolerance Prediction. [Citation Graph (, )][DBLP]

  7. Evaluating the Accuracy of Fault Localization Techniques. [Citation Graph (, )][DBLP]

  8. Spectrum-Based Multiple Fault Localization. [Citation Graph (, )][DBLP]

  9. Towards a Comprehensive Test Suite for Detectors of Design Patterns. [Citation Graph (, )][DBLP]

  10. Improving API Usage through Automatic Detection of Redundant Code. [Citation Graph (, )][DBLP]

  11. Clone-Aware Configuration Management. [Citation Graph (, )][DBLP]

  12. SMT-Based Bounded Model Checking for Embedded ANSI-C Software. [Citation Graph (, )][DBLP]

  13. Static Validation of C Preprocessor Macros. [Citation Graph (, )][DBLP]

  14. Looper: Lightweight Detection of Infinite Loops at Runtime. [Citation Graph (, )][DBLP]

  15. Improving the Efficiency of Dependency Analysis in Logical Decision Models. [Citation Graph (, )][DBLP]

  16. Explicit Concern-Driven Development with ArchEvol. [Citation Graph (, )][DBLP]

  17. Design Rule Hierarchies and Parallelism in Software Development Tasks. [Citation Graph (, )][DBLP]

  18. Automated Test Order Generation for Software Component Integration Testing. [Citation Graph (, )][DBLP]

  19. A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs. [Citation Graph (, )][DBLP]

  20. Adaptive Random Test Case Prioritization. [Citation Graph (, )][DBLP]

  21. Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences. [Citation Graph (, )][DBLP]

  22. Self-Repair through Reconfiguration: A Requirements Engineering Approach. [Citation Graph (, )][DBLP]

  23. Model Checking of Domain Artifacts in Product Line Engineering. [Citation Graph (, )][DBLP]

  24. Alattin: Mining Alternative Patterns for Detecting Neglected Conditions. [Citation Graph (, )][DBLP]

  25. Mining Temporal Specifications from Object Usage. [Citation Graph (, )][DBLP]

  26. Inferring Resource Specifications from Natural Language API Documentation. [Citation Graph (, )][DBLP]

  27. Specification and Control of Interface Responses to User Input in Rich Internet Applications. [Citation Graph (, )][DBLP]

  28. Code Completion from Abbreviated Input. [Citation Graph (, )][DBLP]

  29. Task-First or Context-First? Tool Integration Revisited. [Citation Graph (, )][DBLP]

  30. Mining Hierarchical Scenario-Based Specifications. [Citation Graph (, )][DBLP]

  31. Automatic Generation of Object Usage Specifications from Large Method Traces. [Citation Graph (, )][DBLP]

  32. Efficient Formalism-Independent Monitoring of Parametric Properties. [Citation Graph (, )][DBLP]

  33. Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks. [Citation Graph (, )][DBLP]

  34. Mining Health Models for Performance Monitoring of Services. [Citation Graph (, )][DBLP]

  35. Inferring Method Effect Summaries for Nested Heap Regions. [Citation Graph (, )][DBLP]

  36. ReAssert: Suggesting Repairs for Broken Unit Tests. [Citation Graph (, )][DBLP]

  37. Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. [Citation Graph (, )][DBLP]

  38. State-Space Coverage Estimation. [Citation Graph (, )][DBLP]

  39. A Framework for State-Space Exploration of Java-Based Actor Programs. [Citation Graph (, )][DBLP]

  40. Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. [Citation Graph (, )][DBLP]

  41. Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. [Citation Graph (, )][DBLP]

  42. A Formal Syntax for Probabilistic Timed Property Sequence Charts. [Citation Graph (, )][DBLP]

  43. Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy. [Citation Graph (, )][DBLP]

  44. Using String Distances for Test Case Prioritisation. [Citation Graph (, )][DBLP]

  45. Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. [Citation Graph (, )][DBLP]

  46. A Methodology and Framework to Simplify Usability Analysis of Mobile Applications. [Citation Graph (, )][DBLP]

  47. An Open Source-Based Approach to Software Development Infrastructures. [Citation Graph (, )][DBLP]

  48. EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements. [Citation Graph (, )][DBLP]

  49. An Automated Passive Testing Approach for the IMS PoC Service. [Citation Graph (, )][DBLP]

  50. Adding Examples into Java Documents. [Citation Graph (, )][DBLP]

  51. Enhanced Automation for Managing Model and Metamodel Inconsistency. [Citation Graph (, )][DBLP]

  52. Generating Fixes from Object Behavior Anomalies. [Citation Graph (, )][DBLP]

  53. Service Substitution Revisited. [Citation Graph (, )][DBLP]

  54. A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. [Citation Graph (, )][DBLP]

  55. Towards Augmenting Requirements Models with Preferences. [Citation Graph (, )][DBLP]

  56. Automated Comprehension Tasks in Software Exploration. [Citation Graph (, )][DBLP]

  57. Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software. [Citation Graph (, )][DBLP]

  58. Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development. [Citation Graph (, )][DBLP]

  59. Automating the Implementation of Analysis Concerns in Workflow Applications. [Citation Graph (, )][DBLP]

  60. Static Typing for Ruby on Rails. [Citation Graph (, )][DBLP]

  61. Towards Automating Class-Splitting Using Betweenness Clustering. [Citation Graph (, )][DBLP]

  62. Reducing Features to Improve Bug Prediction. [Citation Graph (, )][DBLP]

  63. Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses. [Citation Graph (, )][DBLP]

  64. Weaving Context Sensitivity into Test Suite Construction. [Citation Graph (, )][DBLP]

  65. Optimizing a Structural Constraint Solver for Efficient Software Checking. [Citation Graph (, )][DBLP]

  66. A Case for Automated Debugging Using Data Structure Repair. [Citation Graph (, )][DBLP]

  67. Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework. [Citation Graph (, )][DBLP]

  68. Using Spectrum-Based Fault Localization for Test Case Grouping. [Citation Graph (, )][DBLP]

  69. Cluster-Based I/O-Efficient LTL Model Checking. [Citation Graph (, )][DBLP]

  70. A Linear Programming Approach for Automated Localization of Multiple Faults. [Citation Graph (, )][DBLP]

  71. Lost in Translation: Forgetful Semantic Anchoring. [Citation Graph (, )][DBLP]

  72. An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. [Citation Graph (, )][DBLP]

  73. KaitoroBase: Visual Exploration of Software Architecture Documents. [Citation Graph (, )][DBLP]

  74. phpModeler - A Web Model Extractor. [Citation Graph (, )][DBLP]

  75. Zoltar: A Toolset for Automatic Fault Localization. [Citation Graph (, )][DBLP]

  76. Supporting Requirements Validation: The EuRailCheck Tool. [Citation Graph (, )][DBLP]

  77. Loopfrog: A Static Analyzer for ANSI-C Programs. [Citation Graph (, )][DBLP]

  78. A Tool Suite for the Generation and Validation of Configurations for Software Availability. [Citation Graph (, )][DBLP]

  79. A Tool for Attributed Goal-Oriented Requirements Analysis. [Citation Graph (, )][DBLP]

  80. Jtop: Managing JUnit Test Cases in Absence of Coverage Information. [Citation Graph (, )][DBLP]

  81. An Automated Tool for Generating UML Models from Natural Language Requirements. [Citation Graph (, )][DBLP]

  82. AOWP: Web-Specific AOP Framework for PHP. [Citation Graph (, )][DBLP]

  83. A Modelling Language for Interactive Web Applications. [Citation Graph (, )][DBLP]

  84. Automated Software Tool Support for Checking the Inconsistency of Requirements. [Citation Graph (, )][DBLP]

  85. A Holistic Approach to Mobile Service Provisioning. [Citation Graph (, )][DBLP]

  86. Secure and Usable Requirements Engineering. [Citation Graph (, )][DBLP]

  87. Goal-Based Testing of Semantic Web Services. [Citation Graph (, )][DBLP]

  88. Migration from Procedural Programming to Aspect Oriented Paradigm. [Citation Graph (, )][DBLP]

  89. Improving Component Dependency Resolution with Soft Constraints, Validation and Verification. [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