| 851 |
Characterising Contributions that Coincide with Vulnerability Mitigation in NPM Libraries
Ruksit Rojpaisarnkit, Hathaichanok Damrongsiri, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 852 |
Contributing Back to the Ecosystem: A User Survey of NPM Developers
Supatsara Wattanakriengkrai, Christoph Treude, Raula Gaikovina Kula
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 853 |
An Operational Semantics for Yul
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
|
👻
Ghosted
|
cs.PL
|
1 |
1 year ago |
| 854 |
Model-Checking the Implementation of Consent
Raúl Pardo, Daniel Le Métayer
|
👻
Ghosted
|
cs.CR
|
1 |
1 year ago |
| 855 |
Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-box Fuzzing?
Mingyuan Wu, Jiahong Xiang, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 856 |
User-Guided Verification of Security Protocols via Sound Animation
Kangfeng Ye, Roberto Metere, Poonam Yadav
|
👻
Ghosted
|
cs.CR
|
1 |
1 year ago |
| 857 |
Memory-Efficient Large Language Models for Program Repair with Semantic-Guided Patch Generation
Thanh Le-Cong, Bach Le, Toby Murray
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 858 |
Identifying Factors Contributing to Bad Days for Software Developers: A Mixed Methods Study
Ike Obi, Jenna Butler, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 859 |
PairSmell: A Novel Perspective Inspecting Software Modular Structure
Chenxing Zhong, Daniel Feitosa, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 860 |
ChatGPT Inaccuracy Mitigation during Technical Report Understanding: Are We There Yet?
Salma Begum Tamanna, Gias Uddin, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 861 |
A Catalog of Micro Frontends Anti-patterns
Nabson Silva, Eriky Rodrigues, Tayana Conte
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 862 |
Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements
Huaijin Wang, Zhibo Liu, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 863 |
Automated, Unsupervised, and Auto-parameterized Inference of Data Patterns and Anomaly Detection
Qiaolin Qin, Heng Li, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 864 |
DialogAgent: An Auto-engagement Agent for Code Question Answering Data Production
Xiaoyun Liang, Jingyi Ren, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 865 |
Similar but Patched Code Considered Harmful -- The Impact of Similar but Patched Code on Recurring Vulnerability Detection and How to Remove Them
Zixuan Tan, Jiayuan Zhou, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 866 |
Treefix: Enabling Execution with a Tree of Prefixes
Beatriz Souza, Michael Pradel
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 867 |
Investigating the Developer eXperience of LGBTQIAPN+ People in Agile Teams
Edvaldo Wassouf, Pedro Fukuda, Awdren Fontão
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 868 |
Automated Repair of Cyber-Physical Systems
Pablo Valle
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 869 |
SBOM Challenges for Developers: From Analysis of Stack Overflow Questions
Wataru Otoda, Tetsuya Kanda, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 870 |
Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries
Yongchao Wang, Yuandao Cai, Charles Zhang
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 871 |
BSODiag: A Global Diagnosis Framework for Batch Servers Outage in Large-scale Cloud Infrastructure Systems
Tao Duan, Runqing Chen, ... (+6 more)
|
👻
Ghosted
|
cs.DC
|
1 |
1 year ago |
| 872 |
Towards More Trustworthy Deep Code Models by Enabling Out-of-Distribution Detection
Yanfu Yan, Viet Duong, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 873 |
SeeAction: Towards Reverse Engineering How-What-Where of HCI Actions from Screencasts for UI Automation
Dehai Zhao, Zhenchang Xing, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 874 |
Automatically Generating Single-Responsibility Unit Tests
Geraldine Galindo-Gutierrez
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 875 |
Using ML filters to help automated vulnerability repairs: when it helps and when it doesn't
Maria Camporese, Fabio Massacci
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 876 |
Bringing Structure to Naturalness: On the Naturalness of ASTs
Profir-Petru Pârţachi, Mahito Sugiyama
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 877 |
Understanding and Detecting Peer Dependency Resolving Loop in npm Ecosystem
Xingyu Wang, Mingsen Wang, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 878 |
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
Carolina Carreira, Álvaro Silva, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
12 months ago |
| 879 |
Spreadsheets in an ERP environment: not what the doctor ordered
No'am Newman
|
👻
Ghosted
|
cs.SE
|
0 |
11 years ago |
| 880 |
Toward Reverse Engineering of VBA Based Excel Spreadsheet Applications
Domenico Amalfitano, Nicola Amatucci, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
0 |
11 years ago |
| 881 |
Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets
Pedro Maia, Jorge Mendes, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
0 |
11 years ago |
| 882 |
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report)
Peizun Liu, Thomas Wahl
|
👻
Ghosted
|
cs.SE
|
0 |
9 years ago |
| 883 |
Self-adaptive node-based PCA encodings
Leonard Johard, Victor Rivera, ... (+2 more)
|
👻
Ghosted
|
cs.NE
|
0 |
9 years ago |
| 884 |
Poster: Identification of Methods with Low Fault Risk
Rainer Niedermayr, Tobias Röhm, Stefan Wagner
|
👻
Ghosted
|
cs.SE
|
0 |
8 years ago |
| 885 |
Semantic Query Language for Temporal Genealogical Trees
Evgeniy Gryaznov
|
👻
Ghosted
|
cs.DB
|
0 |
7 years ago |
| 886 |
Mobile-App Analysis and Instrumentation Techniques Reimagined with DECREE
Yixue Zhao
|
👻
Ghosted
|
cs.SE
|
0 |
7 years ago |
| 887 |
Time-Aware Models for Software Effort Estimation
Michael Franklin Bosu, Stephen G. MacDonell, Peter Whigham
|
👻
Ghosted
|
cs.SE
|
0 |
5 years ago |
| 888 |
Testing the Stationarity Assumption in Software Effort Estimation Datasets
Michael Franklin Bosu, Stephen G. MacDonell, Peter Whigham
|
👻
Ghosted
|
cs.SE
|
0 |
5 years ago |
| 889 |
Decisions in Continuous Integration and Delivery: An Exploratory Study
Yajing Luo, Peng Liang, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
0 |
4 years ago |
| 890 |
You Don't Know Search: Helping Users Find Code by Automatically Evaluating Alternative Queries
Rijnard van Tonder
|
👻
Ghosted
|
cs.SE
|
0 |
3 years ago |
| 891 |
Who Ate My Memory? Towards Attribution in Memory Management
Gunnar Kudrjavets, Ayushi Rastogi, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
3 years ago |
| 892 |
Simulation-Driven Automated End-to-End Test and Oracle Inference
Shreshth Tuli, Kinga Bojarczuk, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
0 |
3 years ago |
| 893 |
Evaluating Code Metrics in GitHub Repositories Related to Fake News and Misinformation
Jason Duran, Mostofa Sakib, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
3 years ago |
| 894 |
Towards machine learning guided by best practices
Anamaria Mojica-Hanke
|
👻
Ghosted
|
cs.SE
|
0 |
3 years ago |
| 895 |
Personalized action suggestions in low-code automation platforms
Saksham Gupta, Gust Verbruggen, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
0 |
3 years ago |
| 896 |
Verified Scalable Parallel Computing with Why3
Olivia Proust, Frédéric Loulergue
|
👻
Ghosted
|
cs.SE
|
0 |
2 years ago |
| 897 |
TIPICAL -- Type Inference for Python In Critical Accuracy Level
Jonathan Elkobi, Bernd Gruner, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
2 years ago |
| 898 |
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version)
Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wąsowski
|
👻
Ghosted
|
cs.CR
|
0 |
2 years ago |
| 899 |
What Do You Mean by Memory? When Engineers Are Lost in the Maze of Complexity
Gunnar Kudrjavets, Aditya Kumar, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
2 years ago |
| 900 |
The Devil Is in the Command Line: Associating the Compiler Flags With the Binary and Build Metadata
Gunnar Kudrjavets, Aditya Kumar, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
2 years ago |