FSE 2003
45 papers
- A family of test adequacy criteria for database-driven applications
- A fault-tolerant software architecture for COTS-based software systems
- A simulation-based approach to software performance modeling
- A strategy for efficiently verifying requirements
- ARCHER: using symbolic, path-sensitive analysis to detect memory access errors
- Adapting side effects analysis for modular program model checking
- Assessing software projects: tools for business owners
- Behaviour model elaboration using partial labelled transition systems
- Bogor: an extensible and highly-modular software model checking framework
- Composing architectural styles from architectural primitives
- Computer modelling and natural phenomena
- Consistency techniques for interprocedural test data generation
- Context-sensitive slicing of concurrent programs
- Deadline analysis of interrupt-driven software
- Designing and implementing a family of intrusion detection systems
- Differences between versions of UML diagrams
- EFFICIENT: a tool set for supporting the modelling and validation of ebXML
- Eliminating redundancies with a "composition with adaptation" meta-programming technique
- Eos: instance-level aspects for integrated system design
- Evaluating and improving the automatic analysis of implicit invocation systems
- Factors of software process improvement success in small and large organizations: an empirical study in the scandinavian context
- Fluent model checking for event-based systems
- Formulation and preliminary test of an empirical theory of coordination in software engineering
- Gravity: supporting dynamically available services in client-side applications
- Leveraging field data for impact analysis and regression testing
- Making sense of runtime architecture for mobile phone software
- Modeling and validation of service-oriented architectures: application vs. style
- Monitoring the software test process using statistical process control: a logarithmic approach
- On the economic evaluation of XP projects
- Ontology support for web service processes
- Policy-enforced linking of untrusted components
- Predicting problems caused by component upgrades
- Protecting C programs from attacks via invalid pointer dereferences
- Refinements and multi-dimensional separation of concerns
- Regression testing of GUIs
- Reverse engineering framework reuse interfaces
- Runtime safety analysis of multithreaded programs
- Towards an engineering tool for implementing reusable distributed control systems
- Towards scalable compositional analysis by refactoring design models
- Towards the compositional verification of real-time UML designs
- Tracking pointers with path and context sensitivity for bug detection in C programs
- Understanding process and the quest for deeper questions in software engineering research
- Use case-based testing of product lines
- Validating UML models against architectural profiles
- Verified systems by composition from verified components