| 801 |
Design and Implementation of a Procedural Content Generation Web Application for Vertex Shaders
Juan C. Quiroz, Sergiu M. Dascalu
|
👻
Ghosted
|
cs.GR
|
2 |
9 years ago |
| 802 |
Live Inspection of Spreadsheets
Daniel Kulesz, Fabian Toth, Fabian Beck
|
👻
Ghosted
|
cs.SE
|
2 |
11 years ago |
| 803 |
From Expectation to Habit: Why Do Software Practitioners Adopt Fairness Toolkits?
Gianmario Voria, Stefano Lambiase, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 804 |
LLM Based Input Space Partitioning Testing for Library APIs
Jiageng Li, Zhen Dong, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 805 |
Hints Help Finding and Fixing Bugs Differently in Python and Text-based Program Representations
Ruchit Rawal, Victor-Alexandru Pădurean, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 806 |
A Unit Proofing Framework for Code-level Verification: A Research Agenda
Paschal C. Amusuo, Parth V. Patil, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 807 |
Introducing Ensemble Machine Learning Algorithms for Automatic Test Case Generation using Learning Based Testing
Sheikh Md. Mushfiqur Rahman, Nasir U. Eisty
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 808 |
Towards Better Answers: Automated Stack Overflow Post Updating
Yubo Mai, Zhipeng Gao, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 809 |
Building Collaborative Learning: Exploring Social Annotation in Introductory Programming
Francisco Gomes de Oliveira Neto, Felix Dobslaw
|
👻
Ghosted
|
cs.CY
|
2 |
2 years ago |
| 810 |
SLIM: a Scalable Light-weight Root Cause Analysis for Imbalanced Data in Microservice
Rui Ren, Jingbang Yang, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
2 |
2 years ago |
| 811 |
xNose: A Test Smell Detector for C#
Partha P. Paul, Md Tonoy Akanda, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
2 |
2 years ago |
| 812 |
Bridging Theory to Practice in Software Testing Teaching through Team-based Learning (TBL) and Open Source Software (OSS) Contribution
Elaine Venson, Reem Alfayez
|
👻
Ghosted
|
cs.SE
|
2 |
2 years ago |
| 813 |
Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
Yepeng Ding, Arthur Gervais, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
2 |
2 years ago |
| 814 |
SAND: Decoupling Sanitization from Fuzzing for Low Overhead
Ziqiao Kong, Shaohua Li, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
2 |
2 years ago |
| 815 |
IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation
Yuyang Rong, Zhanghan Yu, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
2 |
2 years ago |
| 816 |
Data-Driven Evidence-Based Syntactic Sugar Design
David OBrien, Robert Dyer, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
2 |
2 years ago |
| 817 |
Improving Program Debloating with 1-DU Chain Minimality
Myeongsoo Kim, Santosh Pande, Alessandro Orso
|
👻
Ghosted
|
cs.SE
|
2 |
2 years ago |
| 818 |
Multi-LLM Collaboration + Data-Centric Innovation = 2x Better Vulnerability Repair
Xin Zhou, Kisub Kim, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
2 |
2 years ago |
| 819 |
Unleashing the Power of Clippy in Real-World Rust Projects
Chunmiao Li, Yijun Yu, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
2 |
2 years ago |
| 820 |
Are you cloud-certified? Preparing Computing Undergraduates for Cloud Certification with Experiential Learning
Eng Lieh Ouh, Benjamin Kok Siew Gan
|
👻
Ghosted
|
cs.SE
|
2 |
3 years ago |
| 821 |
Distribution-aware Fairness Test Generation
Sai Sathiesh Rajan, Ezekiel Soremekun, ... (+2 more)
|
👻
Ghosted
|
cs.CV
|
2 |
3 years ago |
| 822 |
An Alternative to Cells for Selective Execution of Data Science Pipelines
Lars Reimann, Günter Kniesel-Wünsche
|
👻
Ghosted
|
cs.SE
|
2 |
3 years ago |
| 823 |
Evidence Profiles for Validity Threats in Program Comprehension Experiments
Marvin Muñoz Barón, Marvin Wyrich, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
2 |
3 years ago |
| 824 |
The Risk-Taking Software Engineer: A Framed Portrait
Lorenz Graf-Vlachy
|
👻
Ghosted
|
cs.SE
|
2 |
3 years ago |
| 825 |
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers
Tobias Runge, Alexander Kittelmann, ... (+3 more)
|
👻
Ghosted
|
cs.CR
|
2 |
3 years ago |
| 826 |
Improving the Learnability of Machine Learning APIs by Semi-Automated API Wrapping
Lars Reimann, Günter Kniesel-Wünsche
|
👻
Ghosted
|
cs.SE
|
2 |
4 years ago |
| 827 |
Towards Property-Based Tests in Natural Language
Colin S. Gordon
|
👻
Ghosted
|
cs.SE
|
2 |
4 years ago |
| 828 |
Just Enough, Just in Time, Just for "Me": Fundamental Principles for Engineering IoT-native Software Systems
Zheng Li, Rajiv Ranjan
|
👻
Ghosted
|
cs.SE
|
2 |
4 years ago |
| 829 |
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
Carolina Carreira, Álvaro Silva, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 830 |
Understanding and Detecting Peer Dependency Resolving Loop in npm Ecosystem
Xingyu Wang, Mingsen Wang, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 831 |
Bringing Structure to Naturalness: On the Naturalness of ASTs
Profir-Petru Pârţachi, Mahito Sugiyama
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 832 |
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 |
| 833 |
Automatically Generating Single-Responsibility Unit Tests
Geraldine Galindo-Gutierrez
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 834 |
CryptOpt: Automatic Optimization of Straightline Code
Joel Kuepper, Andres Erbsen, ... (+10 more)
|
👻
Ghosted
|
cs.CR
|
1 |
3 years ago |
| 835 |
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 |
| 836 |
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 |
| 837 |
An Operational Semantics for Yul
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
|
👻
Ghosted
|
cs.PL
|
1 |
2 years ago |
| 838 |
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca
Alexander Schulz-Rosengarten, Akash Ahmad, ... (+7 more)
|
👻
Ghosted
|
cs.PL
|
1 |
2 years ago |
| 839 |
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 |
| 840 |
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 |
| 841 |
Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries
Yongchao Wang, Yuandao Cai, Charles Zhang
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 842 |
SBOM Challenges for Developers: From Analysis of Stack Overflow Questions
Wataru Otoda, Tetsuya Kanda, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 843 |
Automated Repair of Cyber-Physical Systems
Pablo Valle
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 844 |
Investigating the Developer eXperience of LGBTQIAPN+ People in Agile Teams
Edvaldo Wassouf, Pedro Fukuda, Awdren Fontão
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 845 |
Treefix: Enabling Execution with a Tree of Prefixes
Beatriz Souza, Michael Pradel
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 846 |
Code Coverage Aware Test Generation Using Constraint Solver
Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures
|
👻
Ghosted
|
cs.SE
|
1 |
5 years ago |
| 847 |
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
Bruno Lima, João Pascoal Faria
|
👻
Ghosted
|
cs.SE
|
1 |
6 years ago |
| 848 |
Robustness and Games Against Nature in Molecular Programming
Jack H. Lutz, Neil Lutz, ... (+2 more)
|
👻
Ghosted
|
cs.GT
|
1 |
7 years ago |
| 849 |
Building Usage Profiles Using Deep Neural Nets
Domenic Curro, Konstantinos G. Derpanis, Andriy V. Miranskyy
|
👻
Ghosted
|
cs.SE
|
1 |
9 years ago |
| 850 |
Business Rule Mining from Spreadsheets
Sohon Roy
|
👻
Ghosted
|
cs.SE
|
1 |
11 years ago |