FSE 2007
88 papers
- 2nd international workshop on service oriented software engineering (IW-SOSWE 2007)
- A behavioural model for product families
- A case study in assessing and improving capacity using an anatomy of good practice
- A framework for characterization and analysis of software system scalability
- A model-driven approach to generating user interfaces
- A profile-driven statistical analysis framework for the design optimization of soft real-time applications
- A segment-based approach for reconcilable model transformation
- A socio-technical framework for supporting programmers
- A specification-based approach to testing software product lines
- A study of interleaving coverage criteria
- A survey of web engineering practice in small Jordanian web development firms
- An analysis of developers' tasks using low-level, automatically collected data
- An empirical study on the evolution of design patterns
- An end-to-end industrial software traceability tool
- An iterative, multi-level, and scalable approach to comparing execution traces
- Analysis of a deployed software
- Automated size analysis for OCL
- Automated testing of refactoring engines
- Automatic consistency assessment for query results in dynamic environments
- Beyond refactoring: a framework for modular maintenance of crosscutting design idioms
- Bi-objective release planning for evolving software systems
- Building a research university ecosystem: the case of software engineering education at Sofia University
- CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems
- Component airbag: a novel approach to develop dependable component-based applications
- Composition and tradeoff of non-functional attributes in software systems: research directions
- Context-based detection of clone-related bugs
- Contract driven development = test driven development - writing test cases
- Detecting large number of infeasible paths through recognizing their patterns
- Detecting object usage anomalies
- Detection and resolution of atomicity violation in service composition
- Determining detailed structural correspondence for generalization tasks
- Difference computation of large models
- Differential testing: a new approach to change detection
- Directed test generation using symbolic grammars
- Does a programmer's activity indicate knowledge of code?
- Domain specific approaches to software test automation
- EFTS 2007: the 2nd international workshop on engineering fault tolerant systems
- Efficient checkpointing of java software using context-sensitive capture and replay
- Efficient token based clone detection with flexible tokenization
- Engineering software services for pervasive environments
- Exploring motivational differences between software developers and project managers
- Finding bugs efficiently with a SAT solver
- Foreword to state-of-the-art presentations
- Foreword to the doctoral symposium
- Free/open source software development
- From representations to computations: the evolution of web architectures
- Globally distributed software development project performance: an empirical analysis
- IWPSE 2007: 9th international workshop on principles of software evolution
- Improving test case generation for web applications using automated interface discovery
- Measuring empirical computational complexity
- Mining API patterns as partial orders from source code: from usage scenarios to specifications
- Mining specifications of malicious behavior
- Model checking service compositions under resource constraints
- Model transformation in the large
- Model-driven test-case construction
- Object and reference immutability using java generics
- On impact-oriented automatic resolution of pervasive context inconsistency
- On marrying ontological and metamodeling technical spaces
- Parallel test generation and execution with Korat
- Pervasive computers and the GRID: the birth of a computational exoskeleton for augmented reality
- Practicum in software project management: an endeavor to effective and pragmatic software project management education
- Predictive testing: amplifying the effectiveness of software testing
- Product integration improvement based on analysis of build statistics
- Program comprehension as fact finding
- Programming asynchronous layers with CLARITY
- Quantifying the effectiveness of testing via efficient residual path profiling
- Quantitative verification: models techniques and tools
- RELAY: static race detection on millions of lines of code
- Recommending random walks
- Reconciling software configuration management and product data management
- Recovering and using use-case-diagram-to-source-code traceability links
- SLEDE: lightweight verification of sensor network security protocol implementations
- SOQUA 2007: 4th international workshop on software quality assurance
- Software engineering research: from cradle to grave
- Specification and verification of component-based systems 2007
- State coverage: a structural test adequacy criterion for behavior checking
- State space exploration using feedback constraint generation and Monte-Carlo sampling
- Syanco 2007: international workshop on synthesis and analysis of component connectors
- Symbolic message sequence charts
- The impact of input domain reduction on search-based test data generation
- The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties
- The work of Dean Rosenzweig: a tribute to a scientist and an innovator
- Towards incremental adaptive covering arrays
- Training on errors experiment to detect fault-prone software modules by spam filter
- Using groupings of static analysis alerts to identify files likely to contain field failures
- Visualising exemplary program values
- Welcome to the WISE track
- Which warnings should I fix first?