![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
36th ASE 2021: Melbourne, Australia
- 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021. IEEE 2021, ISBN 978-1-6654-0337-5
- Chakkrit Kla Tantithamthavorn, Jirayus Jiarpakdee:
Explainable AI for Software Engineering. 1-2 - Martin Gruber:
Tackling Flaky Tests: Understanding the Problem and Providing Practical Solutions. 1-3 - Xing Hu, Zhipeng Gao
, Xin Xia, David Lo, Xiaohu Yang:
Automating User Notice Generation for Smart Contract Functions. 5-17 - Zikai Liu, Tingkai Liu
, Qi Li, Wenqing Luo, Steven S. Lumetta:
End-to-End Automation of Feedback on Student Assembly Programs. 18-29 - Ian X. Gauthier, Maxime Lamothe, Gunter Mussbacher, Shane McIntosh:
Is Historical Data an Appropriate Benchmark for Reviewer Recommendation Systems? : A Case Study of the Gerrit Community. 30-41 - Alan Romano
, Xinyue Liu, Yonghwi Kwon, Weihang Wang
:
An Empirical Study of Bugs in WebAssembly Compilers. 42-54 - Chen Liu, Jie Lu, Guangwei Li, Ting Yuan, Lian Li, Feng Tan, Jun Yang, Liang You, Jingling Xue:
Detecting TensorFlow Program Bugs in Real-World Industrial Environment. 55-66 - Mingwei Zheng
, Jun Yang, Ming Wen, Hengcheng Zhu
, Yepang Liu, Hai Jin:
Why Do Developers Remove Lambda Expressions in Java? 67-78 - Dongjie He, Jingbo Lu, Jingling Xue:
Context Debloating for Object-Sensitive Pointer Analysis. 79-91 - Steven Zhu, Nader Al Awar, Mattan Erez
, Milos Gligoric:
Dynamic Generation of Python Bindings for HPC Kernels. 92-103 - Songqiang Chen
, Shuo Jin, Xiaoyuan Xie:
Testing Your Question Answering Software via Asking Recursively. 104-116 - Dimitri Michel Stallenberg, Mitchell Olsthoorn
, Annibale Panichella:
Improving Test Case Generation for REST APIs Through Hierarchical Clustering. 117-128 - Rohan Bavishi, Shadaj Laddad
, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen:
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks. 129-141 - Lin Shi, Ziyou Jiang
, Ye Yang, Xiao Chen, Yumin Zhang, Fangwen Mu, Hanzhi Jiang, Qing Wang:
ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats. 142-154 - Jia Li, Yongmin Li, Ge Li, Xing Hu, Xin Xia, Zhi Jin:
EditSum: A Retrieve-and-Edit Framework for Source Code Summarization. 155-166 - Binger Chen, Ziawasch Abedjan:
Interactive Cross-language Code Retrieval with Auto-Encoders. 167-178 - Malte Mues
, Falk Howar
:
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost. 179-190 - Yanqi Su, Zhenchang Xing, Xin Peng, Xin Xia, Chong Wang, Xiwei Xu, Liming Zhu:
Reducing Bug Triaging Confusion by Learning from Mistakes with a Bug Tossing Knowledge Graph. 191-202 - Alireza S. Abyaneh, Christoph M. Kirsch:
ASE: A Value Set Decision Procedure for Symbolic Execution. 203-214 - Chaofan Shou, Ismet Burak Kadron, Qi Su, Tevfik Bultan:
CorbFuzz: Checking Browser Security Policies with Fuzzing. 215-226 - Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, Sang Kil Cha:
SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses. 227-239 - Chenguang Zhu, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid:
Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs. 240-252 - Phuong T. Nguyen
, Claudio Di Sipio
, Juri Di Rocco
, Massimiliano Di Penta, Davide Di Ruscio
:
Adversarial Attacks to API Recommender Systems: Time to Wake Up and Smell the Coffeeƒ. 253-265 - Kaifeng Huang, Bihuan Chen, Linghao Pan, Shuai Wu, Xin Peng:
REPFINDER: Finding Replacements for Missing APIs in Library Update. 266-278 - Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini
, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu
, Tao Xie:
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. 279-291 - David A. Tomassi, Cindy Rubio-González:
On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions. 292-303 - Chenyang Yang
, Shurui Zhou, Jin L. C. Guo, Christian Kästner
:
Subtle Bugs Everywhere: Generating Documentation for Data Wrangling Code. 304-316 - Felipe Toledo
, David Shriver
, Sebastian G. Elbaum, Matthew B. Dwyer
:
Distribution Models for Falsification and Verification of DNNs. 317-329 - Ugur Koc, Austin Mordahl, Shiyi Wei, Jeffrey S. Foster, Adam A. Porter:
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools. 330-342 - Jia Lee, Geunyeol Yu, Kyungmin Bae:
Efficient SMT-Based Model Checking for Signal Temporal Logic. 343-354 - Vincenzo Riccio
, Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella:
DeepMetis: Augmenting a Deep Learning Test Set to Increase its Mutation Score. 355-367 - Uraz Cengiz Türker, Robert M. Hierons
, Mohammad Reza Mousavi, Ivan Yu. Tyukin:
Efficient state synchronisation in model-based testing through reinforcement learning. 368-380 - Bo Wang
, Sirui Lu
, Yingfei Xiong, Feng Liu:
Faster Mutation Analysis with Fewer Processes and Smaller Overheads. 381-393 - Huy Tu, Tim Menzies
:
FRUGAL: Unlocking Semi-Supervised Learning for Software Analytics. 394-406 - Chanathip Pornprasit, Chakkrit Tantithamthavorn, Jirayus Jiarpakdee, Michael Fu, Patanamon Thongtanunam:
PyExplainer: Explaining the Predictions of Just-In-Time Defect Models. 407-418 - Hanzhang Wang, Zhengkai Wu, Huai Jiang, Yichao Huang, Jiamu Wang, Selçuk Köprü, Tao Xie:
Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial Settings. 419-429 - Zhuangbin Chen, Jinyang Liu
, Yuxin Su, Hongyu Zhang, Xuemin Wen, Xiao Ling, Yongqiang Yang, Michael R. Lyu:
Graph-based Incident Aggregation for Large-Scale Online Service Systems. 430-442 - Saikat Chakraborty, Baishakhi Ray:
On Multi-Modal Learning of Editing Source Code. 443-455 - Neil Kulkarni, Caroline Lemieux, Koushik Sen:
Learning Highly Recursive Input Grammars. 456-467 - Pin Ji, Yang Feng, Jia Liu, Zhihong Zhao, Baowen Xu:
Automated Testing for Machine Translation via Constituency Invariance. 468-479 - Xiaoning Chang, Wensheng Dou, Jun Wei, Tao Huang, Jinhui Xie, Yuetang Deng, Jianbo Yang, Jiaheng Yang:
Race Detection for Event-Driven Node.js Applications. 480-491 - Van-Hoang Le
, Hongyu Zhang:
Log-based Anomaly Detection Without Log Parsing. 492-504 - Hao Zhou
, Haoyu Wang, Shuohan Wu, Xiapu Luo, Yajin Zhou, Ting Chen, Ting Wang:
Finding the Missing Piece: Permission Specification Analysis for Android NDK. 505-516 - Huaxun Huang, Ming Wen, Lili Wei
, Yepang Liu, Shing-Chi Cheung:
Characterizing and Detecting Configuration Compatibility Issues in Android Apps. 517-528 - Wuxia Jin, Dinghong Zhong, Zifan Ding, Ming Fan, Ting Liu:
Where to Start: Studying Type Annotation Practices in Python. 529-541 - Valerio Terragni, Pasquale Salza
:
APIzation: Generating Reusable APIs from StackOverflow Code Snippets. 542-554 - Shaohua Zhang, Shuang Liu, Jun Sun, Yuqi Chen, Wenzhi Huang, Jinyi Liu, Jian Liu, Jianye Hao:
FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning. 555-567 - Yuwei Liu
, Yanhao Wang, Purui Su, Yuanping Yu, Xiangkun Jia:
InstruGuard: Find and Fix Instrumentation Errors for Coverage-based Greybox Fuzzing. 568-580 - Jianfeng Jiang
, Hui Xu, Yangfan Zhou:
RULF: Rust Library Fuzzing via API Dependency Graph Traversal. 581-592 - Tongjie Wang, Yaroslav Golubev
, Oleg Smirnov, Jiawei Li, Timofey Bryksin, Iftekhar Ahmed:
PyNose: A Test Smell Detector For Python. 593-605 - Jihyeok Park
, Seungmin An, Wonho Shin, Yusung Sim, Sukyoung Ryu
:
JSTAR: JavaScript Specification Type Analyzer using Refinement. 606-616 - Chenyao Liu, Zeqi Lin, Jian-Guang Lou, Lijie Wen
, Dongmei Zhang:
Can Neural Clone Detection Generalize to Unseen Functionalitiesƒ. 617-629 - Lu Liu, Lili Wei
, Wuqi Zhang
, Ming Wen, Yepang Liu, Shing-Chi Cheung:
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts. 630-641 - Youcef Remil, Anes Bendimerad
, Romain Mathonat, Philippe Chaleat, Mehdi Kaytoue:
"What makes my queries slow?": Subgroup Discovery for SQL Workload Analysis. 642-652 - Tianyi Yang, Jiacheng Shen
, Yuxin Su, Xiao Ling, Yongqiang Yang, Michael R. Lyu:
AID: Efficient Prediction of Aggregated Intensity of Dependency in Large-scale Cloud Systems. 653-665 - Sen He
, Tianyi Liu, Palden Lama, Jaewoo Lee, In Kee Kim, Wei Wang
:
Performance Testing for Cloud Computing with Dependent Data Bootstrapping. 666-678 - Udit Agarwal, Pantazis Deligiannis
, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao:
Nekara: Generalized Concurrency Testing. 679-691 - Jiyuan Wang, Qian Zhang, Guoqing Harry Xu, Miryung Kim:
QDiff: Differential Testing of Quantum Software Stacks. 692-704 - Jiayuan Zhou, Michael Pacheco
, Zhiyuan Wan, Xin Xia, David Lo, Yuan Wang, Ahmed E. Hassan:
Finding A Needle in a Haystack: Automated Mining of Silent Vulnerability Fixes. 705-716 - Triet Huynh Minh Le
, David Hin, Roland Croft, Muhammad Ali Babar:
DeepCVA: Automated Commit-level Vulnerability Assessment with Deep Multi-task Learning. 717-729 - Ali S. Alotaibi
, Paul T. Chiou
, William G. J. Halfond:
Automated Repair of Size-Based Inaccessibility Issues in Mobile Applications. 730-742 - Md Kafil Uddin, Qiang He, Jun Han, Caslon Chua
:
Mining Cross-Domain Apps for Software Evolution: A Feature-based Approach. 743-755 - Saghar Talebipour, Yixue Zhao
, Luka Dojcilovic, Chenggang Li, Nenad Medvidovic:
UI Test Migration Across Mobile Platforms. 756-767 - Chaima Abid, James Ivers
, Thiago do Nascimento Ferreira, Marouane Kessentini, Fares E. Kahla, Ipek Ozkaya:
Intelligent Change Operators for Multi-Objective Refactoring. 768-780 - Emna Ksontini, Marouane Kessentini, Thiago do Nascimento Ferreira, Foyzul Hassan:
Refactorings and Technical Debt in Docker Projects: An Empirical Study. 781-791 - Qiang Liu
, Cen Zhang, Lin Ma, Muhui Jiang, Yajin Zhou, Lei Wu, Wenbo Shen, Xiapu Luo, Yang Liu
, Kui Ren:
FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution. 792-804 - Peiyu Liu, Shouling Ji, Xuhong Zhang, Qinming Dai, Kangjie Lu, Lirong Fu, Wenzhi Chen, Peng Cheng, Wenhai Wang, Raheem Beyah:
IFIZZ: Deep-State and Efficient Fault-Scenario Generation to Test IoT Firmware. 805-816 - Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna
, Sahil Garg:
Learning Patterns in Configuration. 817-828 - Wensheng Tang, Yikun Hu, Gang Fan, Peisen Yao, Rongxin Wu
, Guangyuan Bai, Pengcheng Wang, Charles Zhang:
Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems. 829-841 - Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari
, Faisal Alhwikem, Xinwei Fang:
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. 842-853 - Shengyi Pan, Lingfeng Bao, Xiaoxue Ren, Xin Xia, David Lo
, Shanping Li:
Automating Developer Chat Mining. 854-866 - Matteo Paltenghi, Michael Pradel:
Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code. 867-879 - Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan Qiu:
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers. 880-891 - Penghui Li
, Yinxi Liu, Wei Meng:
Understanding and Detecting Performance Bugs in Markdown Compilers. 892-904 - Faraz Yazdani Banafshe Daragh
, Sam Malek:
Deep GUI: Black-box GUI Input Generation with Deep Learning. 905-916 - Qiang Hu, Yuejun Guo
, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis
, Yves Le Traon
:
Towards Exploring the Limitations of Active Learning: An Empirical Study. 917-929 - Christof Tinnes
, Timo Kehrer, Mitchell Joblin, Uwe Hohenstein, Andreas Biesdorf
, Sven Apel
:
Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining. 930-942 - Sofonias Yitagesu, Zhenchang Xing, Xiaowang Zhang
, Zhiyong Feng, Xiaohong Li, Linyi Han:
Unsupervised Labeling and Extraction of Phrase-based Concepts in Vulnerability Descriptions. 943-954 - James Brotherston, Paul Brunet
, Nikos Gorogiannis, Max I. Kanovich:
A Compositional Deadlock Detector for Android Java. 955-966 - Elie Mengin, Fabrice Rossi:
Binary Diffing as a Network Alignment Problem via Belief Propagation. 967-978 - Tobias Roth
, Dominik Helm
, Michael Reif, Mira Mezini:
CiFi: Versatile Analysis of Class and Field Immutability. 979-990 - Elvan Kula, Arie van Deursen, Georgios Gousios:
Modeling Team Dynamics for the Characterization and Prediction of Delays in User Stories. 991-1002 - Derui Zhu, Jinfu Chen, Weiyi Shang, Xuebing Zhou, Jens Grossklags, Ahmed E. Hassan:
DeepMemory: Model-based Memorization Analysis of Deep Neural Language Models. 1003-1015 - Nicolas Dilley, Julien Lange
:
Automated Verification of Go Programs via Bounded Model Checking. 1016-1027 - Kareshna Zamani:
A Prediction Model for Software Requirements Change Impact. 1028-1032 - Shangeetha Sivasothy:
DSInfoSearch: Supporting Experimentation Process of Data Scientists. 1033-1037 - Tuan Dung Lai:
Towards the generation of machine learning defect reports. 1038-1042 - Sina Gholamian:
Leveraging Code Clones and Natural Language Processing for Log Statement Prediction. 1043-1047 - Yifan Zhou:
An Automated Pipeline for Privacy Leak Analysis of Android Applications. 1048-1050 - Charaka Geethal:
Training Automated Test Oracles to Identify Semantic Bugs. 1051-1055 - Zian Liu:
Binary Code Similarity Detection. 1056-1060 - Tarek Mahmud:
API Compatibility Issue Detection, Testing and Analysis for Android Apps. 1061-1063 - Xiuheng Wu:
Effectively Analyzing Evolving Software with Differential Facts. 1064-1068 - Hassan Sartaj
:
Automated Approach for System-level Testing of Unmanned Aerial Systems. 1069-1073 - Zhiming Li:
Cross-Lingual Transfer Learning Framework for Program Analysis. 1074-1078 - Chi Zhang, Jinfu Chen:
Fuzzing Methods Recommendation Based on Feature Vectors. 1079-1081 - Chunmiao Li:
Gas Estimation and Optimization for Smart Contracts on Ethereum. 1082-1086 - Kristiina Rahkema:
Quality analysis of mobile applications with special focus on security aspects. 1087-1089 - Sandro Speth:
Semi-automated Cross-Component Issue Management and Impact Analysis. 1090-1094 - Youcef Remil:
How Can Subgroup Discovery Help AIOps? 1098-1100 - Hanyoung Yoo, Jingun Hong, Lucas Bader, Dongwon Hwang, Shin Hong:
Improving Configurability of Unit-level Continuous Fuzzing: An Industrial Case Study with SAP HANA. 1101-1105 - Davrondzhon Gafurov, Arne Erik Hurum, Margrete Sunde Grovan:
Access Control Tree for Testing and Learning. 1106-1110 - Qingshun Wang, Lihua Xu, Jun Xiao, Qi Guo, Haotian Zhang, Liang Dou, Liang He, Tao Xie:
FinFuzzer: One Step Further in Fuzzing Fintech Systems. 1111-1115 - Maayan Goldstein, Cecilia González-Alvarez:
Evaluating Semantic Autocompletion of Business Processes with Domain Experts. 1116-1120 - Sayandeep Mitra, Debayan Mukherjee, Atreya Bandyopadhyay, Rajdip Chowdhury, Raveendra Kumar Medicherla, Indrajit Bhattacharya, Ravindra Naik:
Learning-based Assistant for Data Migration of Enterprise Information Systems. 1121-1125 - Rui Abreu, Franjo Ivancic, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan:
Reducing Time-To-Fix For Fuzzer Bugs. 1126-1130 - Samuel C. Fonseca, Mateus C. Lucena, Tiago M. Reis, Pedro F. Cabral, Walmir A. Silva, Flávia de S. Santos, Felipe T. Giuntini
, Juliano Sales:
Automatically Deciding on the Integration of Commits Based on Their Descriptions. 1131-1135 - Jake Tronge, Jieyang Chen, Patricia Grubel, Tim Randles, Rusty Davis, Quincy Wofford
, Steven Anaya, Qiang Guan:
BeeSwarm: Enabling Parallel Scaling Performance Measurement in Continuous Integration for HPC Applications. 1136-1140 - Rahul Yedida
, Rahul Krishna, Anup K. Kalia, Tim Menzies, Jin Xiao, Maja Vukovic:
Lessons learned from hyper-parameter tuning for microservice candidate identification. 1141-1145 - Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern:
Learning GraphQL Query Cost. 1146-1150 - Yushi Cao, Yan Zheng, Shang-Wei Lin, Yang Liu
, Yon Shin Teo, Yuxuan Toh, Vinay Vishnumurthy Adiga:
Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning. 1151-1155 - Yifei Zhang, Tianxiao Gu, Xiaolin Zheng, Lei Yu, Wei Kuai, Sanhong Li:
Towards a Serverless Java Runtime. 1156-1160 - Cen Zhang, Yuekang Li
, Hongxu Chen, Xiaoxing Luo, Miaohua Li, Anh Quynh Nguyen, Yang Liu
:
BIFF: Practical Binary Fuzzing Framework for Programs of IoT and Mobile Devices. 1161-1165 - Vladislav Tankov, Dmitriy Valchuk, Yaroslav Golubev
, Timofey Bryksin:
Infrastructure in Code: Towards Developer-Friendly Cloud Applications. 1166-1170 - Rui Li, Huai Liu
, Guannan Lou, James Xi Zheng
, Xiao Liu, Tsong Yueh Chen:
Metamorphic Testing on Multi-module UAV Systems. 1171-1173 - José Miguel Pérez-Álvarez, Adrian Mos, Benjamin V. Hanrahan, Iyadunni J. Adenuga:
Decoupling Server and Client Code Through Cloud-Native Domain-Specific Functions. 1174-1176 - Akalanka Galappaththi, John Anvik, Rafat Bin Islam:
Automatically Annotating Sentences for Task-specific Bug Report Summarization. 1177-1179 - Rafail Giavrimis, Alexis Butler, Constantin Cezar Petrescu, Michail Basios, Santanu Kumar Dash:
Genetic Optimisation of C++ Applications. 1180-1182 - Zexuan Li, Hao Zhong
:
Revisiting Textual Feature of Bug-Triage Approach. 1183-1185 - Siqi Li, Yun Lin, Xiaofei Xie, Yuekang Li
, Xiaohong Li, Weimin Ge, Yang Liu
, Jin Song Dong:
A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing. 1186-1189 - Soha Hussein
, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Counterexample Guided Inductive Repair of Reactive Contracts. 1190-1192 - Ze Tang, Chuanyi Li, Jidong Ge, Xiaoyu Shen, Zheling Zhu, Bin Luo:
AST-Transformer: Encoding Abstract Syntax Trees Efficiently for Code Summarization. 1193-1195 - Zuohui Chen, Renxuan Wang, Jingyang Xiang, Yue Yu, Xin Xia, Shouling Ji, Qi Xuan, Xiaoniu Yang:
Detecting Adversarial Samples with Graph-Guided Testing. 1196-1198 - Vincent Bushong, Dipta Das, Abdullah Al Maruf
, Tomás Cerný:
Using Static Analysis to Address Microservice Architecture Reconstruction. 1199-1201 - Md Rofiqul Islam, Tomás Cerný:
Business Process Extraction Using Static Analysis. 1202-1204 - Juyoung Jeon, Shin Hong:
Improving Mutation-Based Fault Localization with Plausible-code Generating Mutation Operators. 1205-1207 - Abdullah Al Maruf
, Noah Lambaria, Amr S. Abdelfattah, Tomás Cerný:
Using Version Control and Issue Tickets to detect Code Debt and Economical Cost. 1208-1209 - Tien N. Nguyen, Kim-Kwang Raymond Choo:
Human-in-the-Loop XAI-enabled Vulnerability Detection, Investigation, and Mitigation. 1210-1212 - Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias:
BeAFix: An Automated Repair Tool for Faulty Alloy Models. 1213-1217 - Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri:
FLACK: Localizing Faults in Alloy Models. 1218-1222 - Zhou Yang, Jieke Shi
, Shaowei Wang, David Lo:
IncBL: Incremental Bug Localization. 1223-1226 - Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad:
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions. 1227-1231 - KimHao Nguyen, ThanhVu Nguyen:
GenTree: Inferring Configuration Interactions using Decision Trees. 1232-1236 - Xinyi Wang, Paolo Arcaini
, Tao Yue, Shaukat Ali:
Quito: a Coverage-Guided Test Generator for Quantum Programs. 1237-1241 - Oleg Smirnov, Artyom Lobanov, Yaroslav Golubev
, Elena Tikhomirova, Timofey Bryksin:
Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching. 1242-1246 - Xiang Gao, Gregory J. Duck
, Abhik Roychoudhury:
Scalable Fuzzing of Program Binaries with E9AFL. 1247-1251 - Xiuheng Wu, Mengyang Li, Yi Li:
EvoMe: A Software Evolution Management Engine Based on Differential Factbase. 1252-1256 - Saranphon Phaithoon, Supakarn Wongnil, Patiphol Pussawong, Morakot Choetkiertikul, Chaiyong Ragkhitwetsagul, Thanwadee Sunetnanta, Rungroj Maipradit, Hideaki Hata, Kenichi Matsumoto:
FixMe: A GitHub Bot for Detecting and Monitoring On-Hold Self-Admitted Technical Debt. 1257-1261 - Sophie Xie, Junwen Yang, Shan Lu:
Automated Code Refactoring upon Database-Schema Changes in Web Applications. 1262-1265 - Eñaut Mendiluze, Shaukat Ali, Paolo Arcaini
, Tao Yue:
Muskit: A Mutation Analysis Tool for Quantum Software Testing. 1266-1270 - Masayuki Taniguchi, Shinsuke Matsumoto, Shinji Kusumoto:
JTDog: a Gradle Plugin for Dynamic Test Smell Detection. 1271-1275 - Zarina Kurbatova, Vladimir Kovalenko, Ioana Savu, Bob Brockbernd, Dan Andreescu, Matei Anton, Roman Venediktov, Elena Tikhomirova, Timofey Bryksin:
RefactorInsight: Enhancing IDE Representation of Changes in Git with Refactorings Information. 1276-1280 - Marcello Cordeiro, Denini Silva
, Leopoldo Teixeira, Breno Miranda, Marcelo d'Amorim:
Shaker: a Tool for Detecting More Flaky Tests Faster. 1281-1285 - Hung Viet Pham, Mijung Kim, Lin Tan, Yaoliang Yu, Nachiappan Nagappan:
DEVIATE: A Deep Learning Variance Testing Framework. 1286-1290 - Bo Shen, Wei Zhang, Ailun Yu, Yifan Shi, Haiyan Zhao, Zhi Jin:
SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically. 1291-1295 - Dheeraj Vagavolu, Karthik Chandra Swarna
, Sridhar Chimalakonda:
A Mocktail of Source Code Representations. 1296-1300 - Weihang Wang:
Empowering Web Applications with WebAssembly: Are We There Yet? 1301-1305 - Shuo Jin, Songqiang Chen
, Xiaoyuan Xie:
Property-based Test for Part-of-Speech Tagging Tool. 1306-1311 - Zexuan Li, Hao Zhong:
Understanding Code Fragments with Issue Reports. 1312-1316 - Zexuan Li, Hao Zhong
:
An Empirical Study on Obsolete Issue Reports. 1317-1321 - Max Hort, Federica Sarro
:
Did You Do Your Homework? Raising Awareness on Software Fairness and Discrimination. 1322-1326 - Thomas Laurent, Paolo Arcaini
, Fuyuki Ishikawa, Anthony Ventresque:
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems. 1327-1331 - Anjan Karmakar, Romain Robbes:
What do pre-trained code models know about code? 1332-1336 - Van-Thuan Pham, Manh-Dung Nguyen, Quang-Trung Ta, Toby Murray, Benjamin I. P. Rubinstein:
Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing. 1337-1341 - Yun Tang
, Yuan Zhou, Tianwei Zhang, Fenghua Wu, Yang Liu
, Gang Wang:
Systematic Testing of Autonomous Driving Systems Using Map Topology-Based Scenario Classification. 1342-1346 - Dalal Alrajeh, Patrick Benjamin, Sebastián Uchitel:
Adaptation2: Adapting Specification Learners in Assured Adaptive Systems. 1347-1352 - Ruchi Mahindru, Harshit Kumar, Sahil Bansal:
Log Anomaly to Resolution: AI Based Proactive Incident Remediation. 1353-1357 - Ibrahim Mesecan, Daniel Blackwell, David Clark
, Myra B. Cohen, Justyna Petke
:
HyperGI: Automated Detection and Repair of Information Flow Leakage. 1358-1362 - Yizhaq Benbenisty, Irit Hadar, Gil Luria, Paola Spoletini
:
Privacy as first-class requirements in software development: A socio-technical approach. 1363-1367 - Ammar Yasser, Mervat Abu-Elkheir:
Towards Fluid Software Architectures: Bidirectional Human-AI Interaction. 1368-1372 - Pengzhan Zhao
, Jianjun Zhao, Zhongtao Miao, Shuhan Lan:
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs. 1373-1376 - Leonhard Applis, Annibale Panichella, Arie van Deursen:
Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations. 1377-1381 - Chijung Jung, Doowon Kim
, Weihang Wang, Yunhui Zheng, Kyu Hyung Lee, Yonghwi Kwon:
Defeating Program Analysis Techniques via Ambiguous Translation. 1382-1387 - Ali Shokri:
A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base. 1388-1390 - Zihui Wang:
Program Synthesis with Algorithm Pseudocode Guidance. 1391-1393 - Duc-Ly Vu:
py2src: Towards the Automatic (and Reliable) Identification of Sources for PyPI Package. 1394-1396
![](https://dblp.org/img/cog.dark.24x24.png)
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.