ICSE 2010
65 papers
- A HOT --- Human, Organizational and Technological --- framework for a software engineering course
- A cut-off approach for bounded verification of parameterized systems
- A degree-of-knowledge model to capture source code familiarity
- A discriminative model approach for accurate duplicate bug report retrieval
- A large-scale empirical study of practitioners' use of object-oriented concepts
- A machine learning approach for tracing regulatory codes to product specific requirements
- A search engine for finding highly relevant applications
- AURA: a hybrid approach to identify framework evolution
- Adaptive bug isolation
- Advanced hands-on training for distributed and outsourced software engineering
- An analysis of the variability in forty preprocessor-based software product lines
- An empirical analysis of team review approaches for teaching quality software development
- An empirical study of optimizations in YOGI
- An empirical study of reported bugs in server software with implications for automated bug diagnosis
- An empirical study of the effects of conscientiousness in pair programming using the five-factor personality model
- An exploratory study of fault-proneness in evolving aspect-oriented programs
- An exploratory study of the evolution of software licensing
- Archface: a contract place where architectural design and code meet together
- Awareness 2.0: staying aware of projects, developers and tasks using dashboards and feeds
- Beyond hacking: an SOS!
- Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows
- Code bubbles: rethinking the user interface paradigm of integrated development environments
- Codebook: discovering and exploiting relationships in software repositories
- Collaborative reliability prediction of service-oriented systems
- Customized awareness: recommending relevant external change events
- DETERMIN: inferring likely deterministic specifications of multithreaded programs
- Detecting atomic-set serializability violations in multithreaded programs through active randomized testing
- Developers ask reachability questions
- Developing next generation ADLs through MDE techniques
- Effective interprocedural resource leak detection
- Efficient hybrid typestate analysis by determining continuation-equivalent states
- Engineering parallel applications with tunable architectures
- Falcon: fault localization in concurrent programs
- From behaviour preservation to behaviour modification: constraint-based mutant generation
- Has the bug really been fixed?
- Identifying crosscutting concerns using historical code changes
- Is operator-based mutant selection superior to random mutant selection?
- LEAKPOINT: pinpointing the causes of memory leaks
- Liability in software engineering: overview of the LISE approach and illustration on a case study
- Linking e-mails and source code artifacts
- Measuring complexity, effectiveness and efficiency in software course projects
- Mining API mapping for language migration
- Model checking lots of systems: efficient verification of temporal properties in software product lines
- Moving into a new software project landscape
- Online inference and enforcement of temporal properties
- Oracle-guided component-based program synthesis
- Organizing self-organizing teams
- Panel on master's degree programs in software engineering
- Planning for climate change in the 21st century
- Practical fault localization for dynamic web applications
- Precise calling context encoding
- Quality of service profiling
- Recurring bug fixes in object-oriented programs
- Software traceability with topic modeling
- South Africa and the world beyond 2010: the latest scenarios
- StakeNet: using social networks to analyse the stakeholders of large-scale software projects
- Summarizing software artifacts: a case study of bug reports
- Supporting developers with natural language queries
- Test generation through programming in UDITA
- The educational value of mapping studies of software engineering literature
- Towards contextualised software engineering education: an African perspective
- Using information fragments to answer the questions developers ask
- Using symbolic evaluation to understand behavior in configurable software systems
- Using twinning to adapt programs to alternative APIs
- Views: object-inspired concurrency control