ASE A*

267 papers

YearTitle / Authors
20241+1>2: Integrating Deep Code Behaviors with Metadata Features for Malicious PyPI Package Detection.
Xiaobing Sun, Xingan Gao, Sicong Cao, Lili Bo, Xiaoxue Wu, Kaifeng Huang
2024A Comprehensive Study of Privacy Leakage Vulnerability in Android App Logs.
Zhiyuan Chen
2024A Conceptual Framework for Quality Assurance of LLM-based Socio-critical Systems.
Luciano Baresi, Matteo Camilli, Tommaso Dolci, Giovanni Quattrocchi
2024A Data-driven Approach for Mining Software Features based on Similar App Descriptions and User Reviews Analysis.
Khubaib Amjad Alam, Ramsha Ali, Zyena Kamran, Sabeen Fatima, Irum Inayat
2024A Formal Treatment of Performance Bugs.
Omar I. Al-Bataineh
2024A Generalized Approach for Solving Web Form Constraints.
Björn Karthein, Cristian-Alexandru Staicu, Andreas Zeller
2024A High-level Architecture of an Automated Context-aware Ethics-based Negotiation Approach.
Mashal Afzal Memon, Marco Autili, Gianluca Filippone, Gian Luca Scoccia, Paola Inverardi
2024A Joint Learning Model with Variational Interaction for Multilingual Program Translation.
Yali Du, Hui Sun, Ming Li
2024A Longitudinal Analysis Of Replicas in the Wild Wild Android.
Syeda Mashal Abbas Zaidi, Shahpar Khan, Parjanya Vyas, Yousra Aafer
2024A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement.
Huan Zhang, Wei Cheng, Yuhan Wu, Wei Hu
2024A Pixel-Level Explainable Approach of Convolutional Neural Networks and Its Application.
Haitao Zhang, Jing Wang, Ziyue Wang, Ziyi Zhao, Zhuo Cheng
2024A Position-Aware Approach to Decomposing God Classes.
Tianyi Chen, Yanjie Jiang, Fu Fan, Bo Liu, Hui Liu
2024A Systematic Evaluation of Large Code Models in API Suggestion: When, Which, and How.
Chaozheng Wang, Shuzheng Gao, Cuiyun Gao, Wenxuan Wang, Chun Yong Chong, Shan Gao, Michael R. Lyu
2024A vision on a methodology for the application of an Intrusion Detection System for satellites.
Sébastien Gios, Charles-Henry Bertrand Van Ouytsel, Mark Diamantino Caribé, Axel Legay
2024AACEGEN: Attention Guided Adversarial Code Example Generation for Deep Code Models.
Zhong Li, Chong Zhang, Minxue Pan, Tian Zhang, Xuandong Li
2024AI-driven Java Performance Testing: Balancing Result Quality with Testing Time.
Luca Traini, Federico Di Menna, Vittorio Cortellessa
2024ART: A Unified Unsupervised Framework for Incident Management in Microservice Systems.
Yongqian Sun, Binpeng Shi, Mingyu Mao, Minghua Ma, Sibo Xia, Shenglin Zhang, Dan Pei
2024ARUS: A Tool for Automatically Removing Unnecessary Stubbings from Test Suites.
Mengzhen Li, Mattia Fazzini
2024AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects.
Kexin Sun, Yiding Ren, Hongyu Kuang, Hui Gao, Xiaoxing Ma, Guoping Rong, Dong Shao, He Zhang
2024AXA: Cross-Language Analysis through Integration of Single-Language Analyses.
Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini
2024AdvSCanner: Generating Adversarial Smart Contracts to Exploit Reentrancy Vulnerabilities Using LLM and Static Analysis.
Yin Wu, Xiaofei Xie, Chenyang Peng, Dijun Liu, Hao Wu, Ming Fan, Ting Liu, Haijun Wang
2024AgoneTest: Automated creation and assessment of Unit tests leveraging Large Language Models.
Andrea Lops, Fedelucio Narducci, Azzurra Ragone, Michelantonio Trizio
2024An Empirical Study on Learning-based Techniques for Explicit and Implicit Commit Messages Generation.
Zhiquan Huang, Yuan Huang, Xiangping Chen, Xiaocong Zhou, Changlin Yang, Zibin Zheng
2024An Empirical Study to Evaluate AIGC Detectors on Code Content.
Jian Wang, Shangqing Liu, Xiaofei Xie, Yi Li
2024An Explainable Automated Model for Measuring Software Engineer Contribution.
Yue Li, He Zhang, Yuzhe Jin, Zhong Ren, Liming Dong, Jun Lyu, Lanxin Yang, David Lo, Dong Shao
2024Android Malware Family Labeling: Perspectives from the Industry.
Liu Wang, Haoyu Wang, Tao Zhang, Haitao Xu, Guozhu Meng, Peiming Gao, Chen Wei, Yi Wang
2024Ansible Lightspeed: A Code Generation Service for IT Automation.
Priyam Sahoo, Saurabh Pujar, Ganesh Nalawade, Richard Genhardt, Louis Mandel, Luca Buratti
2024Applying Fuzz Driver Generation to Native C/C++ Libraries of OEM Android Framework: Obstacles and Solutions.
Shiyan Peng, Yuan Zhang, Jiarun Dai, Yue Gu, Zhuoxiang Shen, Jingcheng Liu, Lin Wang, Yong Chen, Yu Qin, Lei Ai, Xianfeng Lu, Min Yang
2024Approximation-guided Fairness Testing through Discriminatory Space Analysis.
Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura
2024Assessing Open Source Software Survivability using Kaplan-Meier Survival Function and Polynomial Regression.
Sohee Park, Ryeonggu Kwon, Gihwon Kwon
2024Assessing the feasibility of Micro frontend architecture in native mobile app development.
Quentin Capdepon, Nicolas Hlad, Benoît Verhaeghe, Abdelhak-Djamel Seriai
2024Attacks and Defenses for Large Language Models on Coding Tasks.
Chi Zhang, Zifan Wang, Ruoshi Zhao, Ravi Mangal, Matt Fredrikson, Limin Jia, Corina S. Pasareanu
2024Attribution-guided Adversarial Code Prompt Generation for Code Completion Models.
Xueyang Li, Guozhu Meng, Shangqing Liu, Lu Xiang, Kun Sun, Kai Chen, Xiapu Luo, Yang Liu
2024AutoDW: Automatic Data Wrangling Leveraging Large Language Models.
Lei Liu, So Hasegawa, Shailaja Keyur Sampat, Maria Xenochristou, Wei-Peng Chen, Takashi Kato, Taisei Kakibuchi, Tatsuya Asai
2024Automated Repair of Multi-fault Programs: Obstacles, Approaches, and Prospects.
Omar I. Al-Bataineh
2024Automated Validation of COBOL to Java Transformation.
Atul Kumar, Diptikalyan Saha, Toshiaki Yasue, Kohichi Ono, Saravanan Krishnan, Sandeep Hans, Fumiko Satoh, Gerald Mitchell, Sachin Kumar
2024Automatically Deriving Developers' Technical Expertise from the GitHub Social Network.
Yanchun Sun, Jiawei Wu, Xiaohan Zhao, Haizhou Xu, Sihan Wang, Jiaqi Zhang, Ye Zhu, Gang Huang
2024B4: Towards Optimal Assessment of Plausible Code Solutions with Plausible Tests.
Mouxiang Chen, Zhongxin Liu, He Tao, Yusu Hong, David Lo, Xin Xia, Jianling Sun
2024Balancing the Quality and Cost of Updating Dependencies.
Damien Jaime, Pascal Poizat, Joyce El Haddad, Thomas Degueule
2024BenchCloud: A Platform for Scalable Performance Benchmarking.
Dirk Beyer, Po-Chun Chien, Marek Jankola
2024Beyond Manual Modeling: Automating GUI Model Generation Using Design Documents.
Shaoheng Cao, Renyi Chen, Minxue Pan, Wenhua Yang, Xuandong Li
2024Blackbox Observability of Features and Feature Interactions.
Kallistos Weis, Leopoldo Teixeira, Clemens Dubslaff, Sven Apel
2024Bridging Gaps in LLM Code Translation: Reducing Errors with Call Graphs and Bridged Debuggers.
Yang Luo, Richard Yu, Fajun Zhang, Ling Liang, Yongqiang Xiong
2024Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems.
Mohammad Hossein Amini, Shiva Nejati
2024Build Issue Resolution from the Perspective of Non-Contributors.
Sunzhou Huang, Xiaoyin Wang
2024COBRA: Interaction-Aware Bytecode-Level Vulnerability Detector for Smart Contracts.
Wenkai Li, Xiaoqi Li, Zongwei Li, Yuqing Zhang
2024Can Code Metrics Enhance Documentation Generation for Computational Notebooks?
Mojtaba Mostafavi Ghahfarokhi, Hamed Jahantigh, Sepehr Kianiangolafshani, Ashkan Khademian, Alireza Asadi, Abbas Heydarnoori
2024Can Cooperative Multi-Agent Reinforcement Learning Boost Automatic Web Testing? An Exploratory Study.
Yujia Fan, Sinan Wang, Zebang Fei, Yao Qin, Huaxuan Li, Yepang Liu
2024Can Large Language Models Comprehend Code Stylometry?
Atish Kumar Dipongkor
2024Challenges & Opportunities in Automating DBMS: A Qualitative Study.
Yifan Wang, Pierre Bourhis, Romain Rouvoy, Patrick Royer
2024ChatBR: Automated assessment and improvement of bug report quality using ChatGPT.
Lili Bo, Wangjie Ji, Xiaobing Sun, Ting Zhang, Xiaoxue Wu, Ying Wei
2024Cloud Resource Protection via Automated Security Property Reasoning.
Zhixing Xu, Shengjian Guo, Oksana Tkachuk, Saeed Nejati, Niloofar Razavi, George Argyros
2024CoDefeater: Using LLMs To Find Defeaters in Assurance Cases.
Usman Gohar, Michael C. Hunter, Robyn R. Lutz, Myra B. Cohen
2024CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification.
Thomas Lemberger, Henrik Wachowitz
2024Coding-PTMs: How to Find Optimal Code Pre-trained Models for Code Embedding in Vulnerability Detection?
Yu Zhao, Lina Gong, Zhiqiu Huang, Yongwei Wang, Mingqiang Wei, Fei Wu
2024Combining Coverage and Expert Features with Semantic Representation for Coincidental Correctness Detection.
Huan Xie, Yan Lei, Maojin Li, Meng Yan, Sheng Zhang
2024CompAi: A Tool for GDPR Completeness Checking of Privacy Policies using Artificial Intelligence.
Orlando Amaral Cejas, Sallam Abualhaija, Lionel C. Briand
2024Compiler Bug Isolation via Enhanced Test Program Mutation.
Yujie Liu, Mingxuan Zhu, Jinhao Dong, Junzhe Yu, Dan Hao
2024ComplexCodeEval: A Benchmark for Evaluating Large Code Models on More Complex Code.
Jia Feng, Jiachen Liu, Cuiyun Gao, Chun Yong Chong, Chaozheng Wang, Shan Gao, Xin Xia
2024Compositional Security Analysis of Dynamic Component-based Systems.
Narges Khakpour, Charilaos Skandylas
2024Constraint-Based Test Oracles for Program Analyzers.
Markus Fleischmann, David Kaindlstorfer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis
2024Constructing Surrogate Models in Machine Learning Using Combinatorial Testing and Active Learning.
Sunny Shree, Krishna Khadka, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
2024Context-Aware Automated Sprint Plan Generation for Agile Software Development.
Elvan Kula, Arie van Deursen, Georgios Gousios
2024Contextualized Data-Wrangling Code Generation in Computational Notebooks.
Junjie Huang, Daya Guo, Chenglong Wang, Jiazhen Gu, Shuai Lu, Jeevana Priya Inala, Cong Yan, Jianfeng Gao, Nan Duan, Michael R. Lyu
2024ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts.
Che Wang, Jiashuo Zhang, Jianbo Gao, Libin Xia, Zhi Guan, Zhong Chen
2024Copilot-in-the-Loop: Fixing Code Smells in Copilot-Generated Python Code using Copilot.
Beiqi Zhang, Peng Liang, Qiong Feng, Yujia Fu, Zengyang Li
2024CoqPilot, a plugin for LLM-based generation of proofs.
Andrei Kozyrev, Gleb Solovev, Nikita Khramov, Anton Podkopaev
2024Cross-lingual Code Clone Detection: When LLMs Fail Short Against Embedding-based Classifier.
Micheline Bénédicte Moumoula, Abdoul Kader Kaboré, Jacques Klein, Tegawendé F. Bissyandé
2024DRMiner: Extracting Latent Design Rationale from Jira Issue Logs.
Jiuang Zhao, Zitian Yang, Li Zhang, Xiaoli Lian, Donghao Yang, Xin Tan
2024DataRecipe - How to Cook the Data for CodeLLM?
Kisub Kim, Jounghoon Kim, Byeongjo Park, Dongsun Kim, Chun Yong Chong, Yuan Wang, Tiezhu Sun, Daniel Tang, Jacques Klein, Tegawendé F. Bissyandé
2024DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning.
Davide Corradini, Zeno Montolli, Michele Pasqua, Mariano Ceccato
2024Demonstration-Free: Towards More Practical Log Parsing with Large Language Models.
Yi Xiao, Van-Hoang Le, Hongyu Zhang
2024Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor.
Qiong Feng, Xiaotian Ma, Huan Ji, Wei Song, Peng Liang
2024DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving.
Haoyu Liao, Jianmei Guo, Bo Huang, Yujie Han, Dingyu Yang, Kai Shi, Jonathan Ding, Guoyao Xu, Guodong Yang, Liping Zhang
2024Detect Hidden Dependency to Untangle Commits.
Mengdan Fan, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin
2024Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback.
Ruixue Li, Bin Yu, Xu Lu, Lei Ke, Jiawei Chen, Zixuan Yuan, Jingxian Wang, Cong Tian, Yansong Dong
2024Detecting Element Accessing Bugs in C++ Sequence Containers.
Zhilin Li, Xutong Ma, Mengze Hu, Jun Yan
2024Detecting Malicious Accounts in Web3 through Transaction Graph.
Wenkai Li, Zhijie Liu, Xiaoqi Li, Sen Nie
2024Detecting and Explaining Anomalies Caused by Web Tamper Attacks via Building Consistency-based Normality.
Yifan Liao, Ming Xu, Yun Lin, Xiwen Teoh, Xiaofei Xie, Ruitao Feng, Frank Liaw, Hongyu Zhang, Jin Song Dong
2024DevMuT: Testing Deep Learning Framework via Developer Expertise-Based Mutation.
Yanzhou Mu, Juan Zhai, Chunrong Fang, Xiang Chen, Zhixiang Cao, Peiran Yang, Yinglong Zou, Tao Zheng, Zhenyu Chen
2024Developer-Applied Accelerations in Continuous Integration: A Detection Approach and Catalog of Patterns.
Mingyang Yin, Yutaro Kashiwa, Keheliya Gallaba, Mahmoud Alfadel, Yasutaka Kamei, Shane McIntosh
2024Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects.
Nick Feng, Lina Marsso, Marsha Chechik
2024Differential Fuzzing for Data Distribution Service Programs with Dynamic Configuration.
Dohyun Ryu, Giyeol Kim, Daeun Lee, Seongjin Kim, Seungjin Bae, Junghwan Rhee, Taegyu Kim
2024Discovering Likely Program Invariants for Persistent Memory.
Zunchen Huang, Srivatsan Ravi, Chao Wang
2024Do not neglect what's on your hands: localizing software faults with exception trigger stream.
Xihao Zhang, Yi Song, Xiaoyuan Xie, Qi Xin, Chenliang Xing
2024DroidCoder: Enhanced Android Code Completion with Context-Enriched Retrieval-Augmented Generation.
Xinran Yu, Chun Li, Minxue Pan, Xuandong Li
2024DroneWiS: Automated Simulation Testing of small Unmanned Aerial System in Realistic Windy Conditions.
Bohan Zhang, Ankit Agrawal
2024DynaMO: Protecting Mobile DL Models through Coupling Obfuscated DL Operators.
Mingyi Zhou, Xiang Gao, Xiao Chen, Chunyang Chen, John Grundy, Li Li
2024Dynamic Scoring Code Token Tree: A Novel Decoding Strategy for Generating High-Performance Code.
Muzi Qu, Jie Liu, Liangyi Kang, Shuai Wang, Dan Ye, Tao Huang
2024Effective Unit Test Generation for Java Null Pointer Exceptions.
Myungho Lee, Jiseong Bak, Seokhyeon Moon, Yoonchan Jhi, Hakjoo Oh
2024Effective Vulnerable Function Identification based on CVE Description Empowered by Large Language Models.
Yulun Wu, Ming Wen, Zeliang Yu, Xiaochen Guo, Hai Jin
2024Efficient Code Causes Inefficiency in Compiler Optimizations.
Hongyu Chen
2024Efficient Detection of Test Interference in C Projects.
Florian Eder, Stefan Winter
2024Efficient Detection of Toxic Prompts in Large Language Models.
Yi Liu, Junzhe Yu, Huijia Sun, Ling Shi, Gelei Deng, Yuqi Chen, Yang Liu
2024Efficient Incremental Code Coverage Analysis for Regression Test Suites.
Jiale Amber Wang, Kaiyuan Wang, Pengyu Nie
2024Efficient Slicing of Feature Models via Projected d-DNNF Compilation.
Chico Sundermann, Jacob Loth, Thomas Thüm
2024Emergence of A Novel Domain Expert: A Generative AI-based Framework for Software Function Point Analysis.
Zheng Zhao, Hongxiang Jiang, Ran Zhao, Bing He
2024Enabling Cost-Effective UI Automation Testing with Retrieval-Based LLMs: A Case Study in WeChat.
Sidong Feng, Haochuan Lu, Jianqin Jiang, Ting Xiong, Likun Huang, Yinglin Liang, Xiaoqin Li, Yuetang Deng, Aldeida Aleti
2024End-to-End AutoML for Unsupervised Log Anomaly Detection.
Shenglin Zhang, Yuhe Ji, Jiaqi Luan, Xiaohui Nie, Ziang Chen, Minghua Ma, Yongqian Sun, Dan Pei
2024Enhancing Automated Program Repair with Solution Design.
Jiuang Zhao, Donghao Yang, Li Zhang, Xiaoli Lian, Zitian Yang, Fang Liu
2024Enhancing Compositional Static Analysis with Dynamic Analysis.
Dino Distefano, Matteo Marescotti, Cons T. Åhs, Sopot Cela, Gabriela Cunha Sampaio, Radu Grigore, Ákos Hajdu, Timotej Kapus, Ke Mao, Thibault Suzanne
2024Enhancing Software Design and Developer Experience Via LLMs.
Simin Sun
2024Enhancing the Efficiency of Automated Program Repair via Greybox Analysis.
Youngjae Kim, Yechan Park, Seungheon Han, Jooyong Yi
2024Evaluating Terminology Translation in Machine Translation Systems via Metamorphic Testing.
Yihui Xu, Yanhui Li, Jun Wang, Xiaofang Zhang
2024Evaluation of Version Control Merge Tools.
Benedikt Schesch, Ryan Featherman, Kenneth J. Yang, Ben R. Roberts, Michael D. Ernst
2024Experience Report on Applying Program Analysis Techniques for Mainframe Application Understanding.
Shivali Agarwal, Hiroaki Nakamura, Rami Katan
2024Exploring ChatGPT App Ecosystem: Distribution, Deployment and Security.
Chuan Yan, Ruomai Ren, Mark Huasong Meng, Liuhuo Wan, Tian Yang Ooi, Guangdong Bai
2024Exploring Parameter-Efficient Fine-Tuning of Large Language Model on Automated Program Repair.
Guochang Li, Chen Zhi, Jialiang Chen, Junxiao Han, Shuiguang Deng
2024FAIL: Analyzing Software Failures from the News Using LLMs.
Dharun Anandayuvaraj, Matthew Campbell, Arav Tewari, James C. Davis
2024FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection.
Jialuo Chen, Jingyi Wang, Xiyue Zhang, Youcheng Sun, Marta Kwiatkowska, Jiming Chen, Peng Cheng
2024FIPSER: Improving Fairness Testing of DNN by Seed Prioritization.
Junwei Chen, Yueling Zhang, Lingfeng Zhang, Min Zhang, Chengcheng Wan, Ting Su, Geguang Pu
2024FaaSConf: QoS-aware Hybrid Resources Configuration for Serverless Workflows.
Yilun Wang, Pengfei Chen, Hui Dou, Yiwen Zhang, Guangba Yu, Zilong He, Haiyu Huang
2024FastFixer: An Efficient and Effective Approach for Repairing Programming Assignments.
Fang Liu, Zhenwei Liu, Qianhui Zhao, Jing Jiang, Li Zhang, Zian Sun, Ge Li, Zhongqi Li, Yuchi Ma
2024Feature Model Slicing for Real-time Selection of Mission-critical Edge Applicaiton.
Uwe Gropengießer, Julian Liphardt, Michael Matthé, Max Mühlhäuser
2024Finding Performance Issues in Rust Projects.
Chenhao Cui
2024FixKit: A Program Repair Collection for Python.
Marius Smytzek, Martin Eberlein, Kai Werk, Lars Grunske, Andreas Zeller
2024From Logging to Leakage: A Study of Privacy Leakage in Android App Logs.
Zhiyuan Chen, Soham Sanjay Deo, Poorna Chander Reddy Puttaparthi, Yiming Tang, Xueling Zhang, Weiyi Shang
2024GPP: A Graph-Powered Prioritizer for Code Review Requests.
Lanxin Yang, Jinwei Xu, He Zhang, Fanghao Wu, Jun Lyu, Yue Li, Alberto Bacchelli
2024GPTZoo: A Large-scale Dataset of GPTs for the Research Community.
Xinyi Hou, Yanjie Zhao, Shenao Wang, Haoyu Wang
2024GUI Test Repair Based on Test-Extension.
Yonghao Long, Yuanyuan Chen, Xiangping Chen
2024General and Practical Property-based Testing for Android Apps.
Yiheng Xiong, Ting Su, Jue Wang, Jingling Sun, Geguang Pu, Zhendong Su
2024Getting Inspiration for Feature Elicitation: App Store- vs. LLM-based Approach.
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray, Walid Maalej
2024Giving Every Modality a Voice in Microservice Failure Diagnosis via Multimodal Adaptive Optimization.
Lei Tao, Shenglin Zhang, Zedong Jia, Jinrui Sun, Minghua Ma, Zhengdan Li, Yongqian Sun, Canqun Yang, Yuzhi Zhang, Dan Pei
2024Giving without Notifying: Assessing Compliance of Data Transmission in Android Apps.
Ming Fan, Jifei Shi, Yin Wang, Le Yu, Xicheng Zhang, Haijun Wang, Wuxia Jin, Ting Liu
2024GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models.
Zhibo Zhang, Wuxia Bai, Yuxi Li, Mark Huasong Meng, Kailong Wang, Ling Shi, Li Li, Jun Wang, Haoyu Wang
2024GraphCoder: Enhancing Repository-Level Code Completion via Coarse-to-fine Retrieval Based on Code Context Graph.
Wei Liu, Ailun Yu, Daoguang Zan, Bo Shen, Wei Zhang, Haiyan Zhao, Zhi Jin, Qianxiang Wang
2024GrayDuck: The Sword of Damocles for Duck Typing in Dynamic Language Deserialization.
Xiaofan Liu, Xunjin Zheng, Cai Fu, Xiaoheng Xie, Peng Di
2024HITS: High-coverage LLM-based Unit Test Generation via Method Slicing.
Zejun Wang, Kaibo Liu, Ge Li, Zhi Jin
2024HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts.
Mojtaba Eshghie, Cyrille Artho, Hans Stammler, Wolfgang Ahrendt, Thomas T. Hildebrandt, Gerardo Schneider
2024How Does Code Optimization Impact Third-party Library Detection for Android Applications?
Zifan Xie, Ming Wen, Tinghan Li, Yiding Zhu, Qinsheng Hou, Hai Jin
2024How Effectively Do Code Language Models Understand Poor-Readability Code?
Chao Hu, Yitian Chai, Hao Zhou, Fandong Meng, Jie Zhou, Xiaodong Gu
2024How many pomodoros do professional engineers need to complete a microtask of programming?
Shinobu Saito, Yukako Iimura, Emad Aghayi, Thomas D. LaToza
2024How to Pet a Two-Headed Snake? Solving Cross-Repository Compatibility Issues with Hera.
Yifan Xie, Zhouyang Jia, Shanshan Li, Ying Wang, Jun Ma, Xiaoling Li, Haoran Liu, Ying Fu, Xiangke Liao
2024Hybrid Regression Test Selection by Integrating File and Method Dependences.
Guofeng Zhang, LuYao Liu, Zhenbang Chen, Ji Wang
2024IdeoRate: Towards a Semi-automated Assessment Methodology for OSS Ideologies.
Yang Yue, Yi Wang, David F. Redmiles
2024Imperceptible Content Poisoning in LLM-Powered Applications.
Quan Zhang, Chijin Zhou, Gwihwan Go, Binqi Zeng, Heyuan Shi, Zichen Xu, Yu Jiang
2024Improving the Comprehension of R Programs by Hybrid Dataflow Analysis.
Florian Sihler
2024In-Simulation Testing of Deep Learning Vision Models in Autonomous Robotic Manipulators.
Dmytro Humeniuk, Houssem Ben Braiek, Thomas Reid, Foutse Khomh
2024Incremental Context-free Grammar Inference in Black Box Settings.
Feifei Li, Xiao Chen, Xi Xiao, Xiaoyu Sun, Chuan Chen, Shaohua Wang, Jitao Han
2024Industry Practice of Directed Kernel Fuzzing for Open-source Linux Distribution.
Heyuan Shi, Shijun Chen, Runzhe Wang, Yuhan Chen, Weibo Zhang, Qiang Zhang, Yuheng Shen, Xiaohai Shi, Chao Hu, Yu Jiang
2024Instructive Code Retriever: Learn from Large Language Model's Feedback for Code Intelligence Tasks.
Jiawei Lu, Haoye Wang, Zhongxin Liu, Keyu Liang, Lingfeng Bao, Xiaohu Yang
2024Integrating Mutation Testing Into Developer Workflow: An Industrial Case Study.
Stefan Alexander van Heijningen, Theo Wiik, Francisco Gomes de Oliveira Neto, Gregory Gay, Kim Viggedal, David Friberg
2024Interrogation Testing of Program Analyzers for Soundness and Precision Issues.
David Kaindlstorfer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis
2024JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models.
Jialun Cao, Zhiyong Chen, Jiarong Wu, Shing-Chi Cheung, Chang Xu
2024LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference.
Guangyuan Wu, Weining Cao, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma
2024LLM-Based Java Concurrent Program to ArkTS Converter.
Runlin Liu, Yuhang Lin, Yunge Hu, Zhe Zhang, Xiang Gao
2024LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling.
Muhammad A. A. Pirzada, Giles Reger, Ahmed Bhayat, Lucas C. Cordeiro
2024LLM4Workflow: An LLM-based Automated Workflow Model Generation Tool.
Jia Xu, Weilin Du, Xiao Liu, Xuejun Li
2024LLMs and Prompting for Unit Test Generation: A Large-Scale Evaluation.
Wendkûuni C. Ouédraogo, Abdoul Kader Kaboré, Haoye Tian, Yewei Song, Anil Koyuncu, Jacques Klein, David Lo, Tegawendé F. Bissyandé
2024Language-Agnostic Static Analysis of Probabilistic Programs.
Markus Böck, Michael Schröder, Jürgen Cito
2024LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models.
Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Lei Lei, Yuan Zhou, Yinxing Xue
2024LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries.
Igor Wodiany, Antoniu Pop, Mikel Luján
2024Learning DNN Abstractions using Gradient Descent.
Diganta Mukhopadhyay, Sanaa Siddiqui, Hrishikesh Karmarkar, Kumar Madhukar, Guy Katz
2024Leveraging Large Language Model to Assist Detecting Rust Code Comment Inconsistency.
Yichi Zhang, Zixi Liu, Yang Feng, Baowen Xu
2024MADE-WIC: Multiple Annotated Datasets for Exploring Weaknesses In Code.
Moritz Mock, Jorge Melegati, Max Kretschmann, Nicolás E. Díaz Ferreyra, Barbara Russo
2024MLOLET - Machine Learning Optimized Load and Endurance Testing: An industrial experience report.
Arthur Vitui, Tse-Hsun Chen
2024MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing.
Congying Xu, Songqiang Chen, Jiarong Wu, Shing-Chi Cheung, Valerio Terragni, Hengcheng Zhu, Jialun Cao
2024MRCA: Metric-level Root Cause Analysis for Microservices via Multi-Modal Data.
Yidan Wang, Zhouruixing Zhu, Qiuai Fu, Yuchi Ma, Pinjia He
2024Magneto: A Step-Wise Approach to Exploit Vulnerabilities in Dependent Libraries via LLM-Empowered Directed Fuzzing.
Zhuotong Zhou, Yongzhuo Yang, Susheng Wu, Yiheng Huang, Bihuan Chen, Xin Peng
2024MaskDroid: Robust Android Malware Detection with Masked Graph Representations.
Jingnan Zheng, Jiahao Liu, An Zhang, Jun Zeng, Ziqi Yang, Zhenkai Liang, Tat-Seng Chua
2024Match Word with Deed: Maintaining Consistency for IoT Systems with Behavior Models.
Tao Wang, Wei Chen, Liwei Liu, Guoquan Wu, Jun Wei, Tao Huang
2024Microservice Decomposition Techniques: An Independent Tool Comparison.
Yingying Wang, Sarah Bornais, Julia Rubin
2024MiniChecker: Detecting Data Privacy Risk of Abusive Permission Request Behavior in Mini-Programs.
Yin Wang, Ming Fan, Hao Zhou, Haijun Wang, Wuxia Jin, Jiajia Li, Wenbo Chen, Shijie Li, Yu Zhang, Deqiang Han, Ting Liu
2024Mining and Recommending Mobile App Features using Data-driven Analytics.
Ramsha Ali
2024Mining for Mutation Operators for Reduction of Information Flow Control Violations.
Ilya Kosorukov, Daniel Blackwell, David Clark, Myra B. Cohen, Justyna Petke
2024Model-based GUI Testing For HarmonyOS Apps.
Yige Chen, Sinan Wang, Yida Tao, Yepang Liu
2024Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs.
Jian Zhao, Shenao Wang, Yanjie Zhao, Xinyi Hou, Kailong Wang, Peiming Gao, Yuanchao Zhang, Chen Wei, Haoyu Wang
2024Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment.
Yinglong Zou, Juan Zhai, Chunrong Fang, Jiawei Liu, Tao Zheng, Zhenyu Chen
2024Mutual Learning-Based Framework for Enhancing Robustness of Code Models via Adversarial Training.
Yangsen Wang, Yizhou Chen, Yifan Zhao, Zhihao Gong, Junjie Chen, Dan Hao
2024Navigating Mobile Testing Evaluation: A Comprehensive Statistical Analysis of Android GUI Testing Metrics.
Yuanhong Lan, Yifei Lu, Minxue Pan, Xuandong Li
2024NeuroJIT: Improving Just-In-Time Defect Prediction Using Neurophysiological and Empirical Perceptions of Modern Developers.
Gichan Lee, Hansae Ju, Scott Uk-Jin Lee
2024Olympia: Fuzzer Benchmarking for Solidity.
Jana Chadt, Christoph Hochrainer, Valentin Wüstholz, Maria Christakis
2024On the Evaluation of Large Language Models in Unit Test Generation.
Lin Yang, Chen Yang, Shutao Gao, WeiJing Wang, Bo Wang, Qihao Zhu, Xiao Chu, Jianyi Zhou, Guangtai Liang, Qianxiang Wang, Junjie Chen
2024OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
2024Oracle-Guided Vulnerability Diversity and Exploit Synthesis of Smart Contracts Using LLMs.
Mojtaba Eshghie, Cyrille Artho
2024PACGBI: A Pipeline for Automated Code Generation from Backlog Items.
Mahja Sarschar, Gefei Zhang, Annika Nowak
2024Parf: Adaptive Parameter Refining for Abstract Interpretation.
Zhongyi Wang, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin
2024PatUntrack: Automated Generating Patch Examples for Issue Reports without Tracked Insecure Code.
Ziyou Jiang, Lin Shi, Guowei Yang, Qing Wang
2024PatchTrack: Analyzing ChatGPT's Impact on Software Patch Decision-Making in Pull Requests.
Daniel Ogenrwot, John Businge
2024Preference-Guided Refactored Tuning for Retrieval Augmented Code Generation.
Xinyu Gao, Yun Xiong, Deze Wang, Zhenhan Guan, Zejian Shi, Haofen Wang, Shanshan Li
2024Prioritizing Test Inputs for DNNs Using Training Dynamics.
Jian Shen, Zhong Li, Minxue Pan, Xuandong Li
2024Prioritizing Tests for Improved Runtime.
Abdelrahman Baz, Minchao Huang, August Shi
2024Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, ASE 2024, Sacramento, CA, USA, October 27 - November 1, 2024
Vladimir Filkov, Baishakhi Ray, Minghui Zhou
2024Program Synthesis Meets Visual What-Comes-Next Puzzles.
Sumit Lahiri, Pankaj Kumar Kalita, Akshay Kumar Chittora, Varun Vankudre, Subhajit Roy
2024Promise and Peril of Collaborative Code Generation Models: Balancing Effectiveness and Memorization.
Zhi Chen, Lingxiao Jiang
2024Proof Automation with Large Language Models.
Minghai Lu, Benjamin Delaware, Tianyi Zhang
2024Quantitative Symbolic Non-Equivalence Analysis.
Laboni Sarker, Tevfik Bultan
2024Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers.
Asmar Muqeet, Shaukat Ali, Paolo Arcaini
2024RCFG2Vec: Considering Long-Distance Dependency for Binary Code Similarity Detection.
Weilong Li, Jintian Lu, Ruizhi Xiao, Pengfei Shao, Shuyuan Jin
2024REACT: IR-Level Patch Presence Test for Binary.
Qi Zhan, Xing Hu, Xin Xia, Shanping Li
2024RMCBench: Benchmarking Large Language Models' Resistance to Malicious Code.
Jiachi Chen, Qingyuan Zhong, Yanlin Wang, Kaiwen Ning, Yongkun Liu, Zenan Xu, Zhe Zhao, Ting Chen, Zibin Zheng
2024ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation.
Shiwei Feng, Yapeng Ye, Qingkai Shi, Zhiyuan Cheng, Xiangzhe Xu, Siyuan Cheng, Hongjun Choi, Xiangyu Zhang
2024Reducing Test Runtime by Transforming Test Fixtures.
Chengpeng Li, Abdelrahman Baz, August Shi
2024Refinement Types for Visualization.
Jingtao Xia, Junrui Liu, Nicholas Brown, Yanju Chen, Yu Feng
2024Repairing Regex-Dependent String Functions.
Nariyoshi Chida, Tachio Terauchi
2024RepoGenix: Dual Context-Aided Repository-Level Code Completion with Language Models.
Ming Liang, Xiaoheng Xie, Gehao Zhang, Xunjin Zheng, Peng Di, Wei Jiang, Hongwei Chen, Chengpeng Wang, Gang Fan
2024RepoSim: Evaluating Prompt Strategies for Code Completion via User Behavior Simulation.
Chao Peng, Qinyun Wu, Jiangchao Liu, Jierui Liu, Bo Jiang, Mengqian Xu, Yinghao Wang, Xia Liu, Ping Yang
2024Revisiting the Conflict-Resolving Problem from a Semantic Perspective.
Jinhao Dong, Jun Sun, Yun Lin, Yedi Zhang, Murong Ma, Jin Song Dong, Dan Hao
2024Root Cause Analysis for Microservice System based on Causal Inference: How Far Are We?
Luan Pham, Huong Ha, Hongyu Zhang
2024Rust-twins: Automatic Rust Compiler Testing through Program Mutation and Dual Macros Generation.
Wenzhang Yang, Cuifeng Gao, Xiaoyuan Liu, Yuekang Li, Yinxing Xue
2024SLIM: a Scalable and Interpretable Light-weight Fault Localization Algorithm for Imbalanced Data in Microservice.
Rui Ren, Jingbang Yang, Linxiao Yang, Xinyue Gu, Liang Sun
2024STASE: Static Analysis Guided Symbolic Execution for UEFI Vulnerability Signature Generation.
Md Shafiuzzaman, Achintya Desai, Laboni Sarker, Tevfik Bultan
2024Same App, Different Behaviors: Uncovering Device-specific Behaviors in Android Apps.
Zikan Dong, Yanjie Zhao, Tianming Liu, Chao Wang, Guosheng Xu, Guoai Xu, Lin Zhang, Haoyu Wang
2024Scaler: Efficient and Effective Cross Flow Analysis.
Steven (Jiaxun) Tang, Mingcan Xiang, Yang Wang, Bo Wu, Jianjun Chen, Tongping Liu
2024Seeding and Mocking in White-Box Fuzzing Enterprise RPC APIs: An Industrial Case Study.
Man Zhang, Andrea Arcuri, Piyun Teng, Kaiming Xue, Wenhao Wang
2024Self-Elicitation of Requirements with Automated GUI Prototyping.
Kristian Kolthoff, Christian Bartelt, Simone Paolo Ponzetto, Kurt Schneider
2024SemantiLog: Log-based Anomaly Detection with Semantic Similarity.
Yoli Shavit, Kathy Razmadze, Gary Mataev, Hanan Shteingart, Eitan Zahavi, Zachi Binshtock
2024Semantic Sleuth: Identifying Ponzi Contracts via Large Language Models.
Cong Wu, Jing Chen, Ziwei Wang, Ruichao Liang, Ruiying Du
2024Semantic-Enhanced Indirect Call Analysis with Large Language Models.
Baijun Cheng, Cen Zhang, Kailong Wang, Ling Shi, Yang Liu, Haoyu Wang, Yao Guo, Ding Li, Xiangqun Chen
2024Semantic-aware Source Code Modeling.
Yangruibo Ding
2024Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems.
Zihao Rao
2024Semi-Supervised Code Translation Overcoming the Scarcity of Parallel Code Data.
Ming Zhu, Mohimenul Karim, Ismini Lourentzou, Daphne Yao
2024Semistructured Merge with Language-Specific Syntactic Separators.
Guilherme Cavalcanti, Paulo Borba, Leonardo dos Anjos, Jônatas Clementino
2024Shoot Yourself in the Foot - Efficient Code Causes Inefficiency in Compiler Optimizations.
Fengjuan Gao, Hongyu Chen, Yuewei Zhou, Ke Wang
2024Sifting through the Chaff: On Utilizing Execution Feedback for Ranking the Generated Code Candidates.
Zhihong Sun, Yao Wan, Jia Li, Hongyu Zhang, Zhi Jin, Ge Li, Chen Lyu
2024Skyeye: Detecting Imminent Attacks via Analyzing Adversarial Smart Contracts.
Haijun Wang, Yurui Hu, Hao Wu, Dijun Liu, Chenyang Peng, Yin Wu, Ming Fan, Ting Liu
2024Slicer4D: A Slicing-based Debugger for Java.
Sahar Badihi, Sami Nourji, Julia Rubin
2024Snopy: Bridging Sample Denoising with Causal Graph Learning for Effective Vulnerability Detection.
Sicong Cao, Xiaobing Sun, Xiaoxue Wu, David Lo, Lili Bo, Bin Li, Xiaolei Liu, Xingwei Lin, Wei Liu
2024SoVAR: Build Generalizable Scenarios from Accident Reports for Autonomous Driving Testing.
An Guo, Yuan Zhou, Haoxiang Tian, Chunrong Fang, Yunjian Sun, Weisong Sun, Xinyu Gao, Anh Tuan Luu, Yang Liu, Zhenyu Chen
2024Software Supply Chain Risk: Characterization, Measurement & Attenuation.
Alexis Butler
2024SpiderScan: Practical Detection of Malicious NPM Packages Based on Graph-Based Behavior Modeling and Matching.
Yiheng Huang, Ruisi Wang, Wen Zheng, Zhuotong Zhou, Susheng Wu, Shulin Ke, Bihuan Chen, Shan Gao, Xin Peng
2024Spotting Code Mutation for Predictive Mutation Testing.
Yifan Zhao, Yizhou Chen, Zeyu Sun, Qingyuan Liang, Guoqing Wang, Dan Hao
2024Studying Versioning in Stack Overflow.
Yiyun Chen, Fuxiang Chen, Mijung Kim, Fatemeh H. Fard
2024Syntactic Resilience in Greybox Fuzzing: Automated Error Recovery.
Bachir Bendrissou
2024Test Case Generation for Simulink Models using Model Fuzzing and State Solving.
Zhuo Su, Zehong Yu, Dongyan Wang, Wanli Chang, Bin Gu, Yu Jiang
2024Test-Driven Development and LLM-based Code Generation.
Noble Saji Mathews, Meiyappan Nagappan
2024The Importance of Accounting for Execution Failures when Predicting Test Flakiness.
Guillaume Haben, Sarra Habchi, John Micco, Mark Harman, Mike Papadakis, Maxime Cordy, Yves Le Traon
2024The Potential of One-Shot Failure Root Cause Analysis: Collaboration of the Large Language Model and Small Classifier.
Yongqi Han, Qingfeng Du, Ying Huang, JiaQi Wu, Fulong Tian, Cheng He
2024The Software Genome Project: Unraveling Software Through Genetic Principles.
Yueming Wu, Chengwei Liu, Zhengzi Xu, Lyuye Zhang, Yiran Zhang, Zhiling Zhu, Yang Liu
2024Three Heads Are Better Than One: Suggesting Move Method Refactoring Opportunities with Inter-class Code Entity Dependency Enhanced Hybrid Hypergraph Neural Network.
Di Cui, Jiaqi Wang, Qiangqiang Wang, Peng Ji, Minglang Qiao, Yutong Zhao, Jingzhao Hu, Luqiao Wang, Qingshan Li
2024To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions.
Jaemin Hong, Sukyoung Ryu
2024Toward Individual Fairness Testing with Data Validity.
Takashi Kitamura, Sousuke Amasaki, Jun Inoue, Yoshinao Isobe, Takahisa Toda
2024Towards Automated Configuration Documentation.
Jobayer Ahmmed, Myra B. Cohen, Paul Gazzillo
2024Towards Effective Static Type-Error Detection for Python.
Wonseok Oh, Hakjoo Oh
2024Towards Extracting Ethical Concerns-related Software Requirements from App Reviews.
Aakash Sorathiya, Gouri Ginde
2024Towards LLM-augmented multiagent systems for agile software engineering.
Konrad Cinkusz, Jaroslaw A. Chudziak
2024Towards Leveraging LLMs for Reducing Open Source Onboarding Information Overload.
Elijah Kayode Adejumo, Brittany Johnson
2024Towards Long-Term Scientific Model Sustainment at Sandia National Laboratories.
Christian Gilbertson, Reed Milewicz, Eric Berquist, Aaron Brundage, John Engelmann, Brian Evans, Nicholas Francis, Ernest Friedman-Hill, Samuel Grayson, Evan Harvey, Eric Ho, Edward Hoffman, Kevin Irick, Anagha Krishna, Aaron Moreno, Joshua B. Teves
2024Towards Robust Detection of Open Source Software Supply Chain Poisoning Attacks in Industry Environments.
Xinyi Zheng, Chen Wei, Shenao Wang, Yanjie Zhao, Peiming Gao, Yuanchao Zhang, Kailong Wang, Haoyu Wang
2024Towards Robust ML-enabled Software Systems: Detecting Out-of-Distribution data using Gini Coefficients.
Hala Abdelkader, Jean-Guy Schneider, Mohamed Abdelrazek, Priya Rani, Rajesh Vasa
2024Towards Synthetic Trace Generation of Modeling Operations using In-Context Learning Approach.
Vittoriano Muttillo, Claudio Di Sipio, Riccardo Rubei, Luca Berardinelli, MohammadHadi Dehghani
2024Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation.
Zongze Jiang, Ming Wen, Jialun Cao, Xuanhua Shi, Hai Jin
2024Towards a Robust Waiting Strategy for Web GUI Testing for an Industrial Software System.
Haonan Zhang, Lizhi Liao, Zishuo Ding, Weiyi Shang, Nidhi Narula, Catalin Sporea, Andrei Toma, Sarah Sajedi
2024Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements.
Mohamad Fazelnia, Mehdi Mirakhorli, Hamid Bagheri
2024Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based Neural Network.
Yuanlin Li, Zhiwei Xu, Min Zhou, Hai Wan, Xibin Zhao
2024TypeFSL: Type Prediction from Binaries via Inter-procedural Data-flow Analysis and Few-shot Learning.
Zirui Song, Yutong Zhou, Shuaike Dong, Ke Zhang, Kehuan Zhang
2024Typed and Confused: Studying the Unexpected Dangers of Gradual Typing.
Dominic Troppmann, Aurore Fass, Cristian-Alexandru Staicu
2024UFront: Toward A Unified MLIR Frontend for Deep Learning.
Guoqing Bao, Heng Shi, Chengyi Cui, Yalin Zhang, Jianguo Yao
2024Understanding Code Changes Practically with Small-Scale Language Models.
Cong Li, Zhaogui Xu, Peng Di, Dongxia Wang, Zheng Li, Qian Zheng
2024Understanding Developer-Analyzer Interactions in Code Reviews.
Martin Schäf, Berk Çirisci, Linghui Luo, Muhammad Numair Mansur, Omer Tripp, Daniel Sanchez, Qiang Zhou, Muhammad Bilal Zafar
2024Understanding the Implications of Changes to Build Systems.
Mahtab Nejati, Mahmoud Alfadel, Shane McIntosh
2024Unity Is Strength: Collaborative LLM-Based Agents for Code Reviewer Recommendation.
Luqiao Wang, Yangtao Zhou, Huiying Zhuang, Qingshan Li, Di Cui, Yutong Zhao, Lu Wang
2024Unlocking the Power of Numbers: Log Compression via Numeric Token Parsing.
Siyu Yu, Yifan Wu, Ying Li, Pinjia He
2024Unveiling the Characteristics and Impact of Security Patch Evolution.
Zifan Xie, Ming Wen, Zichao Wei, Hai Jin
2024Using AI to Automate the Modernization of Legacy Software Applications.
Vikram Nitin
2024Using LLM for Mining and Testing Constraints in API Testing.
Hieu Huynh, Quoc-Tri Le, Tien N. Nguyen, Vu Nguyen
2024Vehicle Domain-Specific Language: Unifying Modeling and Code Generation for Low-Code Automotive Development.
Lei Liao, Junjie Wang, Zhensheng Xu, Fangwen Mu, Yukun Yang
2024Verifying the Option Type with Rely-Guarantee Reasoning.
James Yoo, Michael D. Ernst, René Just
2024Vision: Identifying Affected Library Versions for Open Source Software Vulnerabilities.
Susheng Wu, Ruisi Wang, Kaifeng Huang, Yiheng Cao, Wenyan Song, Zhuotong Zhou, Yiheng Huang, Bihuan Chen, Xin Peng
2024Visualizing and Understanding the Internals of Fuzzing.
Sriteja Kummita, Zenong Zhang, Eric Bodden, Shiyi Wei
2024VulAdvisor: Natural Language Suggestion Generation for Software Vulnerability Repair.
Jian Zhang, Chong Wang, Anran Li, Wenhan Wang, Tianlin Li, Yang Liu
2024VulZoo: A Comprehensive Vulnerability Intelligence Dataset.
Bonan Ruan, Jiahao Liu, Weibo Zhao, Zhenkai Liang
2024WaDec: Decompiling WebAssembly Using Large Language Model.
Xinyu She, Yanjie Zhao, Haoyu Wang
2024What Is Wrong with My Model? Identifying Systematic Problems with Semantic Data Slicing.
Chenyang Yang, Yining Hong, Grace A. Lewis, Tongshuang Wu, Christian Kästner
2024What Makes a High-Quality Training Dataset for Large Language Models: A Practitioners' Perspective.
Xiao Yu, Zexian Zhang, Feifei Niu, Xing Hu, Xin Xia, John Grundy
2024flowR: A Static Program Slicer for R.
Florian Sihler, Matthias Tichy
2024iSMELL: Assembling LLMs with Expert Toolsets for Code Smell Detection and Refactoring.
Di Wu, Fangwen Mu, Lin Shi, Zhaoqiang Guo, Kui Liu, Weiguang Zhuang, Yuqi Zhong, Li Zhang