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
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
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
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
Dynamic Generation of Python Bindings for HPC Kernels. 92-103 - Songqiang Chen
Testing Your Question Answering Software via Asking Recursively. 104-116 - Dimitri Michel Stallenberg, Mitchell Olsthoorn
Improving Test Case Generation for REST APIs Through Hierarchical Clustering. 117-128 - Rohan Bavishi, Shadaj Laddad
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks. 129-141 - Lin Shi
ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats. 142-154 - Jia Li, Yongmin Li
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
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
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
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
Subtle Bugs Everywhere: Generating Documentation for Data Wrangling Code. 304-316 - Felipe Toledo
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
DeepMetis: Augmenting a Deep Learning Test Set to Increase its Mutation Score. 355-367 - Uraz Cengiz Türker, Robert M. Hierons
Efficient state synchronisation in model-based testing through reinforcement learning. 368-380 - Bo Wang
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
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
Log-based Anomaly Detection Without Log Parsing. 492-504 - Hao Zhou
Finding the Missing Piece: Permission Specification Analysis for Android NDK. 505-516 - Huaxun Huang, Ming Wen, Lili Wei
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
InstruGuard: Find and Fix Instrumentation Errors for Coverage-based Greybox Fuzzing. 568-580 - Jianfeng Jiang
RULF: Rust Library Fuzzing via API Dependency Graph Traversal. 581-592 - Tongjie Wang, Yaroslav Golubev
PyNose: A Test Smell Detector For Python. 593-605 - Jihyeok Park
JSTAR: JavaScript Specification Type Analyzer using Refinement. 606-616 - Chenyao Liu, Zeqi Lin, Jian-Guang Lou, Lijie Wen
Can Neural Clone Detection Generalize to Unseen Functionalitiesƒ. 617-629 - Lu Liu, Lili Wei
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts. 630-641 - Youcef Remil, Anes Bendimerad
"What makes my queries slow?": Subgroup Discovery for SQL Workload Analysis. 642-652 - Tianyi Yang, Jiacheng Shen
AID: Efficient Prediction of Aggregated Intensity of Dependency in Large-scale Cloud Systems. 653-665 - Sen He
Performance Testing for Cloud Computing with Dependent Data Bootstrapping. 666-678 - Udit Agarwal, Pantazis Deligiannis
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
Finding A Needle in a Haystack: Automated Mining of Silent Vulnerability Fixes. 705-716 - Triet Huynh Minh Le
DeepCVA: Automated Commit-level Vulnerability Assessment with Deep Multi-task Learning. 717-729 - Ali S. Alotaibi
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
UI Test Migration Across Mobile Platforms. 756-767 - Chaima Abid, James Ivers
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
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
Learning Patterns in Configuration. 817-828 - Wensheng Tang, Yikun Hu, Gang Fan, Peisen Yao, Rongxin Wu
Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems. 829-841 - Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. 842-853 - Shengyi Pan, Lingfeng Bao, Xiaoxue Ren, Xin Xia, David Lo
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
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers. 880-891 - Penghui Li
Understanding and Detecting Performance Bugs in Markdown Compilers. 892-904 - Faraz Yazdani Banafshe Daragh
Deep GUI: Black-box GUI Input Generation with Deep Learning. 905-916 - Qiang Hu, Yuejun Guo
Towards Exploring the Limitations of Active Learning: An Empirical Study. 917-929 - Christof Tinnes
Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining. 930-942 - Sofonias Yitagesu, Zhenchang Xing, Xiaowang Zhang
Unsupervised Labeling and Extraction of Phrase-based Concepts in Vulnerability Descriptions. 943-954 - James Brotherston, Paul Brunet
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
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
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
BeeSwarm: Enabling Parallel Scaling Performance Measurement in Continuous Integration for HPC Applications. 1136-1140 - Rahul Yedida
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
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
BIFF: Practical Binary Fuzzing Framework for Programs of IoT and Mobile Devices. 1161-1165 - Vladislav Tankov, Dmitriy Valchuk, Yaroslav Golubev
Infrastructure in Code: Towards Developer-Friendly Cloud Applications. 1166-1170 - Rui Li
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
A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing. 1186-1189 - Soha Hussein
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
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
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
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
Quito: a Coverage-Guided Test Generator for Quantum Programs. 1237-1241 - Oleg Smirnov, Artyom Lobanov, Yaroslav Golubev
Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching. 1242-1246 - Xiang Gao, Gregory J. Duck
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
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
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
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
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
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
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
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
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
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
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
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-11-22 19:48 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: