default search action
43rd ICSE 2021: Madrid, Spain - Companion Proceedings
- 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021. IEEE 2021, ISBN 978-1-6654-1219-3
Demonstrations
- Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller:
AndroEvolve: Automated Update for Android Deprecated-API Usages. 1-4 - Aparna Vadlamani, Rishitha Kalicheti, Sridhar Chimalakonda:
APIScanner - Towards Automated Detection of Deprecated APIs in Python Libraries. 5-8 - Hao He, Yulin Xu, Xiao Cheng, Guangtai Liang, Minghui Zhou:
MigrationAdvisor: Recommending Library Migrations from Large-Scale Open-Source Data. 9-12 - Jintang Li, Kun Xu, Liang Chen, Zibin Zheng, Xiao Liu:
GraphGallery: A Platform for Fast Benchmarking and Easy Development of Graph Neural Networks Based Intelligent Software. 13-16 - Bin Wang, Han Liu, Chao Liu, Zhiqiang Yang, Qian Ren, Huixuan Zheng, Hong Lei:
BLOCKEYE: Hunting for DeFi Attacks on Blockchain. 17-20 - Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric:
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. 21-24 - Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath:
NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks. 25-28 - Gabriel Bessler, Josh Cordova, Shaheen Cullen-Baratloo, Sofiane Dissem, Emily Lu, Sofia Devin, Ibrahim Abughararh, Lucas Bang:
Metrinome: Path Complexity Predicts Symbolic Execution Path Explosion. 29-32 - Stan Swanborn, Ivano Malavolta:
Robot Runner: A Tool for Automatically Executing Experiments on Robotics Software. 33-36 - Sara Pérez-Soler, Esther Guerra, Juan de Lara:
Creating and Migrating Chatbots with Conga. 37-40 - Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün:
R-MOZART: A Reconfiguration Tool for WebThings Applications. 41-44 - Thibault Allançon, Antoine Pietri, Stefano Zacchiroli:
The Software Heritage Filesystem (SwhFS): Integrating Source Code Archival with Development. 45-48 - Christoph Mayr-Dorn, Stefan Bichler, Felix Keplinger, Alexander Egyed:
Guiding Engineers with the Passive Process Engine Environment. 49-52 - Amit Seal Ami, Kaushal Kafle, Adwait Nadkarni, Denys Poshyvanyk, Kevin Moran:
µSE: Mutation-Based Evaluation of Security-Focused Static Analysis Tools for Android. 53-56 - Matt Pope, Jonathan Sillito:
Quartermaster: A Tool for Modeling and Simulating System Degradation. 57-60 - Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim:
Efficient Fuzz Testing for Apache Spark Using Framework Abstraction. 61-64 - Madeleine Havranek, Carlos Bernal-Cárdenas, Nathan Cooper, Oscar Chaparro, Denys Poshyvanyk, Kevin Moran:
V2S: A Tool for Translating Video Recordings of Mobile App Usages into Replayable Scenarios. 65-68 - Sarah Fakhoury, Devjeet Roy, Harry Pines, Tyler Cleveland, Cole S. Peterson, Venera Arnaoudova, Bonita Sharif, Jonathan I. Maletic:
gazel: Supporting Source Code Edits in Eye-Tracking Studies. 69-72 - C. M. Khaled Saifullah, Muhammad Asaduzzaman, Chanchal K. Roy:
COSTER: A Tool for Finding Fully Qualified Names of API Elements in Online Code Snippets. 73-76 - Jinkun Lin, Shaowei Cai, Bing He, Yingjie Fu, Chuan Luo, Qingwei Lin:
FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation. 77-80 - Aniya Aggarwal, Samiulla Shaikh, Sandeep Hans, Swastik Haldar, Rema Ananthanarayanan, Diptikalyan Saha:
Testing Framework for Black-box AI Models. 81-84 - Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè:
GAssert: A Fully Automated Tool to Improve Assertion Oracles. 85-88 - Bo Yang, Zhenchang Xing, Xin Xia, Chunyang Chen, Deheng Ye, Shanping Li:
UIS-Hunter: Detecting UI Design Smells in Android Apps. 89-92
ACM Student Research Competition
- Ananga Thapaliya:
Effect on Brain Activity while Programming with (without) Music. 93-95 - David Berend:
Distribution Awareness for AI System Testing. 96-98 - Mehdi Keshani:
Scalable Call Graph Constructor for Maven. 99-101 - Mingyue Zhang:
System Component-Level Self-Adaptations for Security via Bayesian Games. 102-104 - Pablo Valle:
Metamorphic Testing of Autonomous Vehicles: A Case Study on Simulink. 105-107 - Jingling Sun:
SetDroid: Detecting User-Configurable Setting Issues of Android Apps via Metamorphic Fuzzing. 108-110 - Nina Körber:
Anomaly Detection in Scratch Assignments. 111-113 - Elisabet Lobo Vesga:
Let's not Make a Fuzz about it. 114-116 - Jinyang Shao:
Testing Object Detection for Autonomous Driving Systems via 3D Reconstruction. 117-119 - Agustín Mista:
MUTAGEN: Faster Mutation-Based Random Testing. 120-122 - Deyu Tian:
Detecting User-Perceived Failure in Mobile Applications via Mining User Traces. 123-125 - Yufeng Chen:
NodeSRT: A Selective Regression Testing Tool for Node.js Application. 126-128 - Reem Aleithan:
Explainable Just-In-Time Bug Prediction: Are We There Yet? 129-131 - Zehao Wang:
Understanding the Challenges and Assisting Developers with Developing Spark Applications. 132-134 - Junjie Li:
A Better Approach to Track the Evolution of Static Code Warnings. 135-137 - Bianca Trinkenreich:
Please Don't Go - Increasing Women's Participation in Open Source Software. 138-140 - Fei Shao:
WebEvo: Taming Web Application Evolution via Semantic Structure Change Detection. 141-143 - Changlin Liu:
ProMal: Precise Window Transition Graphs for Android via Synergy of Program Analysis and Machine Learning. 144-146 - Aitor Gartziandia:
Microservice-Based Performance Problem Detection in Cyber-Physical System Software Updates. 147-149 - Miguel Ángel Álvarez-García:
Automation and Evaluation of Mutation Testing for the New C++ Standards. 150-152 - Omar Elazhary:
Investigating the Interplay between Developers and Automation. 153-155
Artifact Evaluation
- Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu:
JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification. 156-157 - Chengcheng Wan, Shicheng Liu, Henry Hoffmann, Michael Maire, Shan Lu:
A Replication of Are Machine Learning Cloud APIs Used Correctly. 158-159 - Nathan Cooper, Carlos Bernal-Cárdenas, Oscar Chaparro, Kevin Moran, Denys Poshyvanyk:
A Replication Package for It Takes Two to Tango: Combining Visual and Textual Information for Detecting Duplicate Video-Based Bug Reports. 160-161 - David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks. 162-163 - Wei Song, Mengqi Han, Jeff Huang:
IMGDroid: A Static Analyzer for Detecting Image Loading Defects in Android Applications. 164-165 - Xianhao Jin, Francisco Servant:
CIBench: A Dataset and Collection of Techniques for Build and Test Selection and Prioritization in Continuous Integration. 166-167 - Norman Peitek, Sven Apel, Chris Parnin, André Brechmann, Janet Siegmund:
Program Comprehension and Code Complexity Metrics: A Replication Package of an fMRI Study. 168-169 - Sumaya Almanee, Arda Ünal, Mathias Payer, Joshua Garcia:
Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps' Native Code. 170 - Sungjae Hwang, Sungho Lee, Jihoon Kim, Sukyoung Ryu:
JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs. 171-172 - Ruoxi Sun, Wei Wang, Minhui Xue, Gareth Tyson, Seyit Camtepe, Damith C. Ranasinghe:
An Empirical Assessment of Global COVID-19 Contact Tracing Applications. 173-174 - Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu:
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. 175-176 - KimHao Nguyen, ThanhVu Nguyen:
Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software". 177-178 - Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri:
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. 179-180 - Yigit Küçük, Tim A. D. Henderson, Andy Podgurski:
Artifact for Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques. 181-182 - Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand:
ThEodorE: a Trace Checker for CPS Properties. 183-184 - Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias:
EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact). 185-186 - Abdulrahman Alshammari, Christopher Morris, Michael Hilton, Jonathan Bell:
FlakeFlagger: Predicting Flakiness Without Rerunning Tests. 187 - Saad Ezzini, Sallam Abualhaija, Chetan Arora, Mehrdad Sabetzadeh, Lionel C. Briand:
MAANA: An Automated Tool for DoMAin-Specific HANdling of Ambiguity. 188-189 - Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
Replication of SOAR: A Synthesis Approach for Data Science API Refactoring. 190-191 - Hideaki Hata, Raula Gaikovina Kula, Takashi Ishio, Christoph Treude:
Research Artifact: The Potential of Meta-Maintenance on GitHub. 192-193 - Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis:
Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems. 194-195 - Gemma Catolino, Fabio Palomba, Damian Andrew Tamburri, Alexander Serebrenik:
Understanding Community Smells Variability: A Statistical Approach: Replication Package Instructions. 196-197 - Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps:
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. 198-199 - Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, Dimitris Mitropoulos:
A Replication Package for PyCG: Practical Call Graph Generation in Python. 200 - Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet:
RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine". 201-202 - Larissa Braz, Enrico Fregnan, Gül Çalikli, Alberto Bacchelli:
Data and Materials for: Why Don't Developers Detect Improper Input Validation?'; DROP TABLE Papers; -. 203-204 - Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa:
Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models. 205-206 - Jordan Samhi, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein:
A Partial Replication of "RAICC: Revealing Atypical Inter-Component Communication in Android Apps". 207-208 - Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias:
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. 209-210 - Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma:
PASTA: Synthesizing Object State Transformers for Dynamic Software Updates. 211-212 - Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst:
Verifying Determinism in Sequential Programs. 213-214 - Devika Sondhi, Avyakt Gupta, Salil Purandare, Ankit Rana, Deepanshu Kaushal, Rahul Purandare:
Dataset to Study Indirectly Dependent Documentation in GitHub Repositories. 215-216 - Shahar Maoz, Rafi Shalom:
Unrealizable Cores for Reactive Systems Specifications: Artifact. 217-218 - Rahul Gopinath, Hamed Nemati, Andreas Zeller:
Replication Package for Input Algebras. 219 - Giovani Guizzo, Justyna Petke, Federica Sarro, Mark Harman:
Artifact for Enhancing Genetic Improvement of Software with Regression Test Selection. 220 - Felix Grund, Shaiful Alam Chowdhury, Nick C. Bradley, Braxton Hall, Reid Holmes:
CodeShovel: A Reusable and Available Tool for Extracting Source Code Histories. 221-222 - Courtney Miller, Paige Rodeghero, Margaret-Anne D. Storey, Denae Ford, Thomas Zimmermann:
Survey Instruments for "How Was Your Weekend?" Software Development Teams Working from Home During COVID-19. 223 - An Ju, Hitesh Sajnani, Scot Kelly, Kim Herzig:
Research Tools, Survey Responses, and Interview Analysis from a Case Study of Onboarding Software Teams at Microsoft. 224 - Amir Makhshari, Ali Mesbah:
IoT Development In The Wild: Bug Taxonomy and Developer Challenges. 225-226 - Zhiyuan Wan, Xin Xia, David Lo, Jiachi Chen, Xiapu Luo, Xiaohu Yang:
Smart Contract Security: A Practitioners' Perspective: The Artifact of a Paper Accepted in the 43rd IEEE/ACM International Conference on Software Engineering (ICSE 2021). 227-228 - Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller:
Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries. 229 - Lin Yang, Junjie Chen, Zan Wang, Weijing Wang, Jiajun Jiang, Xuyuan Dong, Wenbin Zhang:
PLELog: Semi-Supervised Log-Based Anomaly Detection via Probabilistic Label Estimation. 230-231 - Max Weber, Sven Apel, Norbert Siegmund:
White-Box Performance-Influence Models: A Profiling and Learning Approach (Replication Package). 232-233 - Alan Romano, Zihe Song, Sampath Grandhi, Wei Yang, Weihang Wang:
UI-Based Flaky Tests Dataset. 234-235 - Tapajit Dey, Andrey Karnauch, Audris Mockus:
Replication Package for Representation of Developer Expertise in Open Source Software. 236-237 - Qinkun Bao, Zihao Wang, James R. Larus, Dinghao Wu:
Abacus: A Tool for Precise Side-Channel Analysis. 238-239 - Armstrong Foundjem, Ellis E. Eghan, Bram Adams:
An Open Dataset for Onboarding new Contributors: Empirical Study of OpenStack Ecosystem. 240-241 - Reem S. Alsuhaibani, Christian D. Newman, Michael John Decker, Michael L. Collard, Jonathan I. Maletic:
A Survey on Method Naming Standards: Questions and Responses Artifact. 242-243 - Rajshakhar Paul, Asif Kamal Turzo, Amiangshu Bosu:
A Dataset of Vulnerable Code Changes of the Chromium OS Project. 244-245 - Xincheng He, Lei Xu, Xiangyu Zhang, Rui Hao, Yang Feng, Baowen Xu:
PyART: Python API Recommendation in Real-Time. 246-247 - Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena:
Scalable Quantitative Verification for Deep Neural Networks. 248-249
Posters
- Michael Alexander Tröls, Atif Mashkoor, Alexander Egyed:
Team-Oriented Consistency Checking of Heterogeneous Engineering Artifacts. 250-251 - Binger Chen, Ziawasch Abedjan:
RPT: Effective and Efficient Retrieval of Program Translations from Big Code. 252-253 - Xuanyi Lin, Zedong Peng, Nan Niu, Wentao Wang, Hui Liu:
Finding Metamorphic Relations for Scientific Software. 254-255 - Wen Li, Na Meng, Li Li, Haipeng Cai:
Understanding Language Selection in Multi-language Software Projects on GitHub. 256-257 - Andrew Truelove, Eduardo Santana de Almeida, Iftekhar Ahmed:
We'll Fix it in Post: What Do Bug Fixes in Video Game Update Notes Tell Us? 258-259
Doctoral Symposium
- Raul Medeiros:
Unburdening Onboarding in Software Product Lines. 260-262 - Kamil Rosiak:
Extractive Multi Product-Line Engineering. 263-265 - Viet-Man Le:
Group Recommendation Techniques for Feature Modeling and Configuration. 266-268 - Luciano de Aguiar Monteiro:
A Proposal to Systematize Introducing DevOps into the Software Development Process. 269-271 - Washington Henrique de Carvalho Almeida:
A Model using Agile Methodologies for Defining Metrics to be used by the Public Sector in Brazil to set Remuneration for Outsourced Software Development. 272-274 - Robert Heumüller:
Learning to Boost the Efficiency of Modern Code Review. 275-277 - Olivia Rodriguez Valdes:
Towards a Testing Tool that Learns to Test. 278-280 - Carlos Diego Cavalcanti Pereira:
A Functional Paradigm for Capacity Planning of Cloud Computing Workloads. 281-283 - Rafael Toledo:
Interactive Graph Exploration for Comprehension of Static Analysis Results. 284-286 - Armin Moin:
Data Analytics and Machine Learning Methods, Techniques and Tool for Model-Driven Engineering of Smart IoT Services. 287-292 - Bianca Trinkenreich:
Please Don't Go - A Comprehensive Approach to Increase Women's Participation in Open Source Software. 293-298 - Pooja Rani:
Speculative Analysis for Quality Assessment of Code Comments. 299-303 - Sarah Elder:
Vulnerability Detection is Just the Beginning. 304-308 - Manish Motwani:
High-Quality Automated Program Repair. 309-314 - Francisco Handrick da Costa:
On the Interplay Between Static and Dynamic Analysis for Mining Sandboxes. 315-319
Technical Briefings
- Shahar Maoz, Jan Oliver Ringert:
Reactive Synthesis with Spectra: A Tutorial. 320-321