FSE 2014
105 papers
- A foundation for refactoring C with macros
- A large scale study of programming languages and code quality in github
- A path-sensitively sliced control flow graph
- A tool suite for the model-driven software engineering of cyber-physical systems
- A variability perspective of mutation analysis
- AI: a lightweight system for tolerating concurrency bugs
- Aalta: an LTL satisfiability checker over Infinite/Finite traces
- Achieving lightweight trustworthy traceability
- An empirical analysis of flaky tests
- An empirical study on program comprehension with reactive programming
- Apposcopy: semantics-based detection of Android malware through static analysis
- Archie: a tool for detecting, monitoring, and preserving architecturally significant code
- Architecture challenges for internal software ecosystems: a large-scale industry case study
- Are mutants a valid substitute for real faults in software testing?
- Are you getting traction? tales from the tech transfer trenches (invited talk)
- Automatic generation of release notes
- Automatic mining of specifications from invocation traces and method invariants
- Automatically generated patches as debugging aids: a human study
- Autonomous compliance monitoring of non-functional properties
- Balancing trade-offs in test-suite reduction
- Beyond the rainbow: self-adaptive failure avoidance in configurable systems
- BugLocalizer: integrated tool support for bug localization
- Building call graphs for embedded client-side code in dynamic web applications
- BumbleBee: a refactoring environment for spreadsheet formulas
- CHOReOSynt: enforcing choreography realizability in the future internet
- ConceptCloud: a tagcloud browser for software archives
- Counterexample guided abstraction refinement of product-line behavioural models
- Critics: an interactive code review tool for searching and inspecting systematic changes
- Data hard with a vengeance (invited talk)
- Dealing with uncertainty in verification of nondeterministic systems
- Detecting and preventing the architectural roots of bugs
- Detecting energy bugs and hotspots in mobile apps
- Detecting, isolating, and enforcing dependencies among and within test cases
- Developers' code context models for change tasks
- Diagnose crashing faults on production software
- Discovering refactoring opportunities in cascading style sheets
- Efficient runtime-enforcement techniques for policy weaving
- Enablers, inhibitors, and perceptions of testing in novice software teams
- Estimating the effectiveness of spectrum-based fault localization
- EvoDroid: segmented evolutionary testing of Android apps
- Experiences developing tools for developers (invited talk)
- Feedback generation for performance problems in introductory programming assignments
- FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases
- Focus-shifting patterns of OSS developers and their congruence with call graphs
- From software engineering to software systems (invited talk)
- Grail: context-aware fixing of concurrency bugs
- How should we measure functional sameness from program source code? an exploratory study on Java methods
- How we get there: a context-guided search strategy in concolic testing
- Identifying the characteristics of vulnerable code changes: an empirical study
- Improving oracle quality by detecting brittle assertions and unused inputs in tests
- Improving the software testing skills of novices during onboarding through social transparency
- Integrating approaches for feature implementation
- JSAI: a static analysis platform for JavaScript
- Known unknowns: testing in the presence of uncertainty
- Learning natural coding conventions
- Learning to rank relevant files for bug reports using domain knowledge
- Let's talk about it: evaluating contributions through discussion in GitHub
- Linking sketches and diagrams to source code artifacts
- Managing lots of models: the FaMine approach
- Methodology and culture: drivers of mediocrity in software engineering?
- Minimizing software conflicts through proactive detection of conflicts and task scheduling
- Mining idioms from source code
- Mining micro-practices from operational data
- Mining preconditions of APIs in large-scale code corpus
- No issue left behind: reducing information overload in issue tracking
- Numerical program analysis and testing
- ORBS: language-independent program slicing
- Omen+: a precise dynamic deadlock detector for multithreaded Java libraries
- Omlet: a revolution against big-brother social networks (invited talk)
- On the efficiency of automated testing
- On the localness of software
- Panning requirement nuggets in stream of software maintenance tickets
- Powering the static driver verifier using corral
- Prioritizing the devices to test your app on: a case study of Android game apps
- Querying sequential software engineering data
- RaPiD: a toolkit for reliability analysis of non-deterministic systems
- RefDistiller: a refactoring aware code review tool for inspecting manual refactoring edits
- Retrofitting concurrency for Android applications through refactoring
- SAFEWAPI: web API misuse detector for web applications
- Search-based synthesis of equivalent method sequences
- Selection and presentation practices for code example summarization
- Semantics-based obfuscation-resilient binary code similarity comparison with applications to software plagiarism detection
- Sherlock: scalable deadlock detection for concurrent programs
- Sketches and diagrams in practice
- Social network analysis in open source software peer review
- Software developers' perceptions of productivity
- Software maintenance like maintenance in other engineering disciplines
- Software programmer management: a machine learning and human computer interaction framework for optimal task assignment
- Solving complex path conditions through heuristic search on induced polytopes
- Speculative reprogramming
- Static analysis driven performance and energy testing
- Statistical symbolic execution with informed sampling
- SymJS: automatic symbolic testing of JavaScript web applications
- Techniques for improving regression testing in continuous integration development environments
- Ten years with evidence-based software engineering. What is it? Has it had any impact? What's next?
- Test case purification for improving fault localization
- The plastic surgery hypothesis
- Titan: a toolset that connects software architecture with quality analysis
- Towards a theory of architectural styles
- Traceability and model checking to support safety requirement verification
- Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems
- Variable-specific resolutions for feature interactions
- Vector abstraction and concretization for scalable detection of refactorings
- Verifying CTL-live properties of infinite state models using an SMT solver
- XMLMate: evolutionary XML test generation