default search action
18th ESEC / 27th SIGSOFT FSE 2019: Tallinn, Estonia
- Marlon Dumas, Dietmar Pfahl, Sven Apel, Alessandra Russo:
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019. ACM 2019, ISBN 978-1-4503-5572-8
Keynotes
- Joanne M. Atlee:
Living with feature interactions (keynote). 1 - Marta Kwiatkowska:
Safety and robustness for deep learning with provable guarantees (keynote). 2 - Audris Mockus:
Insights from open source software supply chains (keynote). 3
Main Research
- Reza Ahmadi, Juergen Dingel:
Concolic testing for models of state-based systems. 4-15 - Yunho Kim, Shin Hong, Moonzoo Kim:
Target-driven compositional concolic testing with function summary refinement for effective bug detection. 16-26 - Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand:
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors. 27-38 - Ramy Shahin, Marsha Chechik, Rick Salay:
Lifting Datalog-based analyses to software product lines. 39-49 - Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei, Paul Gazzillo:
An empirical study of real-world variability bugs detected by variability-oblivious tools. 50-61 - Damir Nesic, Jacob Krüger, Stefan Stanciulescu, Thorsten Berger:
Principles of feature modeling. 62-73 - Manuel Rigger, Stefan Marr, Bram Adams, Hanspeter Mössenböck:
Understanding GCC builtins to develop better tools. 74-85 - Oscar Chaparro, Carlos Bernal-Cárdenas, Jing Lu, Kevin Moran, Andrian Marcus, Massimiliano Di Penta, Denys Poshyvanyk, Vincent Ng:
Assessing the quality of the steps to reproduce in bug reports. 86-96 - Chong Wang, Xin Peng, Mingwei Liu, Zhenchang Xing, Xuefang Bai, Bing Xie, Tuo Wang:
A learning-based approach for automatic construction of domain glossary from source code and documentation. 97-108 - Davide Fucci, Alireza Mollaalizadehbahnemiri, Walid Maalej:
On using machine learning to identify knowledge in API reference documentation. 109-119 - Mingwei Liu, Xin Peng, Andrian Marcus, Zhenchang Xing, Wenkai Xie, Shuangshuang Xing, Yang Liu:
Generating query-specific class API summaries. 120-130 - Yanjie Jiang, Hui Liu, Lu Zhang:
Semantic relation based expansion of abbreviations. 131-141 - Matteo Biagiola, Andrea Stocco, Filippo Ricca, Paolo Tonella:
Diversity-based web test generation. 142-153 - Matteo Biagiola, Andrea Stocco, Ali Mesbah, Filippo Ricca, Paolo Tonella:
Web test dependency detection. 154-164 - Andreas Stahlbauer, Marvin Kreis, Gordon Fraser:
Testing scratch programs automatically. 165-175 - Chen Zhang, Bihuan Chen, Linlin Chen, Xin Peng, Wenyun Zhao:
A large-scale empirical study of compiler errors in continuous integration. 176-187 - Sen He, Glenna Manns, John Saunders, Wei Wang, Lori L. Pollock, Mary Lou Soffa:
A statistics-based performance testing methodology for cloud applications. 188-199 - Domenico Cotroneo, Luigi De Simone, Pietro Liguori, Roberto Natella, Nematollah Bidokhti:
How bad can a bug get? an empirical analysis of software failures in the OpenStack cloud computing platform. 200-211 - Jinkun Lin, Shaowei Cai, Chuan Luo, Qingwei Lin, Hongyu Zhang:
Towards more efficient meta-heuristic algorithms for combinatorial test generation. 212-222 - Junjie Chen, Jiaqi Han, Peiyi Sun, Lingming Zhang, Dan Hao, Lu Zhang:
Compiler bug isolation via effective witness test program generation. 223-234 - Sooyoung Cha, Hakjoo Oh:
Concolic testing with adaptively changing search heuristics. 235-245 - Luciano Baresi, Giovanni Denaro, Giovanni Quattrocchi:
Symbolic execution-driven extraction of the parallel execution plans of Spark applications. 246-256 - Alessio Gambi, Tri Huynh, Gordon Fraser:
Generating effective test cases for self-driving cars from police reports. 257-267 - Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, Xuandong Li:
Preference-wise testing for Android applications. 268-278 - Armin Najafi, Peter C. Rigby, Weiyi Shang:
Bisecting commits and modeling commit risk during testing. 279-289 - Muhammad Ali Gulzar, Shaghayegh Mardani, Madanlal Musuvathi, Miryung Kim:
White-box testing of big data analytics with complex user-defined functions. 290-301 - Thomas Durieux, Fernanda Madeiral, Matias Martinez, Rui Abreu:
Empirical review of Java program repair tools: a large-scale experiment on 2, 141 bugs and 23, 551 repair attempts. 302-313 - Anil Koyuncu, Kui Liu, Tegawendé F. Bissyandé, Dongsun Kim, Martin Monperrus, Jacques Klein, Yves Le Traon:
iFixR: bug report driven program repair. 314-325 - Ming Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung, Zhendong Su:
Exploring and exploiting the correlations between bug-inducing and bug-fixing commits. 326-337 - Jacob Krüger, Gül Çalikli, Thorsten Berger, Thomas Leich, Gunter Saake:
Effects of explicit feature traceability on program comprehension. 338-349 - Shurui Zhou, Bogdan Vasilescu, Christian Kästner:
What the fork: a study of inefficient and efficient forking practices in social coding. 350-361 - Wei Song, Jing Zhang, Jeff Huang:
ServDroid: detecting service usage inefficiencies in Android applications. 362-373 - Felix Pauck, Heike Wehrheim:
Together strong: cooperative Android app analysis. 374-384 - Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric:
A framework for writing trigger-action todo comments in executable format. 385-396 - Khadijah Al Safwan, Francisco Servant:
Decomposing the rationale of code commits: the software developer's perspective. 397-408 - Anders Møller, Martin Toldam Torp:
Model-based testing of breaking changes in Node.js libraries. 409-419 - Jos Winter, Maurício Finavaro Aniche, Jürgen Cito, Arie van Deursen:
Monitoring-aware IDEs. 420-431 - Mehdi Bagherzadeh, Raffi Khatchadourian:
Going big: a large-scale study on what big data developers ask. 432-442 - James C. Davis, Louis G. Michael IV, Christy A. Coghlan, Francisco Servant, Dongyoon Lee:
Why aren't regular expressions a lingua franca? an empirical study on the re-use and portability of regular expressions. 443-454 - Benjamin Barslev Nielsen, Behnaz Hassanshahi, François Gauthier:
Nodest: feedback-driven static analysis of Node.js applications. 455-465 - Daniel DeFreez, Haaken Martinson Baldwin, Cindy Rubio-González, Aditya V. Thakur:
Effective error-specification inference via domain-knowledge expansion. 466-476 - Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao:
DeepStellar: model-based quantitative analysis of stateful deep learning systems. 477-487 - Zhengkai Wu, Evan Johnson, Wei Yang, Osbert Bastani, Dawn Song, Jian Peng, Tao Xie:
REINAM: reinforcement learning for input-grammar inference. 488-498 - Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, Jian Lü:
Boosting operational DNN testing efficiency through conditioning. 499-509 - Md Johirul Islam, Giang Nguyen, Rangeet Pan, Hridesh Rajan:
A comprehensive study on deep learning bug characteristics. 510-520 - Daniel Liew, Cristian Cadar, Alastair F. Donaldson, J. Ryan Stinnett:
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing. 521-532 - Yuekang Li, Yinxing Xue, Hongxu Chen, Xiuheng Wu, Cen Zhang, Xiaofei Xie, Haijun Wang, Yang Liu:
Cerebro: context-aware adaptive fuzzing for effective vulnerability detection. 533-544 - August Shi, Wing Lam, Reed Oei, Tao Xie, Darko Marinov:
iFixFlakies: a framework for automatically fixing order-dependent flaky tests. 545-555 - Christian Gram Kalhauge, Jens Palsberg:
Binary reduction of dependency graphs. 556-566 - Ernest Bota Pobee, Wing Kwong Chan:
AggrePlay: efficient record and replay of multi-threaded programs. 567-577 - Toshiki Hirao, Shane McIntosh, Akinori Ihara, Kenichi Matsumoto:
The review linkage graph for code review analytics: a recovery approach and empirical study. 578-589 - Jingbo Wang, Chungha Sung, Chao Wang:
Mitigating power side channels during compilation. 590-601 - Yanju Chen, Ruben Martins, Yu Feng:
Maximal multi-layer specification synthesis. 602-612 - Rohan Bavishi, Hiroaki Yoshida, Mukul R. Prasad:
Phoenix: automated data-driven synthesis of repairs for static analysis violations. 613-624 - Aniya Aggarwal, Pranay Lohia, Seema Nagar, Kuntal Dey, Diptikalyan Saha:
Black box fairness testing of machine learning models. 625-635 - Felipe Pontes, Rohit Gheyi, Sabrina Souto, Alessandro Garcia, Márcio Ribeiro:
Java reflection API: revealing the dark side of the mirror. 636-646 - David Gray Widder, Michael Hilton, Christian Kästner, Bogdan Vasilescu:
A conceptual replication of continuous integration pain points in the context of Travis CI. 647-658 - He Zhang, Xin Huang, Xin Zhou, Huang Huang, Muhammad Ali Babar:
Ethnographic research in software engineering: a critical review and checklist. 659-670 - Joanna C. S. Santos, Adriana Sejfia, Taylor Corrello, Smruthi Gadenkanahalli, Mehdi Mirakhorli:
Achilles' heel of plug-and-Play software architectures: a grounded theory based approach. 671-682 - Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Dewei Liu, Qilin Xiang, Chuan He:
Latent error prediction and fault localization for microservice applications by learning from system trace logs. 683-694 - Matthieu Jimenez, Renaud Rwemalika, Mike Papadakis, Federica Sarro, Yves Le Traon, Mark Harman:
The importance of accounting for real-world labelling when predicting software vulnerabilities. 695-705 - Yan Cai, Biyun Zhu, Ruijie Meng, Hao Yun, Liang He, Purui Su, Bin Liang:
Detecting concurrency memory corruption vulnerabilities. 706-717 - Haijun Wang, Xiaofei Xie, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu, Ting Liu:
Locating vulnerabilities in binaries via memory layout recovering. 718-728 - Saikat Dutta, Wenxian Zhang, Zixin Huang, Sasa Misailovic:
Storm: program reduction for testing and debugging probabilistic programming systems. 729-739 - Subarno Banerjee, Lazaro Clapp, Manu Sridharan:
NullAway: practical type-based null safety for Java. 740-750 - Zhouyang Jia, Shanshan Li, Tingting Yu, Xiangke Liao, Ji Wang:
Automatically detecting missing cleanup for ungraceful exits. 751-762 - Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su:
Finding and understanding bugs in software model checkers. 763-773 - Timotej Kapus, Cristian Cadar:
A segmented memory model for symbolic execution. 774-784 - Elvan Kula, Ayushi Rastogi, Hennie Huijgens, Arie van Deursen, Georgios Gousios:
Releasing fast and slow: an exploratory case study at ING. 785-795 - Nghi D. Q. Bui, Yijun Yu, Lingxiao Jiang:
SAR: learning cross-language API mappings with little knowledge. 796-806 - Xu Zhang, Yong Xu, Qingwei Lin, Bo Qiao, Hongyu Zhang, Yingnong Dang, Chunyu Xie, Xinsheng Yang, Qian Cheng, Ze Li, Junjie Chen, Xiaoting He, Randolph Yao, Jian-Guang Lou, Murali Chintalapati, Furao Shen, Dongmei Zhang:
Robust log-based anomaly detection on unstable log data. 807-817 - Pengfei Su, Qingsen Wang, Milind Chabbi, Xu Liu:
Pinpointing performance inefficiencies in Java. 818-829 - Moritz Eck, Fabio Palomba, Marco Castelluccio, Alberto Bacchelli:
Understanding flaky tests: the developer's perspective. 830-840 - Zhenpeng Chen, Yanbin Cao, Xuan Lu, Qiaozhu Mei, Xuanzhe Liu:
SEntiMoji: an emoji-powered learning approach for sentiment analysis in software engineering. 841-852
Industry Papers
- Tiancheng Jin, Qingshun Wang, Lihua Xu, Chunmei Pan, Liang Dou, Haifeng Qian, Liang He, Tao Xie:
FinExpert: domain-specific test generation for FinTech systems. 853-862 - Pranay Lohia, Kalapriya Kannan, Biplav Srivastava, Sameep Mehta:
Design diagrams as ontological source. 863-873 - Chandra Shekhar Maddila, Chetan Bansal, Nachiappan Nagappan:
Predicting pull request completion time: a case study on large scale cloud services. 874-882 - Zhe Yu, Fahmid M. Fahid, Tim Menzies, Gregg Rothermel, Kyle Patrick, Snehit Cherian:
TERMINATOR: better automated UI test case prioritization. 883-894 - Thomas Olsson, Ulrik Franke:
Risks and assets: a qualitative study of a software ecosystem in the mining industry. 895-904 - Phu Hong Nguyen, Hui Song, Franck Chauvel, Roy Müller, Seref Boyar, Erik Levin:
Using microservices for non-intrusive customization of multi-tenant SaaS. 905-915 - Jianfeng Chen, Joymallya Chakraborty, Philip Clark, Kevin Haverlock, Snehit Cherian, Tim Menzies:
Predicting breakdowns in cloud services (with SPIKE). 916-924 - Ali Mesbah, Andrew Rice, Emily Johnston, Nick Glorioso, Edward Aftandilian:
DeepDelta: learning to repair compilation errors. 925-936 - Sumit Asthana, Rahul Kumar, Ranjita Bhagwan, Christian Bird, Chetan Bansal, Chandra Shekhar Maddila, Sonu Mehta, Balasubramanyan Ashok:
WhoDo: automating reviewer suggestions at scale. 937-945 - Nima Miryeganeh, Mehdi Amoui, Hadi Hemmati:
An IR-based approach towards automated integration of geo-spatial datasets in map-based software systems. 946-954 - Marko Ivankovic, Goran Petrovic, René Just, Gordon Fraser:
Code coverage at Google. 955-963 - José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra:
When deep learning met code search. 964-974 - Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang:
FUDGE: fuzz driver generation at scale. 975-985 - Heyuan Shi, Runzhe Wang, Ying Fu, Mingzhe Wang, Xiaohai Shi, Xun Jiao, Houbing Song, Yu Jiang, Jiaguang Sun:
Industry practice of coverage-guided enterprise Linux kernel fuzzing. 986-995 - Julius Rueckert, Andreas Burger, Heiko Koziolek, Thanikesavan Sivanthi, Alexandru Moga, Carsten Franke:
Architectural decision forces at work: experiences in an industrial consultancy setting. 996-1005 - Antonio Gamez-Diaz, Pablo Fernandez, Antonio Ruiz-Cortés, Pedro J. Molina, Nikhil Kolekar, Prithpal Bhogill, Madhurranjan Mohaan, Francisco Méndez:
The role of limitations and SLAs in the API industry. 1006-1014 - Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe:
Evaluating model testing and model checking for finding requirements violations in Simulink models. 1015-1025 - John Lång, I. S. W. B. Prasetya:
Model checking a C++ software framework: a case study. 1026-1036 - Miguel Ehécatl Morales-Trujillo, Gabriel Alberto García-Mireles:
Evolving with patterns: a 31-month startup experience report. 1037-1047 - Guy Barash, Eitan Farchi, Ilan Jayaraman, Orna Raz, Rachel Tzoref-Brill, Marcel Zalmanovici:
Bridging the gap between ML solutions and their business requirements using feature interactions. 1048-1058 - Franziska Dobrigkeit, Danielly F. O. de Paula:
Design thinking in practice: understanding manifestations of design thinking in software engineering. 1059-1069
Demonstrations
- Daniel Correia, Rui Abreu, Pedro Santos, João Nadkarni:
MOTSD: a multi-objective test selection tool using test suite diagnosability. 1070-1074 - Liang Cai, Haoye Wang, Qiao Huang, Xin Xia, Zhenchang Xing, David Lo:
BIKER: a tool for Bi-information source based API method recommendation. 1075-1079 - Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon:
Mart: a mutant generation tool for LLVM. 1080-1084 - Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmán, Leonardo Mariani:
VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud. 1085-1089 - Dimitri Michel Stallenberg, Annibale Panichella:
JCOMIX: a search-based tool to detect XML injection vulnerabilities in web applications. 1090-1094 - Yulei Sui, Yifei Zhang, Wei Zheng, Manqing Zhang, Jingling Xue:
Event trace reduction for effective bug replay of Android apps via differential GUI state analysis. 1095-1099 - Gabin An, Aymeric Blot, Justyna Petke, Shin Yoo:
PyGGI 2.0: language independent genetic improvement framework. 1100-1104 - Golam Mostaeen, Jeffrey Svajlenko, Banani Roy, Chanchal K. Roy, Kevin A. Schneider:
CloneCognition: machine learning based code clone validation tool. 1105-1109 - Ying Fu, Meng Ren, Fuchen Ma, Heyuan Shi, Xin Yang, Yu Jiang, Huizhong Li, Xiang Shi:
EVMFuzzer: detect EVM vulnerabilities via fuzz testing. 1110-1114 - Xiaoqin Fu, Haipeng Cai:
A dynamic taint analyzer for distributed systems. 1115-1119 - Antonio Gamez-Diaz, Pablo Fernandez, Antonio Ruiz-Cortés:
Governify for APIs: SLA-driven ecosystem for API governance. 1120-1123 - Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino:
Developing secure bitcoin contracts with BitML. 1124-1128 - Payas Awadhutkar, Ganesh Ram Santhanam, Benjamin Holland, Suresh C. Kothari:
DISCOVER: detecting algorithmic complexity vulnerabilities. 1129-1133 - Liang Cai, Haoye Wang, Bowen Xu, Qiao Huang, Xin Xia, David Lo, Zhenchang Xing:
AnswerBot: an answer summary generation tool based on stack overflow. 1134-1138 - Alejandro Guerrero, Rafael Fresno, An Ju, Armando Fox, Pablo Fernandez, Carlos Müller, Antonio Ruiz-Cortés:
Eagle: a team practices audit framework for agile software development. 1139-1143
Doctoral Symposium
- Maria Caulo:
A taxonomy of metrics for software fault prediction. 1144-1147 - Carmen Coviello:
Distributed execution of test cases and continuous integration. 1148-1151