FSE 2005
49 papers
- A case study on value-based requirements tracing
- A refinement calculus for software components and architectures
- ASTEC: a new approach to refactoring C
- An empirical study of code clone genealogies
- Anchoring and adjustment in software estimation
- Applying classification techniques to remotely-collected program execution data
- Arithmetic program paths
- Automatic generation of suggestions for program investigation
- CHARMY: an extensible tool for architectural analysis
- CUTE: a concolic unit testing engine for C
- Combining self-reported and automatic data to improve programming effort measurement
- Context- and path-sensitive memory leak detection
- Detecting and resolving semantic pathologies in UML sequence diagrams
- Detecting higher-level similarity patterns in programs
- DynaMine: finding common error patterns by mining software revision histories
- Dynamically discovering architectures with DiscoTect
- Engineering distributed software: a structural discipline
- Facilitating software evolution research with kenyon
- Fluent temporal logic for discrete-time event-based models
- HATARI: raising risk awareness
- Inconsistency detection and resolution for context-aware middleware support
- Industrial experience with building a web portal product line using a lightweight, reactive approach
- Information hiding interfaces for aspect-oriented design
- Innovations in pervasive computing
- Joining dataflow with predicates
- KenyaEclipse: learning to program in eclipse
- Lightweight object specification with typestates
- Matching execution histories of program versions
- Moose: an agile reengineering environment
- Online testing with model programs
- PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code
- Parameterized unit tests
- Parameterized unit tests with unit meister
- Performance data collection using a hybrid approach
- Permissive interfaces
- Quantitative assessment of UML dynamic models
- Reasoning about confidentiality at requirements engineering time
- Reengineering towards components using "Reconn-exion"
- Relational analysis of algebraic datatypes
- Reuse and variability in large software applications
- SOBER: statistical model-based bug localization
- Strathcona example recommendation tool
- Summarizing application performance from a components perspective
- Surveying the factors that influence maintainability: research design
- The story of moose: an agile reengineering environment
- Towards a unified formal model for supporting mechanisms of dynamic component update
- UPEX: user participation by example
- Utilizing verification and validation certificates to estimate software defect density
- Visual tool for generative programming