ASE 2005
81 papers
- 2nd Workshop on the state of the art in automated software engineering
- 3rd international workshop on traceability in emerging forms of software engineering (TEFSE 2005)
- A component model for internet-scale applications
- A component-based development framework for supporting functional and non-functional analysis in control system design
- A context-sensitive structural heuristic for guided search model checking
- A generic approach to supporting diagram differencing and merging for collaborative design
- A model transformation approach to automatic model construction and evolution
- A parameterized interpreter for modeling different AOP mechanisms
- A rigorous approach for proving model refactorings
- A similarity-aware approach to testing based fault localization
- A strategy for efficient verification of relational specifications, based on monotonicity analysis
- A threat-driven approach to modeling and verifying secure software
- A tool for automatic UML model consistency checking
- A unified fitness function calculation rule for flag conditions to improve evolutionary testing
- A uniform deductive approach for parameterized protocol safety
- A visual language and environment for composing web services
- AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks
- An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software
- Application of design for verification with concurrency controllers to air traffic control software
- Automated generation of testing tools for domain-specific languages
- Automated path generation for software fault localization
- Automated population of causal models for improved software risk assessment
- Automated replay and failure detection for web applications
- Automated test generation for engineering applications
- Automatic test factoring for java
- Automatic verification of design patterns in Java
- Automating experimentation on distributed testbeds
- Automating the performance management of component-based enterprise systems through the use of redundancy
- Bamboo: an architecture modeling and code generation framework for configuration management systems
- Blowtorch: a framework for firewall test automation
- ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications
- Clearwater: extensible, flexible, modular code generation
- Code security analysis with assertions
- Compositional reasoning for port-based distributed systems
- Constraint-based test data generation in the presence of stack-directed pointers
- Constructing interaction test suites with greedy algorithms
- Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information
- Designing and implementing a family of intrusion detection systems
- Determining the cost-quality trade-off for automated software traceability
- EA-Miner: a tool for automating aspect-oriented requirements identification
- Efficient temporal-logic query checking for presburger systems
- Empirical evaluation of the tarantula automatic fault-localization technique
- Exploiting predicate structure for efficient reachability detection
- Formal support for merging and negotiation
- Generation of visual editors as eclipse plug-ins
- Identifying traits with formal concept analysis
- In regression testing selection when source code is not available
- Introduction to doctoral symposium
- Lattice-based adaptive random testing
- Learning to verify branching time properties
- Let's agree to disagree
- Locating faulty code using failure-inducing chops
- Model-based self-monitoring embedded programs with temporal logic specifications
- NFRs-aware architectural evolution of component-based software
- On dynamic feature location
- Optimized run-time race detection and atomicity checking using partial discovered types
- Precise identification of composition relationships for UML class diagrams
- Process support to help novices design software faster and better
- Properties and scopes in web model checking
- Prufrock: a framework for constructing polytypic theorem provers
- QoS-aware dynamic service composition in ambient intelligence environments
- Quasi-random testing
- Reasoning about real-time statecharts in the presence of semantic variations
- Secure sharing between untrusted users in a transparent source/binary deployment model
- Simon: modeling and analysis of design space structures
- Software certificate management (SoftCeMent'05)
- Software security assurance tools, techniques and metrics (SSATTM)
- Specialization and extrapolation of software cost models
- Specification and automated processing of security requirements (SAPS'05)
- Synthesis of correct and distributed adaptors for component-based systems: an automatic approach
- Test input generation for red-black trees using abstraction
- Testing in resource constrained execution environments
- The PLUSS toolkit - extending telelogic DOORS and IBM-rational rose to support product line use case modeling
- The power of software
- Timna: a framework for automatically combining aspect mining analyses
- UMLDiff: an algorithm for object-oriented design differencing
- Using communicative acts in high-level specifications of user interfaces for their automated synthesis
- Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning
- Virtual humans: lessons learned in integrating a large-scale AI project
- Visualization-based analysis of quality for large-scale software systems
- yagg: an easy-to-use generator for structured test inputs