| 101 |
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
Claudio Menghi, Shiva Nejati, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
84 |
6 years ago |
| 102 |
Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications
Wei Ma, Daoyuan Wu, ... (+6 more)
|
👻
Ghosted
|
cs.SE
|
84 |
2 years ago |
| 103 |
Eadro: An End-to-End Troubleshooting Framework for Microservices on Multi-source Data
Cheryl Lee, Tianyi Yang, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
84 |
3 years ago |
| 104 |
Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing
Jiazhen Gu, Xuchuan Luo, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
82 |
3 years ago |
| 105 |
Using Deep Learning to Generate Complete Log Statements
Antonio Mastropaolo, Luca Pascarella, Gabriele Bavota
|
👻
Ghosted
|
cs.SE
|
81 |
4 years ago |
| 106 |
Robustness of Neural Networks: A Probabilistic and Practical Approach
Ravi Mangal, Aditya V. Nori, Alessandro Orso
|
👻
Ghosted
|
cs.LG
|
80 |
7 years ago |
| 107 |
An Empirical Assessment of Security Risks of Global Android Banking Apps
Sen Chen, Lingling Fan, ... (+6 more)
|
👻
Ghosted
|
cs.CR
|
80 |
7 years ago |
| 108 |
Learning API Usages from Bytecode: A Statistical Approach
Tam The Nguyen, Hung Viet Pham, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
80 |
10 years ago |
| 109 |
Analysis and Detection of Information Types of Open Source Software Issue Discussions
Deeksha Arya, Wenting Wang, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
78 |
7 years ago |
| 110 |
CrashScope: A Practical Tool for Automated Testing of Android Applications
Kevin Moran, Mario Linares-Vasquez, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
78 |
8 years ago |
| 111 |
Can clone detection support quality assessments of requirements specifications?
Elmar Juergens, Florian Deissenboeck, ... (+6 more)
|
👻
Ghosted
|
cs.SE
|
78 |
8 years ago |
| 112 |
Dronology: An Incubator for Cyber-Physical System Research
Jane Cleland-Huang, Michael Vierhauser, Sean Bayley
|
👻
Ghosted
|
cs.SE
|
77 |
7 years ago |
| 113 |
Translating Video Recordings of Mobile App Usages into Replayable Scenarios
Carlos Bernal-Cárdenas, Nathan Cooper, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
76 |
5 years ago |
| 114 |
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
Stefanos Chaliasos, Marcos Antonios Charalambous, ... (+5 more)
|
👻
Ghosted
|
cs.CR
|
76 |
2 years ago |
| 115 |
Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection
Benjamin Steenhoek, Hongyang Gao, Wei Le
|
👻
Ghosted
|
cs.SE
|
76 |
3 years ago |
| 116 |
Detecting False Alarms from Automatic Static Analysis Tools: How Far are We?
Hong Jin Kang, Khai Loong Aw, David Lo
|
👻
Ghosted
|
cs.SE
|
76 |
4 years ago |
| 117 |
Did We Miss Something Important? Studying and Exploring Variable-Aware Log Abstraction
Zhenhao Li, Chuan Luo, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
75 |
2 years ago |
| 118 |
An Empirical Study on Software Bill of Materials: Where We Stand and the Road Ahead
Boming Xia, Tingting Bi, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
75 |
3 years ago |
| 119 |
Language Models for Code Completion: A Practical Evaluation
Maliheh Izadi, Jonathan Katzy, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
74 |
2 years ago |
| 120 |
9.6 Million Links in Source Code Comments: Purpose, Evolution, and Decay
Hideaki Hata, Christoph Treude, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
74 |
7 years ago |
| 121 |
Towards effective AI-powered agile project management
Hoa Khanh Dam, Truyen Tran, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
73 |
7 years ago |
| 122 |
On Testing Quantum Programs
Andriy Miranskyy, Lei Zhang
|
👻
Ghosted
|
cs.SE
|
73 |
7 years ago |
| 123 |
Beyond the Hype: A Comprehensive Review of Current Trends in Generative AI Research, Teaching Practices, and Tools
James Prather, Juho Leinonen, ... (+13 more)
|
👻
Ghosted
|
cs.CY
|
72 |
1 year ago |
| 124 |
Morest: Model-based RESTful API Testing with Execution Feedback
Yi Liu, Yuekang Li, ... (+7 more)
|
👻
Ghosted
|
cs.SE
|
72 |
3 years ago |
| 125 |
SpecRover: Code Intent Extraction via LLMs
Haifeng Ruan, Yuntong Zhang, Abhik Roychoudhury
|
👻
Ghosted
|
cs.SE
|
71 |
1 year ago |
| 126 |
EASYFLOW: Keep Ethereum Away From Overflow
Jianbo Gao, Han Liu, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
69 |
7 years ago |
| 127 |
Targeted Greybox Fuzzing with Static Lookahead Analysis
Valentin Wüstholz, Maria Christakis
|
👻
Ghosted
|
cs.SE
|
68 |
6 years ago |
| 128 |
Learning to Fix Build Errors with Graph2Diff Neural Networks
Daniel Tarlow, Subhodeep Moitra, ... (+5 more)
|
👻
Ghosted
|
cs.LG
|
67 |
6 years ago |
| 129 |
CoCoSoDa: Effective Contrastive Learning for Code Search
Ensheng Shi, Yanlin Wang, ... (+6 more)
|
👻
Ghosted
|
cs.SE
|
67 |
3 years ago |
| 130 |
A Study on the Prevalence of Human Values in Software Engineering Publications, 2015-2018
Harsha Perera, Arif Nurwidyantoro, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
66 |
6 years ago |
| 131 |
Calibration and Correctness of Language Models for Code
Claudio Spiess, David Gros, ... (+7 more)
|
👻
Ghosted
|
cs.SE
|
66 |
2 years ago |
| 132 |
ITER: Iterative Neural Repair for Multi-Location Patches
He Ye, Martin Monperrus
|
👻
Ghosted
|
cs.SE
|
66 |
2 years ago |
| 133 |
A Grounded Theory of Coordination in Remote-First and Hybrid Software Teams
Ronnie E. de Souza Santos, Paul Ralph
|
👻
Ghosted
|
cs.SE
|
66 |
4 years ago |
| 134 |
What Causes My Test Alarm? Automatic Cause Analysis for Test Alarms in System and Integration Testing
He Jiang, Xiaochen Li, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
65 |
9 years ago |
| 135 |
Trustworthy and Synergistic Artificial Intelligence for Software Engineering: Vision and Roadmaps
David Lo
|
👻
Ghosted
|
cs.SE
|
64 |
2 years ago |
| 136 |
Vulnerability Detection with Graph Simplification and Enhanced Graph Representation Learning
Xin-Cheng Wen, Yupan Chen, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
63 |
3 years ago |
| 137 |
Fairness-aware Configuration of Machine Learning Libraries
Saeid Tizpaz-Niari, Ashish Kumar, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
63 |
4 years ago |
| 138 |
Testing Machine Translation via Referential Transparency
Pinjia He, Clara Meister, Zhendong Su
|
👻
Ghosted
|
cs.CL
|
61 |
5 years ago |
| 139 |
An Unsupervised Approach for Discovering Relevant Tutorial Fragments for APIs
He Jiang, Jingxuan Zhang, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
61 |
9 years ago |
| 140 |
BOMs Away! Inside the Minds of Stakeholders: A Comprehensive Study of Bills of Materials for Software Systems
Trevor Stalnaker, Nathan Wintersgill, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
61 |
2 years ago |
| 141 |
Code Search based on Context-aware Code Translation
Weisong Sun, Chunrong Fang, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
61 |
4 years ago |
| 142 |
Please Turn Your Cameras On: Remote Onboarding of Software Developers during a Pandemic
Paige Rodeghero, Thomas Zimmermann, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
60 |
5 years ago |
| 143 |
ReluDiff: Differential Verification of Deep Neural Networks
Brandon Paulsen, Jingbo Wang, Chao Wang
|
👻
Ghosted
|
cs.LG
|
60 |
6 years ago |
| 144 |
Reasoning Runtime Behavior of a Program with LLM: How Far Are We?
Junkai Chen, Zhiyuan Pan, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
60 |
2 years ago |
| 145 |
Testing the Limits: Unusual Text Inputs Generation for Mobile App Crash Detection with Large Language Model
Zhe Liu, Chunyang Chen, ... (+6 more)
|
👻
Ghosted
|
cs.SE
|
60 |
2 years ago |
| 146 |
Learning from, Understanding, and Supporting DevOps Artifacts for Docker
Jordan Henkel, Christian Bird, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
59 |
6 years ago |
| 147 |
Source Code Summarization in the Era of Large Language Models
Weisong Sun, Yun Miao, ... (+7 more)
|
👻
Ghosted
|
cs.SE
|
59 |
1 year ago |
| 148 |
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
Lezhi Ma, Shangqing Liu, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
59 |
2 years ago |
| 149 |
How Far Are We? The Triumphs and Trials of Generative AI in Learning Software Engineering
Rudrajit Choudhuri, Dylan Liu, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
58 |
2 years ago |
| 150 |
Towards a Quantum Software Modeling Language
Carlos A. Perez-Delgado, Hector G. Perez-Gonzalez
|
👻
Ghosted
|
quant-ph
|
58 |
5 years ago |