default search action
38th ICSE 2016: Austin, TX, USA
- Laura K. Dillon, Willem Visser, Laurie A. Williams:
Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016. ACM 2016, ISBN 978-1-4503-3900-1
Android
- Xuan Lu
, Xuanzhe Liu, Huoran Li, Tao Xie, Qiaozhu Mei, Dan Hao
PRADA: prioritizing android devices for apps by mining large-scale usage data. 3-13 - Lorenzo Villarroel, Gabriele Bavota
Release planning of mobile apps based on user reviews. 14-24 - Rocky Slavin
Toward a framework for detecting privacy policy violations in android application code. 25-36 - Konrad Jamrozik, Philipp von Styp-Rekowsky, Andreas Zeller
Mining sandboxes. 37-48
Performance
- Bihuan Chen, Yang Liu
Generating performance distributions via probabilistic symbolic execution. 49-60 - Marija Selakovic, Michael Pradel:
Performance issues and optimizations in JavaScript: an empirical study. 61-72 - Guoxin Su
Reliability of Run-Time Quality-of-Service evaluation using parametric model checking. 73-84 - Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu
Optimizing selection of competing services with probabilistic hierarchical refinement. 85-95
Empirical
- Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel:
The emerging role of data scientists on software development teams. 96-107 - Premkumar T. Devanbu
Belief & evidence in empirical software engineering. 108-119 - Klaas-Jan Stol
Grounded theory in software engineering research: a critical review and guidelines. 120-131
Symbolic execution
- Eric F. Rizzi, Sebastian G. Elbaum, Matthew B. Dwyer
On the techniques we create, the tools we build, and their misalignments: a study of KLEE. 132-143 - Maria Christakis, Peter Müller, Valentin Wüstholz:
Guiding dynamic symbolic execution toward unverified program executions. 144-155 - Jinseong Jeon, Xiaokang Qiu
Synthesizing framework models for symbolic execution. 156-167 - Monika Dhok, Murali Krishna Ramanathan, Nishant Sinha:
Type-aware concolic testing of JavaScript programs. 168-179
Compilers and emerging trends
- Junjie Chen, Wenxiang Hu, Dan Hao
An empirical comparison of compiler testing techniques. 180-190 - David Menendez, Santosh Nagarakatte
Termination-checking for LLVM peephole optimizations. 191-202 - Chengnian Sun, Vu Le, Zhendong Su
Finding and analyzing compiler warning defects. 203-213 - Qingwei Lin, Jian-Guang Lou, Hongyu Zhang
iDice: problem identification for emerging issues. 214-224
Energy and videos
- Samir Hasan, Zachary King, Munawar Hafiz, Mohammed Sayagh, Bram Adams
Energy profiles of Java collections classes. 225-236 - Irene Manotas, Christian Bird, Rui Zhang, David C. Shepherd
An empirical study of practitioners' perspectives on green software engineering. 237-248 - Ding Li, Yingjun Lyu, Jiaping Gui, William G. J. Halfond:
Automated energy optimization of HTTP requests for mobile applications. 249-260 - Luca Ponzanelli
Too long; didn't watch!: extracting relevant fragments from software development video tutorials. 261-272
Open source
- Igor Steinmacher, Tayana Uchôa Conte
Overcoming open source project entry barriers with a portal for newcomers. 273-284 - Georgios Gousios
Work practices and challenges in pull-based development: the contributor's perspective. 285-296
Defect prediction
- Song Wang, Taiyue Liu, Lin Tan:
Automatically learning semantic features for defect prediction. 297-308 - Feng Zhang, Quan Zheng, Ying Zou, Ahmed E. Hassan:
Cross-project defect prediction using a connectivity-based unsupervised classifier. 309-320 - Chakkrit Tantithamthavorn
Automated parameter optimization of classification techniques for defect prediction models. 321-332 - Bin Liang, Pan Bian, Yan Zhang, Wenchang Shi, Wei You, Yan Cai:
AntMiner: mining more bugs by reducing noise interference. 333-344
Synthesis
- Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare
Program synthesis using natural language. 345-356 - Mukund Raghothaman
SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis. 357-367 - Adi Omari, Sharon Shoham
Cross-supervised synthesis of web-crawlers. 368-379 - Juan Zhai
Automatic model generation from documentation for Java API functions. 380-391
API
- Christoph Treude
Augmenting API documentation with insights from stack overflow. 392-403 - Xin Ye
From word embeddings to document similarities for improved information retrieval in software engineering. 404-415 - Tam The Nguyen, Hung Viet Pham, Phong Minh Vu, Tung Thanh Nguyen
Learning API usages from bytecode: a statistical approach. 416-427
Code smells
- Baishakhi Ray, Vincent J. Hellendoorn, Saheel Godhane, Zhaopeng Tu, Alberto Bacchelli, Premkumar T. Devanbu
On the "naturalness" of buggy code. 428-439 - Willian Nalepa Oizumi
Code anomalies flock together: exploring code anomaly agglomerations for locating design problems. 440-451 - Sebastian C. Müller, Thomas Fritz:
Using (bio)metrics to predict code quality online. 452-463 - Shing-Chi Cheung
CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features. 464-475
Architecture
- Martin P. Robillard, Nenad Medvidovic:
Disseminating architectural knowledge on open-source projects: a case study of the book "architecture of open-source applications". 476-487 - Lu Xiao, Yuanfang Cai, Rick Kazman, Ran Mo, Qiong Feng:
Identifying and quantifying architectural debt. 488-498 - Ran Mo, Yuanfang Cai, Rick Kazman, Lu Xiao, Qiong Feng:
Decoupling level: a new metric for architectural maintenance complexity. 499-510
Testing 1
- Rahul Gopinath, Mohammad Amin Alipour
On the limits of mutation reduction strategies. 511-522 - Christopher Henard, Mike Papadakis
Comparing white-box and black-box test prioritization. 523-534 - Yafeng Lu, Yiling Lou, Shiyang Cheng, Lingming Zhang, Dan Hao
How does regression test prioritization perform in real-world software evolution? 535-546 - Sebastiano Panichella
The impact of test case summaries on bug fixing performance: an empirical investigation. 547-558
Testing 2
- Nariman Mirzaei, Joshua Garcia, Hamid Bagheri, Alireza Sadeghi, Sam Malek:
Reducing combinatorics in GUI testing of android applications. 559-570 - Zhengrui Qin, Yutao Tang, Edmund Novak, Qun Li
MobiPlay: a remote execution based record-and-replay tool for mobile applications. 571-582 - Tingting Yu, Xiao Qu, Myra B. Cohen:
VDTest: an automated framework to support testing for virtual devices. 583-594 - Reza Matinnejad, Shiva Nejati
Automated test suite generation for time-continuous simulink models. 595-606
Effort estimation and search
- Xiao-Yuan Jing, Fumin Qi, Fei Wu, Baowen Xu
Missing data imputation based on low-rank recovery and semi-supervised regression for software effort estimation. 607-618 - Federica Sarro
Multi-objective software effort estimation. 619-630 - Shuai Wang, Shaukat Ali, Tao Yue, Yan Li, Marius Liaaen:
A practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering. 631-642
Product lines
- Flávio Medeiros, Christian Kästner
A comparison of 10 sampling algorithms for configurable systems. 643-654 - Xavier Devroey
Featured model-based mutation analysis. 655-666 - Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake:
Feature-model interfaces: the highway to compositional analyses of highly-configurable systems. 667-678 - Jean Melo, Claus Brabrand, Andrzej Wasowski
How does the degree of variability affect bug finding? 679-690
Repair and model synthesis
- Sergey Mechtaev
Angelix: scalable multiline program patch synthesis via symbolic analysis. 691-701 - Fan Long, Martin C. Rinard:
An analysis of the search spaces for generate and validate patch generation systems. 702-713 - Yu-Fang Chen
PAC learning-based verification and model synthesis. 714-724 - Steven Arzt
StubDroid: automatic inference of precise data-flow summaries for the android framework. 725-735
Languages
- Michael J. Coblenz
Exploring language support for immutability. 736-747 - Diomidis Spinellis
The evolution of C programming practices: a study of the Unix operating system 1973-2015. 748-759 - Phillip Merlin Uesbeck, Andreas Stefik, Stefan Hanenberg, Jan Pedersen
An empirical study on the impact of C++ lambdas and programmer experience. 760-771 - Nawrin Sultana, Justin Middleton, Jeffrey Overbey, Munawar Hafiz:
Understanding and fixing multiple language interoperability issues: the C/Fortran case. 772-783
Debugging
- Muhammad Ali Gulzar, Matteo Interlandi, Seunghyun Yoo, Sai Deep Tetali, Tyson Condie, Todd D. Millstein, Miryung Kim:
BigDebug: debugging primitives for interactive big data processing in spark. 784-795 - Guido Salvaneschi
Debugging for reactive programming. 796-807 - Xiaoyuan Xie, Zicong Liu, Shuo Song, Zhenyu Chen, Jifeng Xuan
Revisit of automatic debugging via human focus-tracking analysis. 808-819 - Weidong Cui, Marcus Peinado, Sang Kil Cha, Yanick Fratantonio, Vasileios P. Kemerlis
RETracer: triaging crashes by reverse execution from partial memory dumps. 820-831
Requirements
- Jonas Eckhardt, Andreas Vogelsang
Are "non-functional" requirements really non-functional?: an investigation of non-functional requirements in practice. 832-842 - Preethu Rose Anish, Balaji Balasubramaniam
Probing for requirements knowledge to stimulate architectural thinking. 843-854 - Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo
Risk-driven revision of requirements models. 855-865 - Awais Rashid
Discovering "unknown known" security requirements. 866-876
Dynamic analysis
- Nimrod Busany, Shahar Maoz
Behavioral log analysis with statistical guarantees. 877-887 - Marcello M. Bersani, Domenico Bianculli
Efficient large-scale trace checking using mapreduce. 888-898 - Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
Feedback-directed instrumentation for deployed JavaScript applications. 899-910 - Tongping Liu, Charlie Curtsinger, Emery D. Berger
DoubleTake: fast and precise error detection via evidence-based dynamic analysis. 911-922
Security
- Konstantin Rubinov, Lucia Rosculete, Tulika Mitra
Automated partitioning of android applications for trusted execution environments. 923-934 - Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden
Jumping through hoops: why do Java developers struggle with cryptography APIs? 935-946 - Joseph P. Near, Daniel Jackson:
Finding security bugs in web applications using a catalog of access control patterns. 947-958 - Wei You, Bin Liang, Wenchang Shi, Shuyang Zhu, Peng Wang, Sikefu Xie, Xiangyu Zhang:
Reference hijacking: patching, protecting and analyzing on unmodified and non-rooted android devices. 959-970
Collaborative
- Ronnie E. S. Santos, Fabio Q. B. da Silva
Building a theory of job rotation in software engineering from an instrumental case study. 971-981 - Julia Rubin, Martin C. Rinard:
The challenges of staying together while moving fast: an exploratory study. 982-993 - Bogdan Vasilescu
The sky is not the limit: multitasking across GitHub projects. 994-1005 - Peter C. Rigby, Yue Cai Zhu, Samuel M. Donadelli, Audris Mockus
Quantifying and mitigating turnover-induced knowledge loss: case studies of chrome and a project at avaya. 1006-1016
Software quality
- Lutz Prechelt
Quality experience: a grounded theory of successful agile projects without dedicated testers. 1017-1027 - Oleksii Kononenko, Olga Baysal, Michael W. Godfrey:
Code review quality: how developers see it. 1028-1038 - Patanamon Thongtanunam, Shane McIntosh, Ahmed E. Hassan, Hajimu Iida:
Revisiting code ownership and its relationship with software quality in the scope of modern code review. 1039-1050
Program analysis
- Hao Sun, Xiangyu Zhang, Yunhui Zheng, Qingkai Zeng:
IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions. 1051-1062 - Hui Liu, Qiurong Liu, Cristian-Alexandru Staicu, Michael Pradel, Yue Luo:
Nomen est omen: exploring and exploiting similarities between argument and parameter names. 1063-1073 - Cindy Rubio-González, Cuong Nguyen, Benjamin Mehne, Koushik Sen, James Demmel, William Kahan, Costin Iancu, Wim Lavrijsen, David H. Bailey, David Hough:
Floating-point precision tuning using blame analysis. 1074-1085 - Daniel Fava, Daniel G. Shapiro, Joseph C. Osborn, Martin Schäf
Crowdsourcing program preconditions via a classification game. 1086-1096
Concurrency
- Jeff Huang:
Scalable thread sharing analysis. 1097-1108 - Yan Cai, Lingwei Cao:
Fixing deadlocks via lock pre-acquisitions. 1109-1120 - Valerio Terragni
Coverage-driven test code generation for concurrent classes. 1121-1132 - Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto
Locking discipline inference and checking. 1133-1144
Maintenance
- Jongwook Kim, Don S. Batory, Danny Dig
Improving refactoring speed by 10X. 1145-1156 - Hitesh Sajnani, Vaibhav Saini, Jeffrey Svajlenko, Chanchal K. Roy, Cristina V. Lopes:
SourcererCC: scaling code clone detection to big-code. 1157-1168 - Saba Alimadadi, Ali Mesbah
Understanding asynchronous interactions in full-stack JavaScript. 1169-1180 - Hristina Palikareva, Tomasz Kuchta
Shadow of a doubt: testing for divergences between software versions. 1181-1192
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: