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
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
Principles of feature modeling. 62-73 - Manuel Rigger, Stefan Marr
Understanding GCC builtins to develop better tools. 74-85 - Oscar Chaparro
Assessing the quality of the steps to reproduce in bug reports. 86-96 - Chong Wang, Xin Peng, Mingwei Liu
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
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
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
A statistics-based performance testing methodology for cloud applications. 188-199 - Domenico Cotroneo, Luigi De Simone
How bad can a bug get? an empirical analysis of software failures in the OpenStack cloud computing platform. 200-211 - Jinkun Lin, Shaowei Cai
Towards more efficient meta-heuristic algorithms for combinatorial test generation. 212-222 - Junjie Chen, Jiaqi Han, Peiyi Sun, Lingming Zhang, Dan Hao
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
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
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
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
iFixR: bug report driven program repair. 314-325 - Ming Wen, Rongxin Wu
Exploring and exploiting the correlations between bug-inducing and bug-fixing commits. 326-337 - Jacob Krüger
Effects of explicit feature traceability on program comprehension. 338-349 - Shurui Zhou, Bogdan Vasilescu
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
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
Decomposing the rationale of code commits: the software developer's perspective. 397-408 - Anders Møller
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
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
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
A comprehensive study on deep learning bug characteristics. 510-520 - Daniel Liew, Cristian Cadar
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing. 521-532 - Yuekang Li
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
Binary reduction of dependency graphs. 556-566 - Ernest Bota Pobee
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
Mitigating power side channels during compilation. 590-601 - Yanju Chen
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
A conceptual replication of continuous integration pain points in the context of Travis CI. 647-658 - He Zhang, Xin Huang, Xin Zhou, Huang Huang
Ethnographic research in software engineering: a critical review and checklist. 659-670 - Joanna C. S. Santos
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
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
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
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
Finding and understanding bugs in software model checkers. 763-773 - Timotej Kapus
A segmented memory model for symbolic execution. 774-784 - Elvan Kula, Ayushi Rastogi, Hennie Huijgens, Arie van Deursen
Releasing fast and slow: an exploratory case study at ING. 785-795 - Nghi D. Q. Bui, Yijun Yu
SAR: learning cross-language API mappings with little knowledge. 796-806 - Xu Zhang, Yong Xu, Qingwei Lin, Bo Qiao
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
Understanding flaky tests: the developer's perspective. 830-840 - Zhenpeng Chen
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
TERMINATOR: better automated UI test case prioritization. 883-894 - Thomas Olsson
Risks and assets: a qualitative study of a software ecosystem in the mining industry. 895-904 - Phu Hong Nguyen
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
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
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
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
The role of limitations and SLAs in the API industry. 1006-1014 - Shiva Nejati
Evaluating model testing and model checking for finding requirements violations in Simulink models. 1015-1025 - John Lång
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
MOTSD: a multi-objective test selection tool using test suite diagnosability. 1070-1074 - Liang Cai, Haoye Wang
BIKER: a tool for Bi-information source based API method recommendation. 1075-1079 - Thierry Titcheu Chekam, Mike Papadakis
Mart: a mutant generation tool for LLVM. 1080-1084 - Alessandro Tundo
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
Event trace reduction for effective bug replay of Android apps via differential GUI state analysis. 1095-1099 - Gabin An, Aymeric Blot
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
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
Governify for APIs: SLA-driven ecosystem for API governance. 1120-1123 - Nicola Atzei, Massimo Bartoletti, Stefano Lande
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
AnswerBot: an answer summary generation tool based on stack overflow. 1134-1138 - Alejandro Guerrero, Rafael Fresno
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 - Jasper Denkers
A longitudinal field study on creation and use of domain-specific languages in industry. 1152-1155 - Davide Ginelli
Failure-driven program repair. 1156-1159 - Sandra Greiner:
On extending single-variant model transformations for reuse in software product line engineering. 1160-1163 - Stefan Karlsson:
Exploratory test agents for stateful software systems. 1164-1167 - Arthur Marques:
Helping developers search and locate task-relevant information in natural language documents. 1168-1171 - Jorge Melegati:
Improving requirements engineering practices to support experimentation in software startups. 1172-1175 - Matthias Müller
Managing the open cathedral. 1176-1179 - Tim Sonnekalb:
Machine-learning supported vulnerability detection in source code. 1180-1183
Student Research Competition
- Marios Papachristou
Software clusterings with vector semantics and the call graph. 1184-1186 - Mahshid Helali Moghadam:
Machine learning-assisted performance testing. 1187-1189 - Vladislav Stepanov:
File tracing by intercepting disk requests. 1190-1192 - Shamsa Abid:
Recommending related functions from API usage-based function clone structures. 1193-1195 - H. Alperen Çetin:
Identifying the most valuable developers using artifact traceability graphs. 1196-1198 - Luyao Ren:
Automated patch porting across forked projects. 1199-1201 - Charalambos Mitropoulos:
Employing different program analysis methods to study bug evolution. 1202-1204 - Xin Tan:
Reducing the workload of the Linux kernel maintainers: multiple-committer model. 1205-1207 - Michail Loukeris:
Efficient computing in a safe environment. 1208-1210 - Milana Nurgalieva:
The lessons software engineers can extract from painters to improve the software development process. 1211-1213 - Daniel Correia:
An industrial application of test selection using test suite diagnosability. 1214-1216 - Hao He
Understanding source code comments at large-scale. 1217-1219 - Bram Vandenbogaerde
A graph-based framework for analysing the design of smart contracts. 1220-1222 - Olivia Rodriguez Valdes:
Finding the shortest path to reproduce a failure found by TESTAR. 1223-1225 - Mehdi Golzadeh:
Analysing socio-technical congruence in the package dependency network of Cargo. 1226-1228 - Haochen He:
Tuning backfired? not (always) your fault: understanding and detecting configuration-related performance bugs. 1229-1231 - Shubham Sangle, Sandeep Muvva:
On the use of lambda expressions in 760 open source Python projects. 1232-1234 - Fabiano Pecorelli
Test-related factors and post-release defects: an empirical study. 1235-1237 - Rangeet Pan
Static deep neural network analysis for robustness. 1238-1240 - Vaishali Khanve:
Are existing code smells relevant in web games? an empirical study. 1241-1243 - Jacob Krüger
Tackling knowledge needs during software evolution. 1244-1246 - Xiaoqin Fu:
On the scalable dynamic taint analysis for distributed systems. 1247-1249 - Emre Sülün:
Suggesting reviewers of software artifacts using traceability graphs. 1250-1252 - Marco Radavelli:
Using software testing to repair models. 1253-1255 - James C. Davis:
Rethinking Regex engines to address ReDoS. 1256-1258 - Peiyi Sun:
Context-aware test case adaptation. 1259-1261 - Ilyuza Gizzatullina:
Empirical study of customer communication problem in agile requirements engineering. 1262-1264
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-12-01 00:00 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: