DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems Developers (Englisch)
- Neue Suche nach: Zhang, Bohan
- Neue Suche nach: Shivalingaiah, Yashaswini
- Neue Suche nach: Agrawal, Ankit
- Neue Suche nach: Zhang, Bohan
- Neue Suche nach: Shivalingaiah, Yashaswini
- Neue Suche nach: Agrawal, Ankit
In:
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)
;
2082-2085
;
2023
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems Developers
-
Beteiligte:
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE
-
Erscheinungsdatum:11.09.2023
-
Format / Umfang:1190368 byte
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Copyright| 2023
- 1
-
Title Page i| 2023
- 1
-
CertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature SpaceZheng, Haibin / Chen, Jinyin / Jin, Haibo et al. | 2023
- 1
-
Title Page iii| 2023
- 14
-
Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential PromptingLi, Tsz-On / Zong, Wenxi / Wang, Yibo / Tian, Haoye / Wang, Ying / Cheung, Shing-Chi / Kramer, Jeff et al. | 2023
- 27
-
Robin: A Novel Method to Produce Robust Interpreters for Deep Learning-Based Code ClassifiersLi, Zhen / Zhang, Ruqian / Zou, Deqing / Wang, Ning / Li, Yating / Xu, Shouhuai / Chen, Chen / Jin, Hai et al. | 2023
- 40
-
The Devil is in the Tails: How Long-Tailed Code Distributions Impact Large Language ModelsZhout, Xin / Kim, Kisub / Xu, Bowen / Liu, Jiakun / Han, DongGyun / Lo, David et al. | 2023
- 53
-
DeepScaler: Holistic Autoscaling for Microservices Based on Spatiotemporal GNN with Adaptive Graph LearningMeng, Chunyang / Song, Shijie / Tong, Haogang / Pan, Maolin / Yu, Yang et al. | 2023
- 66
-
Twin Graph-Based Anomaly Detection via Attentive Multi-Modal Learning for Microservice SystemHuang, Jun / Yang, Yang / Yu, Hang / Li, Jianguo / Zheng, Xiao et al. | 2023
- 79
-
Dynamic Graph Neural Networks-Based Alert Link Prediction for Online Service SystemsChen, Yiru / Zhang, Chenxi / Dong, Zhen / Yang, Dingyu / Peng, Xin / Ou, Jiayu / Yang, Hong / Wu, Zheshun / Qu, Xiaojun / Li, Wei et al. | 2023
- 91
-
Vicious Cycles in Distributed Software SystemsQian, Shangshu / Fan, Wen / Tan, Lin / Zhang, Yongle et al. | 2023
- 104
-
Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural NetworksHu, Yang / Wang, Wenxi / Khurshid, Sarfraz / McMillan, Kenneth L. / Tiwari, Mohit et al. | 2023
- 116
-
Maat: Performance Metric Anomaly Anticipation for Cloud Services with Conditional DiffusionLee, Cheryl / Yang, Tianyi / Chen, Zhuangbin / Su, Yuxin / Lyu, Michael R. et al. | 2023
- 129
-
Are They All Good? Studying Practitioners' Expectations on the Readability of Log MessagesLi, Zhenhao / Chen, An Ran / Hu, Xing / Xia, Xin / Chen, Tse-Hsun / Shang, Weiyi et al. | 2023
- 141
-
LogOnline: A Semi-Supervised Log-Based Anomaly Detector Aided with Online Learning MechanismWang, Xuheng / Song, Jiaxing / Zhang, Xu / Tang, Junshu / Gao, Weihe / Lin, Qingwei et al. | 2023
- 153
-
Repeated Builds During Code Review: An Empirical Study of the OpenStack CommunityMaipradit, Rungroj / Wang, Dong / Thongtanunam, Patanamon / Kula, Raula Gaikovina / Kamei, Yasutaka / McIntosh, Shane et al. | 2023
- 166
-
An Empirical Study of Malicious Code In PyPI EcosystemGuo, Wenbo / Xu, Zhengzi / Liu, Chengwei / Huang, Cheng / Fang, Yong / Liu, Yang et al. | 2023
- 178
-
Understanding and Remediating Open-Source License Incompatibilities in the PyPI EcosystemXu, Weiwei / He, Hao / Gao, Kai / Zhou, Minghui et al. | 2023
- 191
-
Mitigating Persistence of Open-Source Vulnerabilities in Maven EcosystemZhang, Lyuye / Liu, Chengwei / Chen, Sen / Xu, Zhengzi / Fan, Lingling / Zhao, Lida / Zhang, Yiran / Liu, Yang et al. | 2023
- 204
-
Fork Entropy: Assessing the Diversity of Open Source Software Projects' ForksWang, Liang / Zheng, Zhiwen / Wu, Xiangchen / Sang, Baihui / Zhang, Jierui / Tao, Xianping et al. | 2023
- 217
-
EALink: An Efficient and Accurate Pre-Trained Framework for Issue-Commit Link RecoveryZhang, Chenyuan / Wang, Yanlin / Wei, Zhao / Xu, Yong / Wang, Juhong / Li, Hui / Ji, Rongrong et al. | 2023
- 230
-
ATOM: Automated Black-Box Testing of Multi-Label Image Classification SystemsHu, Shengyou / Wu, Huayao / Wang, Peng / Chang, Jing / Tu, Yongjun / Jiang, Xiu / Niu, Xintao / Nie, Changhai et al. | 2023
- 243
-
Generative Model-Based Testing on Decision-Making PoliciesLi, Zhuo / Wu, Xiongfei / Zhu, Derui / Cheng, Mingfei / Chen, Siyuan / Zhang, Fuyuan / Xie, Xiaofei / Ma, Lei / Zhao, Jianjun et al. | 2023
- 255
-
ESRO: Experience Assisted Service Reliability against OutagesChakraborty, Sarthak / Agarwal, Shubham / Garg, Shaddy / Sethia, Abhimanyu / Pandey, Udit Narayan / Aggarwal, Videh / Saini, Shiv et al. | 2023
- 268
-
Prism: Revealing Hidden Functional Clusters from Massive Instances in Cloud SystemsLiu, Jinyang / Jiang, Zhihan / Gu, Jiazhen / Huang, Junjie / Chen, Zhuangbin / Feng, Cong / Yang, Zengyin / Yang, Yongqiang / Lyu, Michael R. et al. | 2023
- 281
-
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the EdgeTundo, Alessandro / Mobilio, Marco / Ilager, Shashikant / Brandic, Ivona / Bartocci, Ezio / Mariani, Leonardo et al. | 2023
- 294
-
SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and BindingHao, Sicheng / Nan, Yuhong / Zheng, Zibin / Liu, Xiaohui et al. | 2023
- 307
-
A Needle is an Outlier in a Haystack: Hunting Malicious PyPI Packages with Code ClusteringLiang, Wentao / Ling, Xiang / Wu, Jingzheng / Luo, Tianyue / Wu, Yanjun et al. | 2023
- 319
-
Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value FlowsGui, Yujiang / He, Dongjie / Xue, Jingling et al. | 2023
- 332
-
Learning to Locate and Describe VulnerabilitiesZhang, Jian / Liu, Shangqing / Wang, Xu / Li, Tianlin / Liu, Yang et al. | 2023
- 345
-
When Less is Enough: Positive and Unlabeled Learning Model for Vulnerability DetectionWen, Xin-Cheng / Wang, Xinchen / Gao, Cuiyun / Wang, Shaohua / Liu, Yang / Gu, Zhaoquan et al. | 2023
- 358
-
SCPatcher: Mining Crowd Security Discussions to Enrich Secure Coding PracticesJiang, Ziyou / Shi, Lin / Yang, Guowei / Wang, Qing et al. | 2023
- 371
-
Causality-Aided Trade-Off Analysis for Machine Learning FairnessJi, Zhenlan / Ma, Pingchuan / Wang, Shuai / Li, Yanhui et al. | 2023
- 384
-
Cell2Doc: ML Pipeline for Generating Documentation in Computational NotebooksMondal, Tamal / Barnett, Scott / Lal, Akash / Vedurada, Jyothi et al. | 2023
- 397
-
An Empirical Study of Parameter-Efficient Fine-Tuning Methods for Pre-Trained Code ModelsLiu, Jiaxing / Sha, Chaofeng / Peng, Xin et al. | 2023
- 409
-
CAT-LM Training Language Models on Aligned Code And TestsRao, Nikitha / Jain, Kush / Alon, Uri / Goues, Claire Le / Hellendoorn, Vincent J. et al. | 2023
- 421
-
Domain Adaptive Code Completion via Language Models and Decoupled Domain DatabasesTang, Ze / Ge, Jidong / Liu, Shangqing / Zhu, Tingwei / Xu, Tongtong / Huang, Liguo / Luo, Bin et al. | 2023
- 434
-
CodeGen4Libs: A Two-Stage Approach for Library-Oriented Code GenerationLiu, Mingwei / Yang, Tianyong / Lou, Yiling / Du, Xueying / Wang, Ying / Peng, Xin et al. | 2023
- 446
-
Adaptive REST API Testing with Reinforcement LearningKim, Myeongsoo / Sinha, Saurabh / Orso, Alessandro et al. | 2023
- 459
-
Increasing the Responsiveness of Web Applications by Introducing Lazy LoadingTurcotte, Alexi / Gokhale, Satyajit / Tip, Frank et al. | 2023
- 471
-
Let's Chat to Find the APIs: Connecting Human, LLM and Knowledge Graph through AI ChainHuang, Qing / Wan, Zhenyu / Xing, Zhenchang / Wang, Changjing / Chen, Jieshan / Xu, Xiwei / Lu, Qinghua et al. | 2023
- 484
-
Software Entity Recognition with Noise-Robust LearningNguyen, Tai / Di, Yifeng / Lee, Joohan / Chen, Muhao / Zhang, Tianyi et al. | 2023
- 497
-
AutoLog: A Log Sequence Synthesis Framework for Anomaly DetectionHuo, Yintong / Li, Yichen / Su, Yuxin / He, Pinjia / Xie, Zifan / Lyu, Michael R. et al. | 2023
- 510
-
ASTER: Automatic Speech Recognition System Accessibility Testing for StutterersLiu, Yi / Li, Yuekang / Deng, Gelei / Juefei-Xu, Felix / Du, Yao / Zhang, Cen / Liu, Chengwei / Li, Yeting / Ma, Lei / Liu, Yang et al. | 2023
- 522
-
The Plastic Surgery Hypothesis in the Era of Large Language ModelsXia, Chunqiu Steven / Ding, Yifeng / Zhang, Lingming et al. | 2023
- 535
-
Gamma: Revisiting Template-Based Automated Program Repair Via Mask PredictionZhang, Quanjun / Fang, Chunrong / Zhang, Tongke / Yu, Bowen / Sun, Weisong / Chen, Zhenyu et al. | 2023
- 548
-
Contextuality of Code Representation LearningLi, Yi / Wang, Shaohua / Nguyen, Tien N. et al. | 2023
- 560
-
On-the-fly Improving Performance of Deep Code Models via Input DenoisingTian, Zhao / Chen, Junjie / Zhang, Xiangyu et al. | 2023
- 573
-
Using Deep Learning to Automatically Improve Code ReadabilityVitale, Antonio / Piantadosi, Valentina / Scalabrino, Simone / Oliveto, Rocco et al. | 2023
- 585
-
Towards Automatically Addressing Self-Admitted Technical Debt: How Far Are We?Mastropaolo, Antonio / Di Penta, Massimiliano / Bavota, Gabriele et al. | 2023
- 598
-
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software EngineeringChatterjee, Prantik / Kalita, Pankaj Kumar / Lahiri, Sumit / Muduli, Sujit Kumar / Singh, Vishal / Takhar, Gourav / Roy, Subhajit et al. | 2023
- 611
-
Precise Data-Driven Approximation for Program Analysis via FuzzingParasaram, Nikhil / Barr, Earl T. / Mechtaev, Sergey / Bohme, Marcel et al. | 2023
- 624
-
Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability AnalysisShi, Chenghang / Li, Haofeng / Sui, Yulei / Lu, Jie / Li, Lian / Xue, Jingling et al. | 2023
- 637
-
Contrastive Learning for API Aspect AnalysisShahariar, G. M. / Hasan, Tahmid / Iqbal, Anindya / Uddin, Gias et al. | 2023
- 649
-
PTDETECTOR: An Automated JavaScript Front-end Library DetectorLiu, Xinyue / Ziarek, Lukasz et al. | 2023
- 661
-
Revealing Performance Issues in Server-Side WebAssembly Runtimes Via Differential TestingJiang, Shuyao / Zeng, Ruiying / Rao, Zihao / Gu, Jiazhen / Zhou, Yangfan / Lyu, Michael R. et al. | 2023
- 673
-
Demystifying Template-Based Invariant Generation for Bit-Vector ProgramsYao, Peisen / Ke, Jingyu / Sun, Jiahui / Fu, Hongfei / Wu, Rongxin / Ren, Kui et al. | 2023
- 686
-
EndWatch: A Practical Method for Detecting Non-Termination in Real-World SoftwareZhang, Yao / Xie, Xiaofei / Li, Yi / Chen, Sen / Zhang, Cen / Li, Xiaohong et al. | 2023
- 698
-
Symbolic Fixpoint Algorithms for Logical LTL GamesSamuel, Stanly / D'Souza, Deepak / Komondoor, Raghavan et al. | 2023
- 710
-
Delving into Commit-Issue Correlation to Enhance Commit Message Generation ModelsWang, Liran / Tang, Xunzhu / He, Yichen / Ren, Changyu / Shi, Shuhua / Yan, Chaoran / Li, Zhoujun et al. | 2023
- 723
-
From Commit Message Generation to History-Aware Commit Message CompletionEliseeva, Aleksandra / Sokolov, Yaroslav / Bogomolov, Egor / Golubev, Yaroslav / Dig, Danny / Bryksin, Timofey et al. | 2023
- 736
-
Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer AnalysisLu, Jingbo / He, Dongjie / Li, Wei / Gao, Yaoqing / Xue, Jingling et al. | 2023
- 748
-
Generating Variable Explanations via Zero-shot Prompt LearningWang, Chong / Lou, Yiling / Liu, Junwei / Peng, Xin et al. | 2023
- 761
-
What Makes Good In-Context Demonstrations for Code Intelligence Tasks with LLMs?Gao, Shuzheng / Wen, Xin-Cheng / Gao, Cuiyun / Wang, Wenxuan / Zhang, Hongyu / Lyu, Michael R. et al. | 2023
- 774
-
HexT5: Unified Pre-Training for Stripped Binary Code Information InferenceXiong, Jiaqi / Chen, Guoqiang / Chen, Kejiang / Gao, Han / Cheng, Shaoyin / Zhang, Weiming et al. | 2023
- 787
-
LiSum: Open Source Software License Summarization with Multi-Task LearningLi, Linyu / Xu, Sihan / Liu, Yang / Gao, Ya / Cai, Xiangrui / Wu, Jiarun / Song, Wenli / Liu, Zheli et al. | 2023
- 800
-
Personalized First Issue Recommender for Newcomers in Open Source ProjectsXiao, Wenxin / Li, Jingyue / He, Hao / Qiu, Ruiqiao / Zhou, Minghui et al. | 2023
- 813
-
Understanding and Enhancing Issue Prioritization in GitHubHe, Yingying / Yang, Wenhua / Pan, Minxue / Hussain, Yasir / Zhou, Yu et al. | 2023
- 825
-
Who is the Real Hero? Measuring Developer Contribution via Multi-Dimensional Data IntegrationSun, Yuqiang / Xu, Zhengzi / Liu, Chengwei / Zhang, Yiran / Liu, Yang et al. | 2023
- 837
-
To Share, or Not to Share: Exploring Test-Case Reusability in Fork EcosystemsMukelabai, Mukelabai / Derks, Christoph / Kruger, Jacob / Berger, Thorsten et al. | 2023
- 850
-
Code Difference Guided Adversarial Example Generation for Deep Code ModelsTian, Zhao / Chen, Junjie / Jin, Zhi et al. | 2023
- 863
-
iASTMapper: An Iterative Similarity-Based Abstract Syntax Tree Mapping AlgorithmZhang, Neng / Chen, Qinde / Zheng, Zibin / Zou, Ying et al. | 2023
- 875
-
ZC3: Zero-Shot Cross-Language Code Clone DetectionLi, Jia / Tao, Chongyang / Jin, Zhi / Liu, Fang / Li, Ge et al. | 2023
- 888
-
Persisting and Reusing Results of Static Program Analyses on a Large ScaleDusing, Johannes / Hermann, Ben et al. | 2023
- 901
-
Optimizing Continuous Development by Detecting and Preventing Unnecessary Content GenerationBaral, Talank / Rahman, Shanto / Chanumolu, Bala Naren / Balci, Basak / Tuncer, Tuna / Shi, August / Lam, Wing et al. | 2023
- 914
-
DCLINK: Bridging Data Constraint Changes and Implementations in FinTech SystemsTange, Wensheng / Wang, Chengpeng / Yao, Peisen / Wu, Rongxin / Fu, Xianjin / Fan, Gang / Zhang, Charles et al. | 2023
- 926
-
Systematically Detecting Packet Validation Vulnerabilities in Embedded Network StacksAmusuo, Paschal C. / Mendez, Ricardo Andres Calvo / Xu, Zhongwei / Machiry, Aravind / Davis, James C. et al. | 2023
- 939
-
WADIFF: A Differential Testing Framework for WebAssembly RuntimesZhou, Shiyao / Jiang, Muhui / Chen, Weimin / Zhou, Hao / Wang, Haoyu / Luo, Xiapu et al. | 2023
- 951
-
VRGuide: Efficient Testing of Virtual Reality Scenes via Dynamic Cut CoverageWang, Xiaoyin / Rafi, Tahmid / Meng, Na et al. | 2023
- 963
-
Fast and Reliable Program Synthesis via User InteractionChen, Yanju / Wang, Chenglong / Wang, Xinyu / Bastani, Osbert / Feng, Yu et al. | 2023
- 976
-
From Misuse to Mastery: Enhancing Code Generation with Knowledge-Driven AI ChainingRen, Xiaoxue / Ye, Xinyuan / Zhao, Dehai / Xing, Zhenchang / Yang, Xiaohu et al. | 2023
- 988
-
Generative Type Inference for PythonPeng, Yun / Wang, Chaozheng / Wang, Wenxuan / Gao, Cuiyun / Lyu, Michael R. et al. | 2023
- 1000
-
Compiler Auto-Tuning via Critical Flag SelectionZhu, Mingxuan / Hao, Dan et al. | 2023
- 1012
-
A Comparative Study of Transformer-Based Neural Text Representation Techniques on Bug TriagingDipongkor, Atish Kumar / Moran, Kevin et al. | 2023
- 1024
-
Neural SZZ AlgorithmTang, Lingxiao / Bao, Lingfeng / Xia, Xin / Huang, Zhongdong et al. | 2023
- 1036
-
How to Train Your Neural Bug Detector: Artificial vs Real BugsRichter, Cedric / Wehrheim, Heike et al. | 2023
- 1049
-
Detection of Java Basic Thread Misuses Based on Static Event AnalysisCui, Baoquan / Wang, Miaomiao / Zhang, Chi / Yan, Jiwei / Yan, Jun / Zhang, Jian et al. | 2023
- 1061
-
FLUX: Finding Bugs with LLVM IR Based Unit Test CrossoversLiu, Eric / Xu, Shengjie / Lie, David et al. | 2023
- 1073
-
A Comprehensive Study on Code Clones in Automated Driving SoftwareMo, Ran / Jiang, Yingjie / Zhan, Wenjing / Wang, Dongyu / Li, Zengyang et al. | 2023
- 1086
-
Detecting Smart Home Automation Application Interferences with Domain KnowledgeWang, Tao / Chen, Wei / Liu, Liwei / Wu, Guoquan / Wei, Jun / Huang, Tao et al. | 2023
- 1098
-
Bridging the Gap Between Academia and Industry in Machine Learning Software Defect Prediction: Thirteen ConsiderationsStradowski, Szymon / Madeyski, Lech et al. | 2023
- 1111
-
Identify and Update Test Cases When Production Code Changes: A Transformer-Based ApproachHu, Xing / Liu, Zhuang / Xia, Xin / Liu, Zhongxin / Xu, Tongtong / Yang, Xiaohu et al. | 2023
- 1123
-
Revisiting and Improving Retrieval-Augmented Deep Assertion GenerationSun, Weifeng / Li, Hongyan / Yan, Meng / Lei, Yan / Zhang, Hongyu et al. | 2023
- 1136
-
LEAP: Efficient and Automated Test Method for NLP SoftwareXiao, Mingxuan / Xiao, Yan / Dong, Hai / Ji, Shunhui / Zhang, Pengcheng et al. | 2023
- 1149
-
QuraTest: Integrating Quantum Specific Features in Quantum Program TestingYe, Jiaming / Xia, Shangzhou / Zhang, Fuyuan / Arcaini, Paolo / Ma, Lei / Zhao, Jianjun / Ishikawa, Fuyuki et al. | 2023
- 1162
-
An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program RepairHuang, Kai / Meng, Xiangxin / Zhang, Jian / Liu, Yang / Wang, Wenjie / Li, Shuhao / Zhang, Yuqing et al. | 2023
- 1175
-
Leakpair: Proactive Repairing of Memory Leaks in Single Page Web ApplicationsShahoor, Arooba / Khamit, Askar Yeltayuly / Yi, Jooyong / Kim, Dongsun et al. | 2023
- 1188
-
Automated Fixing of Web UI Tests via Iterative Element MatchingLin, Yuanzhang / Wen, Guoyao / Gao, Xiang et al. | 2023
- 1200
-
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL ReachabilityZhang, Wenjie / Wang, Guancheng / Chen, Junjie / Xiong, Yingfei / Liu, Yong / Zhang, Lu et al. | 2023
- 1212
-
Enhancing Malware Detection for Android Apps: Detecting Fine-Granularity Malicious ComponentsLiu, Zhijie / Zhang, Liang Feng / Tang, Yutian et al. | 2023
- 1225
-
Fine-Grained In-Context Permission Classification for Android Apps Using Control-Flow Graph EmbeddingMalviya, Vikas K. / Tun, Yan Naing / Leow, Chee Wei / Xynyn, Ailys Tee / Shar, Lwin Khin / Jiang, Lingxiao et al. | 2023
- 1238
-
How Android Apps Break the Data Minimization Principle: An Empirical StudyZhang, Shaokun / Lei, Hanwen / Wang, Yuanpeng / Li, Ding / Guo, Yao / Chen, Xiangqun et al. | 2023
- 1251
-
Scene-Driven Exploration and GUI Modeling for Android AppsZhang, Xiangyu / Fan, Lingling / Chen, Sen / Su, Yucheng / Li, Boyuan et al. | 2023
- 1263
-
Expediting Neural Network Verification via Network ReductionZhong, Yuyi / Wang, Ruiwei / Khoo, Siau-Cheng et al. | 2023
- 1276
-
HOBAT: Batch Verification for Homogeneous Structural Neural NetworksLi, Jingyang / Li, Guoqiang et al. | 2023
- 1288
-
SMT Solver Validation Empowered by Large Pre-Trained Language ModelsSun, Maolin / Yang, Yibiao / Wang, Yang / Wen, Ming / Jia, Haoxiang / Zhou, Yuming et al. | 2023
- 1301
-
Mutation-based Fault Localization of Deep Neural NetworksGhanbari, Ali / Thomas, Deepak-George / Arshad, Muhammad Arbab / Rajan, Hridesh et al. | 2023
- 1314
-
An Intentional Forgetting-Driven Self-Healing Method for Deep Reinforcement Learning SystemsYahmed, Ahmed Haj / Bouchoucha, Rached / Braiek, Houssem Ben / Khomh, Foutse et al. | 2023
- 1326
-
AutoConf: Automated Configuration of Unsupervised Learning Systems Using Metamorphic Testing and Bayesian OptimizationShar, Lwin Khin / Goknil, Arda / Husom, Erik Johannes / Sen, Sagar / Tun, Yan Naing / Kim, Kisub et al. | 2023
- 1339
-
An Image is Worth a Thousand Toxic Words: A Metamorphic Testing Framework for Content Moderation SoftwareWang, Wenxuan / Huang, Jingyuan / Huang, Jen-tse / Chen, Chang / Gu, Jiazhen / He, Pinjia / Lyu, Michael R. et al. | 2023
- 1352
-
CoMSA: A Modeling-Driven Sampling Approach for Configuration Performance TestingXia, Yuanjie / Ding, Zishuo / Shang, Weiyi et al. | 2023
- 1364
-
Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving ExplorationJiang, Zongze / Wen, Ming / Yang, Yixin / Peng, Chao / Yang, Ping / Jin, Hai et al. | 2023
- 1377
-
Fuzzing for CPS Mutation TestingLee, Jaekwon / Vigano, Enrico / Cornejo, Oscar / Pastore, Fabrizio / Briand, Lionel et al. | 2023
- 1390
-
ReuNify: A Step Towards Whole Program Analysis for React Native Android AppsLiu, Yonghui / Chen, Xiao / Liu, Pei / Grundy, John / Chen, Chunyang / Li, Li et al. | 2023
- 1403
-
Wemint:Tainting Sensitive Data Leaks in WeChat Mini-ProgramsMeng, Shi / Wang, Liu / Wang, Shenao / Wang, Kailong / Xiao, Xusheng / Bai, Guangdong / Wang, Haoyu et al. | 2023
- 1416
-
Vision-Based Widget Mapping for Test Migration Across Mobile Platforms: Are We There Yet?Ji, Ruihua / Zhu, Tingwei / Zhu, Xiaoqing / Chen, Chunyang / Pan, Minxue / Zhang, Tian et al. | 2023
- 1429
-
Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference CountMa, Xutong / Yan, Jiwei / Zhang, Hao / Yan, Jun / Zhang, Jian et al. | 2023
- 1441
-
Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial ExtrapolationZhang, Zuoyan / Zhou, Bei / Hao, Jiangwei / Yang, Hongru / Cui, Mengqi / Zhou, Yuchang / Song, Guanghui / Li, Fei / Xu, Jinchen / Zhao, Jie et al. | 2023
- 1454
-
Perfce: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality AnalysisJi, Zhenlan / Ma, Pingchuan / Wang, Shuai et al. | 2023
- 1467
-
Information Retrieval-Based Fault Localization for Concurrent ProgramsShao, Shuai / Yu, Tingting et al. | 2023
- 1480
-
The MAP Metric in Information Retrieval Fault LocalizationHirsch, Thomas / Hofer, Birgit et al. | 2023
- 1492
-
Improving Code Extraction from Coding Screencasts Using a Code-Aware Encoder-Decoder ModelMalkadi, Abdulkarim / Tayeb, Ahmad / Haiduc, Sonia et al. | 2023
- 1505
-
InfeRE: Step-by-Step Regex Generation via Chain of InferenceZhang, Shuai / Gu, Xiaodong / Chen, Yuting / Shen, Beijun et al. | 2023
- 1516
-
MELT: Mining Effective Lightweight Transformations from Pull RequestsRamos, Daniel / Mitchell, Hailie / Lynce, Ines / Manquinho, Vasco / Martins, Ruben / Goues, Claire Le et al. | 2023
- 1529
-
On the Evaluation of Neural Code Translation: Taxonomy and BenchmarkJiao, Mingsheng / Yu, Tingrui / Li, Xuan / Qiu, Guanjie / Gu, Xiaodong / Shen, Beijun et al. | 2023
- 1542
-
Pluggable Type Inference for FreeKellogg, Martin / Daskiewicz, Daniel / Duc Nguyen, Loi Ngo / Ahmed, Muyeed / Ernst, Michael D. et al. | 2023
- 1555
-
MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler InfrastructureWang, Haoyu / Chen, Junjie / Xie, Chuyue / Liu, Shuang / Wang, Zan / Shen, Qingchao / Zhao, Yingquan et al. | 2023
- 1567
-
Thunderkaller: Profiling and Improving the Performance of SyzkallerLan, Yang / Jin, Di / Wang, Zhun / Tan, Wende / Ma, Zheyu / Zhang, Chao et al. | 2023
- 1579
-
PhyFu: Fuzzing Modern Physics Simulation EnginesXiao, Dongwei / Liu, Zhibo / Wang, Shuai et al. | 2023
- 1592
-
NaturalFuzz: Natural Input Generation for Big Data AnalyticsHumayun, Ahmad / Wu, Yaoxuan / Kim, Miryung / Gulzar, Muhammad Ali et al. | 2023
- 1604
-
A Large-Scale Empirical Study on Semantic Versioning in Golang EcosystemLi, Wenke / Wu, Feng / Fu, Cai / Zhou, Fan et al. | 2023
- 1615
-
Automated Software Entity Matching Between Successive VersionsLiu, Bo / Liu, Hui / Niu, Nan / Zhang, Yuxia / Li, Guangjie / Jiang, Yanjie et al. | 2023
- 1628
-
Where to Go Now? Finding Alternatives for Declining Packages in the npm EcosystemMujahid, Suhaib / Costa, Diego Elias / Abdalkareem, Rabe / Shihab, Emad et al. | 2023
- 1640
-
ConfTainter: Static Taint Analysis For Configuration OptionsWang, Teng / He, Haochen / Liu, Xiaodong / Li, Shanshan / Jia, Zhouyang / Jiang, Yu / Liao, Qing / Li, Wang et al. | 2023
- 1652
-
Merge Conflict Resolution: Classification or Generation?Dong, Jinhao / Zhu, Qihao / Sun, Zeyu / Lou, Yiling / Hao, Dan et al. | 2023
- 1664
-
DeFiWarder: Protecting DeFi Apps from Token Leaking VulnerabilitiesSu, Jianzhong / Lin, Xingwei / Fang, Zhiyuan / Zhu, Zhirong / Chen, Jiachi / Zheng, Zibin / Lv, Wei / Wang, Jiashui et al. | 2023
- 1676
-
VD-Guard: DMA Guided Fuzzing for Hypervisor Virtual DeviceLiu, Yuwei / Chen, Siqi / Xie, Yuchong / Wang, Yanhao / Chen, Libo / Wang, Bin / Zeng, Yingming / Xue, Zhi / Su, Purui et al. | 2023
- 1688
-
Towards Autonomous Testing Agents via Conversational Large Language ModelsFeldt, Robert / Kang, Sungmin / Yoon, Juyeon / Yoo, Shin et al. | 2023
- 1694
-
Semantic Data Augmentation for Deep Learning Testing Using Generative AIMissaoui, Sondess / Gerasimou, Simos / Matragkas, Nicholas et al. | 2023
- 1699
-
Log Parsing: How Far Can ChatGPT Go?Le, Van-Hoang / Zhang, Hongyu et al. | 2023
- 1705
-
Automating Bias Testing of LLMsMorales, Sergio / Clariso, Robert / Cabot, Jordi et al. | 2023
- 1708
-
MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial AttackHu, Qiang / Guo, Yuejun / Cordy, Maxime / Papadakis, Mike / Traon, Yves Le et al. | 2023
- 1713
-
Are We Ready to Embrace Generative AI for Software Q&A?Xu, Bowen / Nguyen, Thanh-Dat / Le-Cong, Thanh / Hoang, Thong / Liu, Jiakun / Kim, Kisub / Gong, Chen / Niu, Changan / Wang, Chenyu / Le, Bach et al. | 2023
- 1718
-
Towards a Knowledge Base of Common Sustainability Weaknesses in Green Software DevelopmentPathania, Priyavanshi / Mehra, Rohit / Sharma, Vibhu Saujanya / Kaulgud, Vikrant / Podder, Sanjay / Burden, Adam P. et al. | 2023
- 1721
-
Towards Self-Adaptive Machine Learning-Enabled Systems Through QoS-Aware Model SwitchingKulkarni, Shubham / Marda, Arya / Vaidhyanathan, Karthik et al. | 2023
- 1726
-
Evolve the Model Universe of a System UniverseYue, Tao / Ali, Shaukat et al. | 2023
- 1732
-
Modeling Programmer Attention as Scanpath PredictionBansal, Aakash / Su, Chia-Yi / Karas, Zachary / Zhang, Yifan / Huang, Yu / Li, Toby Jia-Jun / McMillan, Collin et al. | 2023
- 1737
-
On Automated Assistants for Software Development: The Role of LLMsLeung, Mira / Murphy, Gail et al. | 2023
- 1742
-
Better Patching Using LLM Prompting, via Self-ConsistencyAhmed, Toufique / Devanbu, Premkumar et al. | 2023
- 1747
-
Live Programming for Finite Model FindersSullivan, Allison et al. | 2023
- 1753
-
Characterizing Flaky Tests in Node.js ApplicationsChang, Xiaoning / Liang, Zheheng / Wu, Guoquan / Gao, Yu / Chen, Wei / Wei, Jun / Long, Zhenyue / Cui, Lei / Huang, Tao et al. | 2023
- 1756
-
PSMT: Satisfiability Modulo Theories Meets Probability DistributionJia, Fuqi / Han, Rui / Ma, Xutong / Cui, Baoquan / Liu, Minghao / Huang, Pei / Ma, Feifei / Zhang, Jian et al. | 2023
- 1761
-
SAT-Verifiable LTL Satisfiability Checking via Graph Representation LearningLuo, Weilin / Zheng, Yuhang / Ye, Rongzhen / Wan, Hai / Du, Jianfeng / Liang, Pingjia / Chen, Polong et al. | 2023
- 1766
-
PURLTL: Mining LTL Specification from Imperfect Traces in TestingPeng, Bo / Liang, Pingjia / Han, Tingchen / Luo, Weilin / Du, Jianfeng / Wan, Hai / Ye, Rongzhen / Zheng, Yuhang et al. | 2023
- 1771
-
Enhancing Code Safety in Quantum Intermediate RepresentationLuo, Junjie / Zhao, Jianjun et al. | 2023
- 1776
-
Towards a Formal Framework for Normative Requirements ElicitationFeng, Nick / Marsso, Lina / Yaman, Sinem Getir / Townsend, Beverley / Cavalcanti, Ana / Calinescu, Radu / Chechik, Marsha et al. | 2023
- 1781
-
Hot Patching Hot Fixes: Reflection and PerspectivesHanna, Carol / Petke, Justyna et al. | 2023
- 1787
-
Symbolic Verification of Fuzzy Logic ModelsZhao, Siang / Li, Zhongyang / Chen, Zhenbang / Wang, Ji et al. | 2023
- 1790
-
A Majority Invariant Approach to Patch Robustness Certification for Deep Learning ModelsZhou, Qilin / Wei, Zhengyuan / Wang, Haipeng / Chan, W.K. et al. | 2023
- 1795
-
Fault Localization for Buggy Deep Learning Framework Conversions in Image RecognitionLouloudakis, Nikolaos / Gibson, Perry / Cano, Jose / Rajan, Ajitha et al. | 2023
- 1800
-
Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph ExecutionKhatchadourian, Raffi / Velez, Tatiana Castro / Bagherzadeh, Mehdi / Jia, Nan / Raja, Anita et al. | 2023
- 1803
-
Scalable Industrial Control System Analysis via XAI-Based Gray-Box FuzzingKur, Justin / Chen, Jingshu / Huang, Jun et al. | 2023
- 1808
-
Predicting Compilation Resources for Adaptive Build in an Industrial SettingHu, Junhao / Wang, Chaozheng / Huang, Hailiang / Luo, Huang / Jin, Yu / Deng, Yuetang / Xie, Tao et al. | 2023
- 1814
-
Open Source Software Tools for Data Management and Deep Model Training AutomationTirasoglu, Umut / Turker, Abdussamet / Ekici, Adnan / Yigit, Hayri / Bolukbasi, Yusuf Enes / Akgun, Toygar et al. | 2023
- 1819
-
RocketHA: A High Availability Design Paradigm for Distributed Log-Based Storage SystemJi, Juntao / Jin, Rongtong / Fu, Yubao / Gu, Yinyou / Tsai, Tsung-han / Lin, Qingshan et al. | 2023
- 1825
-
Assessing the Impact of Refactoring Energy-Inefficient Code Patterns on Software Sustainability: An Industry Case StudyMehra, Rohit / Pathania, Priyavanshi / Sharma, Vibhu Saujanya / Kaulgud, Vikrant / Podder, Sanjay / Burden, Adam P. et al. | 2023
- 1828
-
Green AI Quotient: Assessing Greenness of AI-based software and the way forwardSikand, Samarth / Sharma, Vibhu Saujanya / Kaulgud, Vikrant / Podder, Sanjay et al. | 2023
- 1834
-
Challenges of Accurate and Efficient AutoMLDey, Swarnava / Ghose, Avik / Das, Soumik et al. | 2023
- 1840
-
Zero-Config Fuzzing for MicroservicesWang, Wei / Benea, Andrei / Ivancic, Franjo et al. | 2023
- 1846
-
Smart Prompt Advisor: Multi-Objective Prompt Framework for Consistency and Best PracticesPhokela, Kanchanjot Kaur / Sikand, Samarth / Singi, Kapil / Dey, Kuntal / Sharma, Vibhu Saujanya / Kaulgud, Vikrant et al. | 2023
- 1849
-
Improving Design Reviews at GoogleZiftci, Celal / Greenberg, Ben et al. | 2023
- 1855
-
Software Engineering Using Autonomous Agents: Are We There Yet?Suri, Samdyuti / Das, Sankar Narayan / Singi, Kapil / Dey, Kuntal / Sharma, Vibhu Saujanya / Kaulgud, Vikrant et al. | 2023
- 1858
-
Government Mobile Apps: Analysing Citizen Feedback via App ReviewsAamir, Tooba / Chhetri, Mohan Baruwal / Chamikara, M.A.P. / Grobler, Marthie et al. | 2023
- 1864
-
Coding and Debugging by Separating Secret Code Toward Secure Remote DevelopmentSaito, Shinobu et al. | 2023
- 1870
-
An Industrial Practice for Securing Android Apps in the Banking DomainMalviya, Vikas K. / Phan, Phong / Tun, Yan Naing / Ching, Albert / Shar, Lwin Khin et al. | 2023
- 1876
-
ACWRecommender: A Tool for Validating Actionable Warnings with Weak SupervisionXue, Zhipeng / Gao, Zhipeng / Hu, Xing / Li, Shanping et al. | 2023
- 1881
-
An Automated and Flexible Multilingual Bug-Fix Dataset Construction SystemZhong, Wenkang / Li, Chuanyi / Zhang, Yunfei / Ge, Ziwen / Wang, Jingyu / Ge, Jidong / Luo, Bin et al. | 2023
- 1887
-
A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPTYan, Dapeng / Gao, Zhipeng / Liu, Zhiming et al. | 2023
- 1899
-
PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and TypesHe, Ye / Chen, Zimin / Le Goues, Claire et al. | 2023
- 1911
-
Function-Level Vulnerability Detection Through Fusing Multi-Modal KnowledgeNi, Chao / Guo, Xinrong / Zhu, Yan / Xu, Xiaodan / Yang, Xiaohu et al. | 2023
- 1919
-
BugMiner: Automating Precise Bug Dataset Construction by Code Evolution History MiningSong, Xuezhi / Wu, Yijian / Cao, Junming / Chen, Bihuan / Lin, Yun / Lu, Zhengjie / Wang, Dingji / Peng, Xin et al. | 2023
- 1930
-
RPCover: Recovering gRPC Dependency in Multilingual ProjectsFang, Aoyang / Zhou, Ruiyu / Tang, Xiaoying / He, Pinjia et al. | 2023
- 1940
-
VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active LearningLiu, Pengcheng / Lu, Yifei / Yang, Wenhua / Pan, Minxue et al. | 2023
- 1952
-
REEF: A Framework for Collecting Real-World Vulnerabilities and FixesWang, Chaozheng / Li, Zongjie / Pena, Yun / Gao, Shuzheng / Chen, Sirong / Wang, Shuai / Gao, Cuiyun / Lyu, Michael R. et al. | 2023
- 1963
-
Potential Solutions to Challenges in C Program Repair: A Practical PerspectiveXuan, Jifeng / Xin, Qi / Chen, Liqian / Mao, Xiaoguang et al. | 2023
- 1969
-
Minecraft: Automated Mining of Software Bug Fixes with Precise Code ContextAvula, Sai Krishna / Vobbilisetti, Venkatesh / Mondal, Shouvick et al. | 2023
- 1980
-
Unifying Defect Prediction, Categorization, and Repair by Multi-Task Deep LearningNi, Chao / Yang, Kaiwen / Zhu, Yan / Chen, Xiang / Yang, Xiaohu et al. | 2023
- 1993
-
MalWuKong: Towards Fast, Accurate, and Multilingual Detection of Malicious Code Poisoning in OSS Supply ChainsLi, Ningke / Wang, Shenao / Feng, Mingxi / Wang, Kailong / Wang, Meizhen / Wang, Haoyu et al. | 2023
- 2006
-
CiD4HMOS: A Solution to HarmonyOS Compatibility IssuesMa, Tianzhi / Zhao, Yanjie / Li, Li / Liu, Liang et al. | 2023
- 2018
-
Bus Factor ExplorerKlimov, Egor / Ahmed, Muhammad Umair / Sviridov, Nikolai / Derakhshanfar, Pouria / Tuzun, Eray / Kovalenko, Vladimir et al. | 2023
- 2022
-
EXPRESS 2.0: An Intelligent Service Management Framework for AIoT Systems in the EdgeXu, Jia / Liu, Xiao / Pan, Wuzhen / Li, Xuejun / Yao, Aiting / Yang, Yun et al. | 2023
- 2026
-
RJoules: An Energy Measurement Tool for RChattaraj, Rajrupa / Chimalakonda, Sridhar et al. | 2023
- 2030
-
ArduinoProg: Towards Automating Arduino ProgrammingBani Yusuf, Imam Nur / Abdul Jamal, Diyanah Binte / Jiang, Lingxiao et al. | 2023
- 2034
-
BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++An, Gabin / Kwon, Minhyuk / Choi, Kyunghwa / Yi, Jooyong / Yoo, Shin et al. | 2023
- 2038
-
ExpressAPR: Efficient Patch Validation for Java Automated Program Repair SystemsXiao, Yuan-An / Yang, Chenyang / Wang, Bo / Xiong, Yingfei et al. | 2023
- 2042
-
Polyglot Code Smell Detection for Infrastructure as Code with GLITCHSaavedra, Nuno / Goncalves, Joao / Henriques, Miguel / Ferreira, Joao F. / Mendes, Alexandra et al. | 2023
- 2046
-
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based OptimizationLiu, Minghao / Lv, Kunhang / Huang, Pei / Han, Rui / Jia, Fuqi / Zhang, Yu / Ma, Feifei / Zhang, Jian et al. | 2023
- 2050
-
CPA-DF: A Tool for Configurable Interval Analysis to Boost Program VerificationBeyer, Dirk / Chien, Po-Chun / Lee, Nian-Ze et al. | 2023
- 2054
-
COMEX: A Tool for Generating Customized Source Code RepresentationsDas, Debeshee / Mathews, Noble Saji / Mathai, Alex / Tamilselvam, Srikanth / Sedamaki, Kranthi / Chimalakonda, Sridhar / Kumar, Atul et al. | 2023
- 2058
-
TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars SoftwareBirchler, Christian / Rohrbach, Cyrill / Kim, Hyeongkyun / Gambi, Alessio / Liu, Tianhai / Horneber, Jens / Kehrer, Timo / Panichella, Sebastiano et al. | 2023
- 2062
-
Provengo: A Tool Suite for Scenario Driven Model-Based TestingBar-Sinai, Michael / Elyasaf, Achiya / Weiss, Gera / Weiss, Yeshayahu et al. | 2023
- 2066
-
QuCAT: A Combinatorial Testing Tool for Quantum SoftwareWang, Xinyi / Arcaini, Paolo / Yue, Tao / Ali, Shaukat et al. | 2023
- 2070
-
ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android AppsZhang, Shixin / Li, Shanna / Deng, Xi / Yan, Jiwei / Yan, Jun et al. | 2023
- 2074
-
LIV: Loop-Invariant Validation Using Straight-Line ProgramsBeyer, Dirk / Spiessl, Martin et al. | 2023
- 2078
-
cegar-pt: A Tool for Abstraction by Program TransformationBeyer, Dirk / Lingsch-Rosenfeld, Marian / Spiessl, Martin et al. | 2023
- 2082
-
DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems DevelopersZhang, Bohan / Shivalingaiah, Yashaswini / Agrawal, Ankit et al. | 2023
- 2086
-
MUT4SLX: Fast Mutant Generation for SimulinkCeylan, Halil Ibrahim / Kilincceker, Onur / Beyazit, Mutlu / Demeyer, Serge et al. | 2023
- 2090
-
AutoDebloater: Automated Android App DebloatingLiu, Jiakun / Hu, Xing / Thung, Ferdian / Maoz, Shahar / Toch, Eran / Gao, Debin / Lo, David et al. | 2023
- 2094
-
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based FuzzingMolina, Facundo / d'Amorim, Marcelo / Aguirre, Nazareno et al. | 2023
- 2098
-
Compsuite: A Dataset of Java Library Upgrade Incompatibility IssuesXu, Xiufeng / Zhu, Chenguang / Li, Yi et al. | 2023
- 2102
-
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contractsdi Angelo, Monika / Durieux, Thomas / Ferreira, Joao F. / Salzer, Gernot et al. | 2023
- 2107
-
Author Index| 2023
- v
-
Table of Contents| 2023
- xlv
-
Steering Committee| 2023
- xxxii
-
Message from the Chairs: ASE 2023Bissyande, Tegawende F. / Klein, Jacques / Bird, Christian / Sarro, Federica et al. | 2023
- xxxvi
-
Organizing Committee| 2023
- xxxviii
-
Program Committee| 2023