ICSE 2017
68 papers
- A SEALANT for inter-app security holes in android
- A general framework for dynamic stub injection
- A guided genetic algorithm for automated crash reproduction
- A test-suite diagnosability metric for spectrum-based fault localization approaches
- Adaptive coverage and operational profile-based testing for reliability improvement
- Adaptive unpacking of Android apps
- An efficient, robust, and scalable approach for analyzing interacting android apps
- An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption
- An unsupervised approach for discovering relevant tutorial fragments for APIs
- Analysis and testing of notifications in Android wear applications
- Analyzing APIs documentation and code to detect directive defects
- Automated refactoring of legacy Java software to default methods
- Automated transplantation and differential testing for clones
- Automatic text input generation for mobile testing
- Balancing soundness and efficiency for practical testing of configurable systems
- Becoming agile: a grounded theory of agile transitions in practice
- Can latent topics in source code predict missing architectural tactics?
- Challenges for static analysis of Java reflection: literature review and empirical study
- Characterizing and detecting anti-patterns in the logging code
- Classifying developers into core and peripheral: an empirical study on count and network metrics
- Clone refactoring with lambda expressions
- Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game
- Decoding the representation of code in the brain: an fMRI study of code review and expertise
- Detecting user story information in developer-client conversations to generate extractive summaries
- Do developers read compiler error messages?
- Efficient detection of thread safety violations via coverage-guided generation of concurrent tests
- Evaluating and improving fault localization
- Exploring API embedding for API usages and applications
- Feedback-based debugging
- From diversity by numbers to diversity as process: supporting inclusiveness in software development teams with brainstorming
- Fuzzy fine-grained code-history analysis
- Glacier: transitive class immutability for Java
- Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions
- How do developers fix cross-project correlated bugs?: a case study on the GitHub scientific python ecosystem
- How good is a security policy against real breaches?: a HIPAA case study
- Learning syntactic program transformations from examples
- Learning to prioritize test programs for compiler testing
- LibD: scalable and precise third-party library detection in android markets
- Machine learning-based detection of open source license exceptions
- Machine-learning-guided selectively unsound static analysis
- Making malory behave maliciously: targeted fuzzing of android execution environments
- On cross-stack configuration errors
- Optimizing test placement for module-level regression testing
- PEoPL: projectional editing of product lines
- Performance diagnosis for inefficient loops
- Precise condition synthesis for program repair
- ProEva: runtime proactive performance evaluation based on continuous-time markov chains
- RADAR: a lightweight tool for requirements and architecture decision analysis
- RClassify: classifying race conditions in web applications via deterministic replay
- Recommending and localizing change requests for mobile apps based on user reviews
- Repairing event race errors by controlling nondeterminism
- SPAIN: security patch analysis for binaries towards understanding the pain and pills
- Search-driven string constraint solving for vulnerability detection
- Semantically enhanced software traceability using deep learning techniques
- Software development waste
- Statically checking web API requests in JavaScript
- Stochastic optimization of program obfuscation
- Supporting software developers with a holistic recommender system
- Symbolic model extraction for web application verification
- Syntactic and semantic differencing for combinatorial models of test designs
- The evolution of continuous experimentation in software product development: from data to a data-driven organization at scale
- To type or not to type: quantifying detectable bugs in JavaScript
- Travioli: a dynamic analysis for detecting data-structure traversals
- UML diagram refinement (focusing on class- and use case diagrams)
- Understanding the impressions, motivations, and barriers of one time code contributors to FLOSS projects: a survey
- Unsupervised software-specific morphological forms inference from informal discussions
- What causes my test alarm?: automatic cause analysis for test alarms in system and integration testing
- ZenIDS: introspective intrusion detection for PHP applications