2020 ACM/IEEE 42nd International Conference on Software Engineering: companion proceedings : ICSE-companion 2020 : 27 June-19 July 2020, Seoul, South Korea : proceedings (English)
- New search for: ACM/IEEE International Conference on Software Engineering
- Further information on ACM/IEEE International Conference on Software Engineering:
- http://d-nb.info/gnd/1228149615
- New search for: Institute of Electrical and Electronics Engineers
- Further information on Institute of Electrical and Electronics Engineers:
- http://d-nb.info/gnd/1692-5
- New search for: Association for Computing Machinery
- Further information on Association for Computing Machinery:
- http://d-nb.info/gnd/1222-1
- New search for: IEEE Computer Society
- Further information on IEEE Computer Society:
- http://d-nb.info/gnd/25694-8
- New search for: ACM/IEEE International Conference on Software Engineering
- Further information on ACM/IEEE International Conference on Software Engineering:
- http://d-nb.info/gnd/1228149615
- New search for: Institute of Electrical and Electronics Engineers
- Further information on Institute of Electrical and Electronics Engineers:
- http://d-nb.info/gnd/1692-5
- New search for: Association for Computing Machinery
- Further information on Association for Computing Machinery:
- http://d-nb.info/gnd/1222-1
- New search for: IEEE Computer Society
- Further information on IEEE Computer Society:
- http://d-nb.info/gnd/25694-8
2020
-
ISBN:
- Conference Proceedings / Electronic Resource
-
Title:2020 ACM/IEEE 42nd International Conference on Software Engineering: companion proceedings : ICSE-companion 2020 : 27 June-19 July 2020, Seoul, South Korea : proceedings
-
Additional title:2020 IEEE/ACM 42nd International Conference on Software Engineering: companion proceedings (ICSE-companion)
-
Contributors:ACM/IEEE International Conference on Software Engineering ( author ) / Institute of Electrical and Electronics Engineers ( issuing body ) / Association for Computing Machinery ( sponsor ) / IEEE Computer Society ( sponsor )
-
Conference:ACM/IEEE International Conference on Software Engineering ; 42 ; 2020 ; Online
IEEE/ACM International Conference on Software Engineering ; 42 ; 2020 ; Online
ICSE ; 42 ; 2020 ; Online -
Publisher:
- New search for: IEEE
-
Place of publication:[Piscataway, NJ]
-
Publication date:2020
-
Size:1 Online-Ressource
-
Remarks:Illustrationen
Literaturangaben
"ICSE 2020 was originally scheduled to take place in Seoul, South Korea in May of 2020. Due to the arrival of the coronavirus, after some intermediate attempts to reschedule, we ultimately decided to offer the conference solely in virtual format, in June-July of 2020." - Vorwort (S. xiv) -
ISBN:
-
Type of media:Conference Proceedings
-
Type of material:Electronic Resource
-
Language:English
- New search for: 54.52
- Further information on Basic classification
-
Classification:
BKL: 54.52 Software engineering -
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Title Page i| 2020
- 1
-
Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI)Chowdhury, Shafiul Azam / Shrestha, Sohil Lal / Johnson, Taylor T. / Csallner, Christoph et al. | 2020
- 3
-
Title Page iii| 2020
- 5
-
PROMISE: High-Level Mission Specification for Multiple RobotsGarcia, Sergio / Pelliccione, Patrizio / Menghi, Claudio / Berger, Thorsten / Bures, Tomas et al. | 2020
- 5
-
Table of Contents| 2020
- 9
-
SMRL: A Metamorphic Security Testing Tool for Web SystemsMai, Phu X. / Goknil, Arda / Pastore, Fabrizio / Briand, Lionel C. et al. | 2020
- 13
-
WasmView: Visual Testing for WebAssembly ApplicationsRomano, Alan / Wang, Weihang et al. | 2020
- 16
-
Message from the ICSE 2020 General Co-Chairs| 2020
- 17
-
AppTestMigrator: A Tool for Automated Test Migration for Android Apps *Behrang, Farnaz / Orso, Alessandro et al. | 2020
- 19
-
Message from the Demonstrations Track Chairs of ICSE 2020| 2020
- 20
-
Demonstrations Program Committee of ICSE 2020| 2020
- 21
-
Posters Program Committee of ICSE 2020| 2020
- 21
-
Seraph: Enabling Cross-Platform Security Analysis For EVM and WASM Smart ContractsYang, Zhiqiang / Liu, Han / Li, Yue / Zheng, Huixuan / Wang, Lei / Chen, Bangdao et al. | 2020
- 22
-
Message from the Doctoral Symposium Chairs of ICSE 2020| 2020
- 23
-
Doctoral Symposium Program Committee ICSE 2020| 2020
- 24
-
Message from the Student Research Competition Chairs of ICSE 2020| 2020
- 25
-
The SmartSHARK Ecosystem for Software Repository MiningTrautsch, Alexander / Trautsch, Fabian / Herbold, Steffen / Ledel, Benjamin / Grabowski, Jens et al. | 2020
- 25
-
Student Research Competition Committee of ICSE 2020| 2020
- 29
-
DeepMutation: A Neural Mutation ToolTufano, Michele / Kimko, Jason / Wang, Shiya / Watson, Cody / Bavota, Gabriele / Di Penta, Massimiliano / Poshyvanyk, Denys et al. | 2020
- 33
-
TimeTracer: A Tool for Back in Time Traceability ReplayingMayr-Dorn, Christoph / Vierhauser, Michael / Keplinger, Felix / Bichler, Stefan / Egyed, Alexander et al. | 2020
- 37
-
SimilarAPI: Mining Analogical APIs for Library MigrationChen, Chunyang et al. | 2020
- 41
-
FeatureNET: Diversity-Driven Generation of Deep Learning ModelsGhamizi, Salah / Cordy, Maxime / Papadakis, Mike / Le Traon, Yves et al. | 2020
- 45
-
EvalDNN: A Toolbox for Evaluating Deep Neural Network ModelsTian, Yongqiang / Zeng, Zhihua / Wen, Ming / Liu, Yepang / Kuo, Tzu-yang / Cheung, Shing-Chi et al. | 2020
- 49
-
FuRong: Fusing Report of Automated Android Testing on Multi-Devices *Tian, Yuanhan / Yu, Shengcheng / Fang, Chunrong / Li, Peiyuan et al. | 2020
- 53
-
Phoenix: A Tool for Automated Data-Driven Synthesis of Repairs for Static Analysis ViolationsYoshida, Hiroaki / Bavishi, Rohan / Hotta, Keisuke / Nemoto, Yusuke / Prasad, Mukul R. / Kikuchi, Shinji et al. | 2020
- 57
-
VITALSE: Visualizing Eye Tracking and Biometric DataRoy, Devjeet / Fakhoury, Sarah / Arnaoudova, Venera et al. | 2020
- 61
-
BigTest: A Symbolic Execution Based Systematic Test Generation Tool for Apache SparkAli Gulzar, Muhammad / Musuvathi, Madanlal / Kim, Miryung et al. | 2020
- 65
-
PG-KLEE: Trading Soundness for Coverage ∗Rutledge, Richard / Orso, Alessandro et al. | 2020
- 69
-
RTj: a Java Framework for Detecting and Refactoring Rotten Green Test CasesMartinez, Matias / Etien, Anne / Ducasse, Stephane / Fuhrman, Christopher et al. | 2020
- 73
-
GeekyNote: A Technical Documentation Tool with Coverage, Backtracking, Traces, and CouplingsCheng, Yung-Pin / Hsiung, Wei-Nien / Wu, Yu-Shan / Chen, Li-Hsuan et al. | 2020
- 77
-
DroidMutator: An Effective Mutation Analysis Tool for Android ApplicationsLiu, Jian / Xiao, Xusheng / Xu, Lihua / Dou, Liang / Podgurski, Andy et al. | 2020
- 81
-
An SLR-Tool: Search Process in Practice : A tool to conduct and manage Systematic Literature Review (SLR)Hinderks, Andreas / Jose, Francisco / Mayo, Dominguez / Thomaschewski, Jorg / Escalona, Maria Jose et al. | 2020
- 85
-
Nimbus: Improving the Developer Experience for Serverless ApplicationsChatley, Robert / Allerton, Thomas et al. | 2020
- 89
-
MCoq: Mutation Analysis for Coq Verification ProjectsJain, Kush / Palmskog, Karl / Celik, Ahmet / Arias, Emilio Jesus Gallego / Gligoric, Milos et al. | 2020
- 93
-
MPI-SV: A Symbolic Verifier for MPI ProgramsChen, Zhenbang / Yu, Hengbiao / Fu, Xianjin / Wang, Ji et al. | 2020
- 97
-
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test ScenariosLima, Bruno / Faria, Joao Pascoal et al. | 2020
- 101
-
Uncertainty-Guided Testing and Robustness Enhancement for Deep Learning SystemsZhang, Xiyue et al. | 2020
- 104
-
Evaluation of brain activity while Pair ProgrammingThapaliya, Ananga et al. | 2020
- 107
-
Machine Translation Testing via Pathological InvarianceGupta, Shashij et al. | 2020
- 110
-
Automatic Generation of Simulink Models to Find Bugs in a Cyber-Physical System Tool Chain using Deep LearningShrestha, Sohil Lal et al. | 2020
- 113
-
Playing With Your Project Data in Scrum RetrospectivesMatthies, Christoph et al. | 2020
- 116
-
An empirical study of the first contributions of developers to open source projects on GitHubSubramanian, Vikram N. et al. | 2020
- 119
-
Stress Testing SMT Solvers via Type-aware MutationZhang, Chengyu et al. | 2020
- 122
-
The Role of Egocentric Bias in Undergraduate Agile Software Development TeamsRamin, Frederike et al. | 2020
- 125
-
Studying and Suggesting Logging Locations in Code BlocksLi, Zhenhao et al. | 2020
- 128
-
Exploring the Relationship between Dockerfile Quality and Project CharacteristicsWu, Yiwen et al. | 2020
- 131
-
Hanging by the Thread: An Empirical Study of Donations in Open SourceOverney, Cassandra et al. | 2020
- 134
-
An Automated Framework For Gaming Platform To Test Multiple GamesSong, Zihe et al. | 2020
- 137
-
Improving Bug Detection and Fixing via Code Representation LearningLi, Yi et al. | 2020
- 140
-
Automated Analysis of Inter-Parameter Dependencies in Web APIs*Martin-Lopez, Alberto et al. | 2020
- 143
-
Detection and Mitigation of JIT-Induced Side Channels*Brennan, Tegan et al. | 2020
- 146
-
Does Fixing Bug Increase Robustness in Deep Learning?Pan, Rangeet et al. | 2020
- 149
-
An Empirical Study on the Evolution of Test SmellKim, Dong Jae et al. | 2020
- 152
-
Efficient test execution in End to End testing : Resource optimization in End to End testing through a smart resource characterization and orchestrationAugusto, Cristian et al. | 2020
- 155
-
Towards Automated Migration for Blockchain-based Decentralized ApplicationXu, Xiufeng et al. | 2020
- 158
-
Skill-Based Engineering in Industrial Automation Domain: Skills Modeling and OrchestrationDorofeev, Kirill et al. | 2020
- 162
-
Scalable and Approximate Program Dependence AnalysisLee, Seongmin et al. | 2020
- 166
-
The Effects of Required Security on Software Development EffortVenson, Elaine et al. | 2020
- 170
-
Towards Greener Android Application DevelopmentAnwar, Hina et al. | 2020
- 174
-
Towards DO-178C Certification of Adaptive Learning UAV Agents Designed with a Cognitive ArchitecturePyrgies, John et al. | 2020
- 178
-
Bridging the Divide Between API Users and API Developers by Mining Public Code RepositoriesLamothe, Maxime et al. | 2020
- 182
-
Refactoring Operations Grounded in Manual Code ChangesEilertsen, Anna Maria et al. | 2020
- 186
-
A Composed Technical Debt Identification Methodology to Predict Software VulnerabilitiesHalepmollasi, Rusen et al. | 2020
- 190
-
Variability Aware Requirements Reuse AnalysisAbbas, Muhammad et al. | 2020
- 194
-
KNOCAP: Capturing and Delivering Important Design Bits in Whiteboard Design MeetingsSoria, Adriana Meza et al. | 2020
- 198
-
Towards Providing Automated Supports to Developers on Writing Logging StatementsLi, Zhenhao et al. | 2020
- 202
-
AI-Driven Web API TestingMartin-Lopez, Alberto et al. | 2020
- 206
-
Performance Regression Detection in DevOpsChen, Jinfu et al. | 2020
- 210
-
Formalization and analysis of quantitative attributes of distributed systemsSune, Agustin E. Martinez et al. | 2020
- 214
-
Bridging Fault Localisation and Defect PredictionSohn, Jeongju et al. | 2020
- 218
-
Improving Students’ Testing PracticesBai, Gina R. / Stolee, Kathryn T. et al. | 2020
- 222
-
The Sustainability of Quality in Free and Open Source SoftwareAlami, Adam et al. | 2020
- 226
-
Understanding Software Changes: Extracting, Classifying, and Presenting Fine-Grained Source Code ChangesFrick, Veit et al. | 2020
- 230
-
Search-Based Test Generation for Android AppsMoreno, Ivan Arcuschin et al. | 2020
- 234
-
Extracting Archival-Quality Information from Software-Related ChatsChatterjee, Preetha / Pollock, Lori et al. | 2020
- 238
-
Software Startups in growth phase SE practices adopted to SEECico, Orges et al. | 2020
- 242
-
Towards Better Technical Debt Detection with NLP and Machine Learning MethodsRantala, Leevi et al. | 2020
- 246
-
Towards data integrity in Cassandra database applications using conceptual modelsSuarez-Otero, Pablo et al. | 2020
- 250
-
Experiential Learning in Computing Accessibility EducationShi, Weishi / Khan, Saad / El-Glaly, Yasmine / Malachowsky, Samuel / Yu, Qi / Krutz, Daniel E. et al. | 2020
- 252
-
Large-Scale Patch Recommendation at AlibabaZhang, Xindong / Zhu, Chenguang / Li, Yi / Guo, Jianmei / Liu, Lihua / Gu, Haobo et al. | 2020
- 254
-
Do Preparatory Programming Lab Sessions Contribute to Even Work Distribution in Student Teams?Borg, Markus et al. | 2020
- 256
-
A Practical, Collaborative Approach for Modeling Big Data Analytics Application RequirementsKhalajzadeh, Hourieh / Simmons, Andrew / Abdelrazek, Mohamed / Grundy, John / Hosking, John / He, Qiang / Ratnakanthan, Prasanna / Zia, Adil / Law, Meng et al. | 2020
- 258
-
A Mixed Methods Research Agenda to Identify Undergraduate Misconceptions in Software Engineering, Lecturers’ Handling, and Didactical ImplicationsGold-Veerkamp, Carolin / Diethelm, Ira / Abke, Jorg et al. | 2020
- 260
-
Understanding DevOps Education with Grounded TheoryPang, Candy / Hindle, Abram / Barbosa, Denilson et al. | 2020
- 262
-
Understanding and Handling Alert Storm for Online Service SystemsZhao, Nengwen / Chen, Junjie / Peng, Xiao / Wang, Honglin / Wu, Xinya / Zhang, Yuanzong / Chen, Zikai / Zheng, Xiangzhong / Nie, Xiaohui / Wang, Gang et al. | 2020
- 264
-
Factors influencing Software Engineering Career Choice of Andean IndigenousSanchez-Gordon, Mary / Colomo-Palacios, Ricardo et al. | 2020
- 266
-
ProvBuild: Improving Data Scientist Efficiency with Provenance (An Extended Abstract)Hu, Jingmei / Joung, Jiwon / Jacobs, Maia / Gajos, Krzysztof Z. / Seltzer, Margo I. et al. | 2020
- 268
-
Poster: How Has Forking Changed in the Last 20 Years? A Study of Hard Forks on GitHubZhou, Shurui / Vasilescu, Bogdan / Kastner, Christian et al. | 2020
- 270
-
Scaling Application-Level Dynamic Taint Analysis to Enterprise-Scale Distributed SystemsFu, Xiaoqin / Cai, Haipeng et al. | 2020
- 272
-
Evolutionary hot-spots in Software SystemsBenkoczi, Robert / Gaur, Daya / Hossain, Shahadat / Khan, Muhammad / Raj Tedlapu, Ajay et al. | 2020
- 274
-
Clairvoyance: Cross-contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart ContractsYe, Jiaming / Ma, Mingliang / Lin, Yun / Sui, Yulei / Xue, Yinxing et al. | 2020
- 276
-
Towards Automatic Assessment of Object-Oriented ProgramsArdimento, Pasquale / Luca Bernardi, Mario / Cimitile, Marta et al. | 2020
- 278
-
Bugine: a bug report recommendation system for Android appsLi, Ziqiang / Tan, Shin Hwei et al. | 2020
- 280
-
Identifying Compatibility-Related APIs by Exploring Biased Distribution in Android AppsXu, Chen / Xiong, Yan / Huang, Wenchao / Meng, Zhaoyi / Miao, Fuyou / Su, Cheng / Mo, Guangshuai et al. | 2020
- 282
-
Lean Kanban in an industrial context: a success storyPato, Roberto Hens / Granada, David / Vara, Juan M. / Marcos, Esperanza et al. | 2020
- 284
-
Preliminary Findings on FOSS Dependencies and Security : A Qualitative Study on Developers’ Attitudes and ExperiencePashchenko, Ivan / Vu, Duc-Ly / Massacci, Fabio et al. | 2020
- 286
-
What disconnects Practitioner Belief and Empirical Evidence ?Shrikanth, N.C. / Menzies, Tim et al. | 2020
- 288
-
Restoring Reproducibility of Jupyter NotebooksWang, Jiawei / Kuo, Tzu-yang / Li, Li / Zeller, Andreas et al. | 2020
- 290
-
Identification of Cultural Influences on Requirements Engineering ActivitiesAlsanoosy, Tawfeeq / Spichkova, Maria / Harland, James et al. | 2020
- 292
-
An Exploratory Study on Improving Automated Issue Triage with Attached ScreenshotsAktas, Ethem Utku / Yilmaz, Cemal et al. | 2020
- 294
-
Open-Vocabulary Models for Source Code (Extended Abstract)Karampatsis, Rafael-Michael / Babii, Hlib / Robbes, Romain / Sutton, Charles / Janes, Andrea et al. | 2020
- 296
-
Building a Theory of Software Teams Organization in a Continuous Delivery ContextLeite, Leonardo / Kon, Fabio / Pinto, Gustavo / Meirelles, Paulo et al. | 2020
- 298
-
An Intelligent Tool for Combatting Contract Cheating Behaviour by Facilitating Scalable Student-Tutor DiscussionsRenzella, Jake / Cain, Andrew / Schneider, Jean-Guy et al. | 2020
- 300
-
Poster: Debugging InputsKirschner, Lukas / Soremekun, Ezekiel / Zeller, Andreas et al. | 2020
- 302
-
Managing data constraints in database-backed web applicationsYang, Junwen / Sethi, Utsav / Yan, Cong / Cheung, Alvin / Lu, Shan et al. | 2020
- 304
-
Testing DNN Image Classifiers for Confusion & Bias ErrorsTian, Yuchi / Zhong, Ziyuan / Ordonez, Vicente / Kaiser, Gail / Ray, Baishakhi et al. | 2020
- 306
-
Fluid Intelligence Doesn't Matter! Effects of Code Examples on the Usability of Crypto APIsMindermann, Kai / Wagner, Stefan et al. | 2020
- 308
-
Semantic Analysis of Issues on Google Play and TwitterYadav, Aman / Fard, Fatemeh H. et al. | 2020
- 310
-
Summary-Guided Incremental Symbolic ExecutionYi, Qiuping / Wen, Junye / Yang, Guowei et al. | 2020
- 312
-
Elite Developers' Activities at Open Source Ecosystem LevelWang, Zhendong / Feng, Yang / Wang, Yi / Jones, James A. / Redmiles, David et al. | 2020
- 314
-
GUI-focused Overviews of Mobile Development VideosAlahmadi, Mohammad / Khormi, Abdulkarim / Haiduc, Sonia et al. | 2020
- 316
-
Improving Automated Program Repair using Two-layer Tree-based Neural NetworksLi, Yi / Wang, Shaohua / Nguyen, Tien N. et al. | 2020
- 318
-
An Empirical Study on the Characteristics of Question-Answering Process on Developer ForumsLi, Yi / Wang, Shaohua / Nguyen, Tien N. et al. | 2020
- 320
-
Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case StudySung, Chungha / Lahiri, Shuvendu K. / Kaufman, Mike / Choudhury, Pallavi / Wolk, Jessica / Wang, Chao et al. | 2020
- 322
-
Importance-Driven Deep Learning System TestingGerasimou, Simos / Eniser, Hasan Ferit / Sen, Alper / Cakan, Alper et al. | 2020
- 324
-
Refactor4Green: A Game for Novice Programmers to Learn Code SmellsAgrahari, Vartika / Chimalakonda, Sridhar et al. | 2020
- 326
-
Industry Agile Practices in Large-scale Capstone ProjectsSchneider, Jean-Guy / Eklund, Peter W. / Lee, Kevin / Chen, Feifei / Cain, Andrew / Abdelrazek, Mohamed et al. | 2020
- 328
-
Real-world Ethics for Self-Driving CarsHolstein, Tobias / Dodig-Crnkovic, Gordana / Pelliccione, Patrizio et al. | 2020
- 331
-
Author Index| 2020