FSE 2010
55 papers
- A learning-based approach for engineering feature-oriented self-adaptive software systems
- A study of applying a research prototype tool in industrial practice
- A study of the uniqueness of source code
- A trace simplification technique for effective debugging of concurrent programs
- An effective dynamic analysis for detecting generalized deadlocks
- An enhanced test case selection approach for model-based testing: an industrial case study
- Analyzing hierarchical complex real-time systems
- Automatic workarounds for web applications
- Avoiding the classic catastrophic computer science failure mode: 2010 acm sigsoft outstanding research award talk
- BERT: a tool for behavioral regression testing
- Basset: a tool for systematic testing of actor programs
- Big data, global development, and complex social systems
- Building and using pluggable type systems
- Change-point detection for black-box services
- Combining hardware and software instrumentation to classify program executions
- Creating and evolving developer documentation: understanding the decisions of open source contributors
- DSketch: lightweight, adaptable dependency analysis
- Developer fluency: achieving true mastery in software projects
- Directed test suite augmentation: techniques and tradeoffs
- Evolution of a bluetooth test application product line: a case study
- FUSION: a framework for engineering self-tuning self-adaptive software systems
- Field-sensitive program dependence analysis
- Finding latent performance bugs in systems implementations
- From requirements to partial behavior models: an iterative approach to incremental specification refinement
- Generating integration test cases automatically
- Golden implementation driven software debugging
- Guided recovery for web service applications
- HI-C: diagnosing object churn in framework-based applications
- Instant code clone search
- LEAP: lightweight deterministic multi-processor replay of concurrent java programs
- LEAP: lightweight deterministic multi-processor replay of concurrent java programs
- LINKSTER: enabling efficient manual inspection and annotation of mined data
- Language-based replay via data flow cut
- Leveraging usage similarity for effective retrieval of examples in code repositories
- Locating need-to-translate constant strings in web applications
- Memory indexing: canonicalizing addresses across executions
- Organizational volatility and its effects on software defects
- PENELOPE: weaving threads to expose atomicity violations
- Path-based fault correlations
- Phantm: PHP analyzer for type mismatch
- Practical and effective symbolic analysis for buffer overflow detection
- RT-simex: retro-analysis of execution traces
- Realizability analysis for message-based interactions using shared-state projections
- Ref-Finder: a refactoring reconstruction tool based on logic query templates
- Representation dependence testing using program inversion
- Scalable SMT-based verification of GPU kernel functions
- Staged concurrent program analysis
- Supercomputing in biology: towards understanding living systems in atomic detail
- Synthesis of live behaviour models
- The missing links: bugs and bug-fix commits
- Towards behavior elaboration and synthesis using modes
- Updating requirements from tests during maintenance and evolution
- Using dynamic analysis to create trace-focused user interfaces for IDEs
- WhoselsThat: finding software engineers with codebook
- iMuse: interactive model-based use-case and storytelling environment