ICSE 2008
103 papers
- 3-step knowledge transition: a case study on architecture evaluation
- A business process explorer: recovering and visualizing e-commerce business processes
- A case study evaluation of maintainability and performance of persistency techniques
- A comparative analysis of the efficiency of change metrics and static code attributes for defect prediction
- A language for advanced protocol analysis in automotive networks
- A study of student strategies for the corrective maintenance of concurrent software
- A tale of four kernels
- A teamwork-based approach to programming fundamentals with scheme, smalltalk & java
- A verification system for timed interval calculus
- ARTOO: adaptive random testing for object-oriented software
- Adams re-trace: traceability link recovery via latent semantic indexing
- Ahaa --agile, hybrid assessment method for automotive, safety critical smes
- An approach to detecting duplicate bug reports using natural language and execution information
- An empirical study of software developers' management of dependencies and changes
- An empirical study of the effects of test-suite reduction on fault localization
- Analyzing medical processes
- Analyzing model evolution
- Answering conceptual queries with Ferret
- Applying model-based testing to healthcare products: preliminary experiences
- Are fit tables really talking?: a series of experiments to understand whether fit tables are useful during evolution tasks
- Asam odx: syntax as semantics
- Automatic generation of software behavioral models
- Automatic modularity conformance checking
- Best practices in extreme programming course design
- Breaking the barriers to successful refactoring: observations and tools for extract method
- Calysto: scalable and precise extended static checking
- Change management: from knowledge about innovative SE to capabilities for industrial SE projects
- Clone detection in automotive model-based development
- Clonetracker: tool support for code clone management
- Data flow testing of service-oriented workflow applications
- Debugging reinvented: asking and answering why and why not questions about program behavior
- Defining and continuous checking of structural program dependencies
- Deryaft: a tool for generating representation invariants of structurally complex data
- Design and implementation of the software architecture for a 3-D reconstruction system in medical imaging
- Design patterns: between programming and software design
- Detecting model inconsistency through operation-based model construction
- Developing a security protocol for a distributed decision support system in a healthcare environment
- Developing an architecture of a knowledge-based electronic patient record
- DySy: dynamic symbolic execution for invariant inference
- Dynamic detection of atomic-set-serializability violations
- Dynamic round-trip GUI maintenance
- Early prediction of software component reliability
- Evolving software product lines with aspects: an empirical study on design stability
- Executable misuse cases for modeling security concerns
- Existential live sequence charts revisited
- Experience applying the SPIN model checker to an industrial telecommunications system
- Experiences with Mirth: an open source health care integration engine
- Formal verification of an automotive scenario in service-oriented computing
- Four enhancements to automateddistributed system experimentation methods
- From programming to modeling: our experience with a distributed software engineering course
- Genie: supporting the model driven development of reflective, component-based adaptive systems
- Global consistency checking of distributed models with TReMer+
- Granularity in software product lines
- Impact analysis of database schema changes
- Improving the handsets network test process via DMAIC concepts
- Incremental state-space exploration for programs with dynamically allocated data
- Interval quality: relating customer-perceived quality to process quality
- Juzi: a tool for repairing complex data structures
- Marama: an eclipse meta-toolset for generating multi-view environments
- Metamodel-based tool integration with moflon
- Mining framework usage changes from instantiation code
- Mining library specifications using inductive logic programming
- Model-based security analysis for mobile communications
- Models for model's sake: why explicit system models are also an end to themselves
- Mulit-level system integration based on AUTOSAR
- On the difficulty of replicating human subjects studies in software engineering
- Open source software peer review practices: a case study of the apache server
- Power through brokering: open source community participation in software engineering student projects
- Precise memory leak detection for java software using container profiling
- Predicting accurate and actionable static analysis warnings: an experimental approach
- Predicting defects using network analysis on dependency graphs
- Rational quality requirements for medical software
- ReBA: refactoring-aware binary adaptation of evolving libraries
- Recommending adaptive changes for framework evolution
- Rubacon: automated support for model-based compliance engineering
- SEURAT: integrated rationale management
- Scalable detection of semantic clones
- Specification patterns for probabilistic quality properties
- SpyWare: a change-aware development toolset
- State extensions for java pathfinder
- Static detection of cross-site scripting vulnerabilities
- Sufficient mutation operators for measuring test effectiveness
- Supporting requirements engineering for medical products: early consideration of user-perceived quality
- Symbolic mining of temporal specifications
- Systematically refactoring inheritance to delegation in java
- TODO or to bug: exploring how task annotations play a role in the work practices of software developers
- Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems
- Testing pervasive software in the presence of context inconsistency resolution services
- The effect of program and model structure on mc/dc test adequacy coverage
- The effect of the number of inspectors on the defect estimates produced by capture-recapture models
- The influence of organizational structure on software quality: an empirical case study
- Time will tell: fault localization using time spectra
- Time-bounded adaptation for automotive system software
- Tool support for data validation by end-user programmers
- Tool support for the navigation in graphical models
- Topes: reusable abstractions for validating data
- Towards reusable components with aspects: an empirical study on modularity and obliviousness
- Tracking source locations
- Using JULE to generate a compliance test suite for the UML standard
- Using components for architecture-based management: the self-repair case
- Using the inverted classroom to teach software engineering
- WS-AMUSE - web service architecture for multimedia services
- jPredictor: a predictive runtime analysis tool for java