FSE 2016
143 papers
- "Womenomics" and gender-inclusive software: what software engineers need to know (invited talk)
- A cross-tool communication study on program analysis tool notifications
- A deployable sampling strategy for data race detection
- A discrete-time feedback controller for containerized cloud applications
- A large-scale empirical comparison of static and dynamic test case prioritization techniques
- A portable interface for runtime energy monitoring
- API code recommendation using statistical learning from fine-grained changes
- API deprecation: a retrospective analysis and detection method for code examples on the web
- ARdoc: app reviews development oriented classifier
- An extensive study of static regression test selection in modern software evolution
- Analyzing the validity of selective mutation with dominator mutants
- Anti-patterns in search-based program repair
- Atlas: an intelligent, performant framework for web-based grid computing
- Automated change impact analysis between SysML models of requirements and design
- Automated test input generation for Android: are we really there yet in an industrial case?
- Automatic performance testing using input-sensitive profiling
- Automatic trigger generation for end user written rules for home automation
- Automating repetitive code changes using examples
- BigDebug: interactive debugger for big data analytics in Apache Spark
- BinGo: cross-architecture cross-OS binary search
- Bing developer assistant: improving developer productivity by recommending sample code
- Bounded model checking of state-space digital systems: the impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space modeling
- Budgeted testing through an algorithmic lens
- Build system with lazy retrieval for Java projects
- Building a socio-technical theory of coordination: why and how (outstanding research award)
- CacheOptimizer: helping developers configure caching frameworks for hibernate-based database-centric web applications
- Call graph construction for Java libraries
- Can testedness be effectively measured?
- Causal impact analysis for app releases in google play
- Cluster-based test suite functional analysis
- Code relatives: detecting similarly behaving software
- Combinatorial generation of structurally complex test inputs for commercial software applications
- Combining bug detection and test case generation
- Constraint-based event trace reduction
- Continuous deployment of mobile software at facebook (showcase)
- Correct or usable? the limits of traditional verification (impact paper award)
- Correctness witnesses: exchanging verification results between verifiers
- Cozy: synthesizing collection data structures
- Crash consistency validation made easy
- Data structure synthesis
- Deep API learning
- DeepSoft: a vision for a deep model of software
- Designing for dystopia: software engineering research for the post-apocalypse
- Designing minimal effective normative systems with the help of lightweight formal methods
- Detecting and fixing precision-specific operations for measuring floating-point errors
- Detecting sensitive data disclosure via bi-directional text correlation analysis
- Detecting table clones and smells in spreadsheets
- Developer workflow at google (showcase)
- Developing a reusable control-based approach to build self-adaptive software systems with formal guarantees
- DiagDroid: Android performance diagnosis via anatomizing asynchronous executions
- Directed test generation to detect loop inefficiencies
- Discovering additional violations of Java API invariants
- Discovering bug patterns in JavaScript
- Disrupting developer productivity one bot at a time
- ECHO: instantaneous in situ race detection in the IDE
- Effective assignment and assistance to software developers and reviewers
- Effectiveness of code contribution: from patch-based to pull-request-based tools
- Efficiency of projectional editing: a controlled experiment
- Efficient generation of inductive validity cores for safety properties
- Effort-aware just-in-time defect prediction: simple unsupervised models could be better than supervised models
- End-to-end memory behavior profiling with DINAMITE
- Enforcing correct array indexes with a type system
- Evaluation of fault localization techniques
- Extracting instruction semantics via symbolic execution of code generators
- FSX: a tool for fine-grained incremental unit test generation for C/C++ programs
- Factors influencing code review processes in industry
- Field-exhaustive testing
- Finding and breaking test dependencies to speed up test execution
- Fine-grained binary code authorship identification
- Flow-sensitive composition of thread-modular abstract interpretation
- Foraging and navigations, fundamentally: developers' predictions of value and cost
- Generating interactive web pages from storyboards
- Gray links in the use of requirements traceability
- Guided code synthesis using deep neural networks
- Hotspot symbolic execution of floating-point programs
- How should static analysis tools explain anomalies to developers?
- How to break an API: cost negotiation and community values in three software ecosystems
- Hunter: next-generation code reuse for Java
- Identifying participants for collaborative merge
- Input-sensitive performance testing
- Interactive and guided architectural refactoring with search-based recommendation
- Isomorphic regression testing: executing uncovered branches without test augmentation
- JBSE: a symbolic executor for Java programs with complex heap inputs
- Keep it SIMPLEX: satisfying multiple goals with guarantees in control-based self-adaptive systems
- Learning for test prioritization: an industrial case study
- Lightweight specification and analysis of dynamic systems with rich configurations
- Making invisible things visible: tracking down known vulnerabilities at 3000 companies (showcase)
- Minimizing GUI event traces
- Mining performance specifications
- Model, execute, and deploy: answering the hard questions in end-user programming (showcase)
- Multi-representational security analysis
- NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications
- On the utility of dominator mutants for mutation testing
- On well-separation of GR(1) specifications
- On-demand strong update analysis via value-flow refinement
- On-the-fly decomposition of specifications in software model checking
- Online shared memory dependence reduction via bisectional coordination
- POLLUX: safely upgrading dependent application libraries
- PUMConf: a tool to configure product specific use case and domain models in a product line
- Paradise unplugged: identifying barriers for female participation on stack overflow
- Parallel data race detection for task parallel programs with locks
- Parameter-free probabilistic API mining across GitHub
- PerfGuard: binary-centric application performance monitoring in production environments
- Preventing signedness errors in numerical computations in Java
- Proteus: computing disjunctive loop summary via path dependency analysis
- Python predictive analysis for bug detection
- Python probabilistic type inference with natural language support
- RABIEF: range analysis based integer error fixing
- Reaching the masses: a new subdiscipline of app programmer education
- Reasoning with imprecise privacy preferences
- Refactoring and migration of cascading style sheets: towards optimization and improved maintainability
- Regression testing of web applications using Record/Replay tools
- Relationship-aware code search for JavaScript frameworks
- Repairing test dependence
- Revamping JavaScript static analysis via localization and remediation of root causes of imprecision
- SMT-based verification of parameterized systems
- Semi-supervised verified feedback generation
- SmartDebug: an interactive debug assistant for Java
- Social health cues developers use when choosing open source packages
- Static DOM event dependency analysis for testing web applications
- Static loop analysis and its applications
- String analysis for side channels with segmented oracles
- Studying developer gaze to empower software engineering research and practice
- Supporting change in product lines within the context of use case-driven development and testing
- Sustainable software design
- T2API: synthesizing API code usage templates from English texts with statistical translation
- TIPMerge: recommending developers for merging branches
- TIPMerge: recommending experts for integrating changes across branches
- Time-travel debugging for JavaScript/Node.js
- Titanium: efficient analysis of evolving alloy specifications
- Training the future workforce through task curation in an OSS ecosystem
- Understanding and detecting wake lock misuses for Android applications
- Understanding and generating high quality patches for concurrency bugs
- Understanding and improving continuous integration
- Understanding behavioural patterns in JavaScript
- Validate your SPDX files for open source license violations
- Visualizing code and coverage changes for code review
- WATERFALL: an incremental approach for repairing record-replay tests of web applications
- WebRanz: web page randomization for better advertisement delivery and web-bot prevention
- What would users change in my app? summarizing app reviews for recommending software changes
- When should internal interfaces be promoted to public?
- Why we refactor? confessions of GitHub contributors
- iGen: dynamic interaction inference for configurable software