Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICSE 2020: Seoul, Korea - Companion Volume
- Gregg Rothermel, Doo-Hwan Bae:
ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020. ACM 2020, ISBN 978-1-4503-7122-3
Demonstrations: Cyber-physical systems
- Shafiul Azam Chowdhury, Sohil Lal Shrestha
, Taylor T. Johnson, Christoph Csallner:
SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI). 1-4 - Sergio García, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomás Bures:
PROMISE: high-level mission specification for multiple robots. 5-8
Demonstrations: Web testing
- Phu X. Mai, Arda Goknil, Fabrizio Pastore, Lionel C. Briand:
SMRL: a metamorphic security testing tool for web systems. 9-12 - Alan Romano, Weihang Wang:
WasmView: visual testing for webassembly applications. 13-16
Demonstrations: Android application testing
- Farnaz Behrang, Alessandro Orso:
AppTestMigrator: a tool for automated test migration for Android apps. 17-20
Demonstrations: Contracts
- Zhiqiang Yang, Han Liu, Yue Li, Huixuan Zheng, Lei Wang, Bangdao Chen:
Seraph: enabling cross-platform security analysis for EVM and WASM smart contracts. 21-24
Demonstrations: Software architecture
- Alexander Trautsch, Fabian Trautsch, Steffen Herbold, Benjamin Ledel, Jens Grabowski:
The SmartSHARK ecosystem for software repository mining. 25-28
Demonstrations: Deep learning testing and debugging 1
- Michele Tufano, Jason Kimko, Shiya Wang, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Denys Poshyvanyk:
DeepMutation: a neural mutation tool. 29-32
Demonstrations: Traceability
- Christoph Mayr-Dorn, Michael Vierhauser, Felix Keplinger, Stefan Bichler, Alexander Egyed:
TimeTracer: a tool for back in time traceability replaying. 33-36
Demonstrations: API
- Chunyang Chen:
SimilarAPI: mining analogical APIs for library migration. 37-40
Demonstrations: Deep learning testing and debugging 2
- Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon:
FeatureNET: diversity-driven generation of deep learning models. 41-44 - Yongqiang Tian, Zhihua Zeng, Ming Wen, Yepang Liu, Tzu-yang Kuo, Shing-Chi Cheung:
EvalDNN: a toolbox for evaluating deep neural network models. 45-48
Demonstrations: Fuzzing 2
- Yuanhan Tian, Shengcheng Yu, Chunrong Fang, Peiyuan Li:
FuRong: fusing report of automated Android testing on multi-devices. 49-52
Demonstrations: Static analysis 2
- Hiroaki Yoshida, Rohan Bavishi, Keisuke Hotta, Yusuke Nemoto, Mukul R. Prasad, Shinji Kikuchi:
Phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations. 53-56
Demonstrations: Big data
- Devjeet Roy, Sarah Fakhoury, Venera Arnaoudova:
VITALSE: visualizing eye tracking and biometric data. 57-60
Demonstrations: Symbolic execution
- Muhammad Ali Gulzar, Madanlal Musuvathi, Miryung Kim:
BigTest: a symbolic execution based systematic test generation tool for Apache spark. 61-64 - Richard Rutledge, Alessandro Orso:
PG-KLEE: trading soundness for coverage. 65-68
Demonstrations: Testing 1
- Matias Martinez, Anne Etien, Stéphane Ducasse, Christopher P. Fuhrman:
RTj: a Java framework for detecting and refactoring rotten green test cases. 69-72 - Yung-Pin Cheng, Wei-Nien Hsiung, Yu-Shan Wu, Li-Hsuan Chen:
GeekyNote: a technical documentation tool with coverage, backtracking, traces, and couplings. 73-76
Demonstrations: Android
- Jian Liu, Xusheng Xiao, Lihua Xu, Liang Dou, Andy Podgurski:
DroidMutator: an effective mutation analysis tool for Android applications. 77-80
Demonstrations: Meta studies
- Andreas Hinderks, Francisco José Domínguez Mayo, Jörg Thomaschewski, María José Escalona:
An SLR-tool: search process in practice: a tool to conduct and manage systematic literature review (SLR). 81-84
Demonstrations: Performance
- Robert Chatley, Thomas Allerton:
Nimbus: improving the developer experience for serverless applications. 85-88
Demonstrations: Software verification
- Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric:
mCoq: mutation analysis for Coq verification projects. 89-92 - Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang:
MPI-SV: a symbolic verifier for MPI programs. 93-96
Demonstrations: Testing 2
- Bruno Lima, João Pascoal Faria:
DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios. 97-100
ACM student research competition
- Xiyue Zhang:
Uncertainty-guided testing and robustness enhancement for deep learning systems. 101-103 - Ananga Thapaliya:
Evaluation of brain activity while pair programming. 104-106 - Shashij Gupta:
Machine translation testing via pathological invariance. 107-109 - Sohil Lal Shrestha:
Automatic generation of simulink models to find bugs in a cyber-physical system tool chain using deep learning. 110-112 - Christoph Matthies:
Playing with your project data in scrum retrospectives. 113-115 - Vikram N. Subramanian:
An empirical study of the first contributions of developers to open source projects on GitHub. 116-118 - Chengyu Zhang:
Stress testing SMT solvers via type-aware mutation. 119-121 - Frederike Ramin:
The role of egocentric bias in undergraduate Agile software development teams. 122-124 - Zhenhao Li:
Studying and suggesting logging locations in code blocks. 125-127 - Yiwen Wu:
Exploring the relationship between dockerfile quality and project characteristics. 128-130 - Cassandra Overney:
Hanging by the thread: an empirical study of donations in open source. 131-133 - Zihe Song:
An automated framework for gaming platform to test multiple games. 134-136 - Yi Li:
Improving bug detection and fixing via code representation learning. 137-139 - Alberto Martin-Lopez:
Automated analysis of inter-parameter dependencies in web APIs. 140-142 - Tegan Brennan:
Detection and mitigation of JIT-induced side channels. 143-145 - Rangeet Pan:
Does fixing bug increase robustness in deep learning? 146-148 - Dong Jae Kim:
An empirical study on the evolution of test smell. 149-151 - Cristian Augusto:
Efficient test execution in end to end testing: resource optimization in end to end testing through a smart resource characterization and orchestration. 152-154 - XiuFeng Xu:
Towards automated migration for blockchain-based decentralized application. 155-157
Doctoral symposium
- Kirill Dorofeev:
Skill-based engineering in industrial automation domain: skills modeling and orchestration. 158-161 - Seongmin Lee:
Scalable and approximate program dependence analysis. 162-165 - Elaine Venson:
The effects of required security on software development effort. 166-169 - Hina Anwar:
Towards greener Android application development. 170-173 - John Pyrgies:
Towards DO-178C certification of adaptive learning UAV agents designed with a cognitive architecture. 174-177 - Maxime Lamothe:
Bridging the divide between API users and API developers by mining public code repositories. 178-181 - Anna Maria Eilertsen:
Refactoring operations Grounded in manual code changes. 182-185 - Rusen Halepmollasi:
A composed technical debt identification methodology to predict software vulnerabilities. 186-189 - Muhammad Abbas:
Variability aware requirements reuse analysis. 190-193 - Adriana Meza Soria:
KNOCAP: capturing and delivering important design bits in whiteboard design meetings. 194-197 - Zhenhao Li:
Towards providing automated supports to developers on writing logging statements. 198-201 - Alberto Martin-Lopez:
AI-driven web API testing. 202-205 - Jinfu Chen:
Performance regression detection in DevOps. 206-209 - Agustín E. Martinez Suñé:
Formalization and analysis of quantitative attributes of distributed systems. 210-213 - Jeongju Sohn:
Bridging fault localisation and defect prediction. 214-217 - Gina R. Bai:
Improving students' testing practices. 218-221 - Adam Alami:
The sustainability of quality in free and open source software. 222-225 - Veit Frick:
Understanding software changes: extracting, classifying, and presenting fine-grained source code changes. 226-229 - Iván Arcuschin Moreno:
Search-based test generation for Android apps. 230-233 - Preetha Chatterjee:
Extracting archival-quality information from software-related chats. 234-237 - Orges Cico:
Software startups in growth phase SE practices adopted to SEE. 238-241 - Leevi Rantala:
Towards better technical debt detection with NLP and machine learning methods. 242-245 - Pablo Suárez-Otero:
Towards data integrity in Cassandra database applications using conceptual models. 246-249
Posters
- Weishi Shi, Saad Khan, Yasmine N. El-Glaly, Samuel A. Malachowsky, Qi Yu, Daniel E. Krutz:
Experiential learning in computing accessibility education. 250-251 - Xindong Zhang, Chenguang Zhu, Yi Li, Jianmei Guo, Lihua Liu, Haobo Gu:
Large-scale patch recommendation at Alibaba. 252-253 - Markus Borg:
Do preparatory programming lab sessions contribute to even work distribution in student teams? 254-255 - Hourieh Khalajzadeh, Andrew J. Simmons, Mohamed Abdelrazek, John C. Grundy, John G. Hosking, Qiang He, Prasanna Ratnakanthan, Adil Zia, Meng Law:
A practical, collaborative approach for modeling big data analytics application requirements. 256-257 - Carolin Gold-Veerkamp, Ira Diethelm, Jörg Abke:
A mixed methods research agenda to identify undergraduate misconceptions in software engineering, lecturers' handling, and didactical implications. 258-259 - Candy Pang, Abram Hindle, Denilson Barbosa:
Understanding DevOps education with Grounded theory. 260-261 - Nengwen Zhao, Junjie Chen, Xiao Peng, Honglin Wang, Xinya Wu, Yuanzong Zhang, Zikai Chen, Xiangzhong Zheng, Xiaohui Nie, Gang Wang, Yong Wu, Fang Zhou, Wenchi Zhang, Kaixin Sui, Dan Pei:
Understanding and handling alert storm for online service systems. 262-263 - Mary Sánchez-Gordón, Ricardo Colomo Palacios:
Factors influencing software engineering career choice of Andean indigenous. 264-265 - Jingmei Hu, Jiwon Joung, Maia L. Jacobs, Krzysztof Z. Gajos, Margo I. Seltzer:
ProvBuild: improving data scientist efficiency with provenance. 266-267 - Shurui Zhou, Bogdan Vasilescu, Christian Kästner:
How has forking changed in the last 20 years?: a study of hard forks on GitHub. 268-269 - Xiaoqin Fu, Haipeng Cai:
Scaling application-level dynamic taint analysis to enterprise-scale distributed systems. 270-271 - Robert Benkoczi, Daya Ram Gaur, Shahadat Hossain, Muhammad Khan, Ajay Raj Tedlapu:
Evolutionary hot-spots in software systems. 272-273 - Jiaming Ye, Mingliang Ma, Yun Lin, Yulei Sui, Yinxing Xue:
Clairvoyance: cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts. 274-275 - Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile:
Towards automatic assessment of object-oriented programs. 276-277 - Ziqiang Li, Shin Hwei Tan:
Bugine: a bug report recommendation system for Android apps. 278-279 - Chen Xu, Yan Xiong, Wenchao Huang, Zhaoyi Meng, Fuyou Miao, Cheng Su, Guangshuai Mo:
Identifying compatibility-related APIs by exploring biased distribution in Android apps. 280-281 - Roberto Hens Pato, David Granada, Juan M. Vara, Esperanza Marcos:
Lean kanban in an industrial context: a success story. 282-283 - Ivan Pashchenko, Duc Ly Vu, Fabio Massacci:
Preliminary findings on FOSS dependencies and security: a qualitative study on developers' attitudes and experience. 284-285 - N. C. Shrikanth, Tim Menzies:
What disconnects practitioner belief and empirical evidence? 286-287 - Jiawei Wang, Tzu-yang Kuo, Li Li, Andreas Zeller:
Restoring reproducibility of Jupyter notebooks. 288-289 - Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Identification of cultural influences on requirements engineering activities. 290-291 - Ethem Utku Aktas, Cemal Yilmaz:
An exploratory study on improving automated issue triage with attached screenshots. 292-293 - Rafael-Michael Karampatsis, Hlib Babii, Romain Robbes, Charles Sutton, Andrea Janes:
Open-vocabulary models for source code. 294-295 - Leonardo A. F. Leite, Fabio Kon, Gustavo Pinto, Paulo Meirelles:
Building a theory of software teams organization in a continuous delivery context. 296-297 - Jake Renzella, Andrew Cain, Jean-Guy Schneider:
An intelligent tool for combatting contract cheating behaviour by facilitating scalable student-tutor discussions. 298-299 - Lukas Kirschner, Ezekiel O. Soremekun, Andreas Zeller:
Debugging inputs. 300-301 - Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu:
Managing data constraints in database-backed web applications. 302-303 - Yuchi Tian, Ziyuan Zhong, Vicente Ordonez, Gail E. Kaiser, Baishakhi Ray:
Testing DNN image classifiers for confusion & bias errors. 304-305 - Kai Mindermann, Stefan Wagner:
Fluid intelligence doesn't matter!: effects of code examples on the usability of crypto APIs. 306-307 - Aman Yadav, Fatemeh Hendijani Fard:
Semantic analysis of issues on Google play and Twitter. 308-309 - Qiuping Yi, Junye Wen, Guowei Yang:
Summary-guided incremental symbolic execution. 310-311 - Zhendong Wang, Yang Feng, Yi Wang, James A. Jones, David F. Redmiles:
Elite developers' activities at open source ecosystem level. 312-313 - Mohammad Alahmadi, Abdulkarim Khormi, Sonia Haiduc:
GUI-focused overviews of mobile development videos. 314-315 - Yi Li, Shaohua Wang, Tien N. Nguyen:
Improving automated program repair using two-layer tree-based neural networks. 316-317 - Yi Li, Shaohua Wang, Tien N. Nguyen:
An empirical study on the characteristics of question-answering process on developer forums. 318-319 - Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Jessica Wolk, Chao Wang:
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. 320-321 - Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan:
Importance-driven deep learning system testing. 322-323 - Vartika Agrahari, Sridhar Chimalakonda:
Refactor4Green: a game for novice programmers to learn code smells. 324-325 - Jean-Guy Schneider, Peter W. Eklund, Kevin Lee, Feifei Chen, Andrew Cain, Mohamed Abdelrazek:
Industry Agile practices in large-scale capstone projects. 326-327 - Tobias Holstein, Gordana Dodig-Crnkovic, Patrizio Pelliccione:
Real-world ethics for self-driving cars. 328-329
a service of 
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-05-05 01:11 CEST 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:
