Accepted Papers
Here are the accepted Research Track papers for FSE-20:
| Sangmin Park, Ishtiaque Hussain, Christoph Csallner, Kunal Taneja, B.M. Mainul Hossain, Mark Grechanik, Chen Fu and Qing Xie | CarFast: Achieving Higher Statement Coverage Faster |
| Christian Bird and Thomas Zimmermann | Assessing the Value of Branches with What-if Analysis |
| Yida Tao, Yingnong Dang, Tao Xie, Dongmei Zhang and Sunghun Kim | How Do Software Engineers Understand Code Changes? An Exploratory Study in Industry |
| Xusheng Xiao, Amit Paradkar, Suresh Thummalapenta and Tao Xie | Automated Extraction of Security Policies from Natural-Language Software Documents |
| Joseph Near and Daniel Jackson | Rubicon: Bounded Verification of Web Applications |
| Taeho Kwon and Zhendong Su | Detecting and Analyzing Insecure Component Usage |
| Michael Emmi, Akash Lal and Shaz Qadeer | Asynchronous Programs with Prioritized Task-Buffers |
| Wing-Kwan Chan, Hong Cheng and David Lo | Searching Connected API Subgraph via Text Phrases |
| Gerardo Canfora, Massimiliano Di Penta, Rocco Oliveto and Sebastiano Panichella | Who is going to Mentor Newcomers in Open Source Projects? |
| Malay Ganai, Dongyoon Lee and Aarti Gupta | DTAM: Dynamic Taint Analysis of Multi-threaded Programs for Relevancy |
| Robert Walker, Shreya Rawal and Jonathan Sillito | Do Crosscutting Concerns Cause Modularity Problems? |
| Mehdi Mirakhorli, Patrick Maeder and Jane Cleland-Huang | Variability Points and Design Pattern Usage in Architectural Tactics |
| Emerson Murphy-Hill, Rahul Jiresal and Gail Murphy | Improving Software Developers' Fluency by Recommending Development Environment Commands |
| Emad Shihab, Ahmed E. Hassan, Bram Adams and Zhen Ming Jiang | An Industrial Study on the Risk of Software Changes |
| Damien Octeau, Somesh Jha and Patrick McDaniel | Retargeting Android Applications to Java Bytecode |
| Romain Robbes, Mircea Lungu and David Röthlisberger | How Do Developers React to API Deprecation? The Case of a Smalltalk Ecosystem |
| Mark Gabel and Zhendong Su | Testing Mined Specifications |
| Baishakhi Ray and Miryung Kim | A Case Study of Cross-System Porting in Forked Projects |
| Miryung Kim, Thomas Zimmermann and Nachiappan Nagappan | A Field Study of Refactoring Challenges and Benefits |
| Foyzur Rahman, Daryl Posnett and Premkumar Devanbu | Recalling the "Imprecision" of Cross-Project Defect Prediction |
| Azadeh Farzan, Madhusudan Parthasarathy, Niloofar Razavi and Francesco Sorrentino | Predicting Null-Pointer Dereferences in Concurrent Programs |
| Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu and Philipp Wendler | Conditional Model Checking: A Technique to Pass Information between Verifiers |
| Anh Nguyen, Tung Nguyen, Hoan Nguyen and Tien Nguyen | Multi-layered Approach for Recovering Links between Bug Reports and Fixes |
| Xiaoyin Wang, Lu Zhang, Tao Xie, Yingfei Xiong and Hong Mei | Automating Presentation Changes in Dynamic Web Applications via Collaborative Hybrid Analysis |
| Razieh Nokhbeh Zaeem and Sarfraz Khurshid | Test Input Generation Using Dynamic Programming |
| Senthil Mani, Rose Catherine, Vibha Singhal Sinha and Avinava Dubey | AUSUM: Approach for Unsupervised bug report SUMmarization |
| Bradley Cossette and Robert Walker | Seeking the Ground Truth: A Retroactive Study on the Evolution and Migration of Software Libraries |
| Kyle Canavera, Naeem Esfahani and Sam Malek | Mining the Execution History of a Software System to Infer the Best Time for its Adaptation |
| Francisco Servant and James Jones | History Slicing: Assisting Code-Evolution Tasks |
| Semih Okur and Danny Dig | How do developers use parallel libraries? |
| Emina Torlak | Scalable Test Data Generation from Multidimensional Models |
| Saswat Anand, Mayur Naik, Hongseok Yang and Mary Jean Harrold | Automated Concolic Testing of Smartphone Apps |
| Leandro Sales Pinto, Saurabh Sinha and Alessandro Orso | Understanding Myths and Realities of Test-Suite Evolution |
| Willem Visser, Jaco Geldenhuys and Matt Dwyer | Green: Reducing, Reusing and Recycling Constraints in Program Analysis |
