| 851 |
Using Calculation Fragments for Spreadsheet Testing and Debugging
Dietmar Jannach, Thomas Schmitz
|
👻
Ghosted
|
cs.SE
|
1 |
11 years ago |
| 852 |
DialogAgent: An Auto-engagement Agent for Code Question Answering Data Production
Xiaoyun Liang, Jingyi Ren, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 853 |
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 |
| 854 |
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 |
| 855 |
User-Guided Verification of Security Protocols via Sound Animation
Kangfeng Ye, Roberto Metere, Poonam Yadav
|
👻
Ghosted
|
cs.CR
|
1 |
1 year ago |
| 856 |
Model-Checking the Implementation of Consent
Raúl Pardo, Daniel Le Métayer
|
👻
Ghosted
|
cs.CR
|
1 |
1 year ago |
| 857 |
Patch Synthesis for Property Repair of Deep Neural Networks
Zhiming Chi, Jianan Ma, ... (+5 more)
|
👻
Ghosted
|
cs.LG
|
1 |
2 years ago |
| 858 |
A Catalog of Micro Frontends Anti-patterns
Nabson Silva, Eriky Rodrigues, Tayana Conte
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 859 |
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 |
| 860 |
PairSmell: A Novel Perspective Inspecting Software Modular Structure
Chenxing Zhong, Daniel Feitosa, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 861 |
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 |
| 862 |
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 |
| 863 |
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 |
| 864 |
Contributing Back to the Ecosystem: A User Survey of NPM Developers
Supatsara Wattanakriengkrai, Christoph Treude, Raula Gaikovina Kula
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 865 |
Characterising Contributions that Coincide with Vulnerability Mitigation in NPM Libraries
Ruksit Rojpaisarnkit, Hathaichanok Damrongsiri, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 866 |
Towards Precise Observations of Neural Model Robustness in Classification
Wenchuan Mu, Kwan Hui Lim
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 867 |
Decade-long Utilization Patterns of ICSE Technical Papers and Associated Artifacts
Sharif Ahmed, Rey Ortiz, Nasir U. Eisty
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 868 |
High Expectations: An Observational Study of Programming and Cannabis Intoxication
Wenxin He, Manasvi Parikh, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 869 |
Going Viral: Case Studies on the Impact of Protestware
Youmei Fan, Dong Wang, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 870 |
Boidae: Your Personal Mining Platform
Brian Sigurdson, Samuel W. Flint, Robert Dyer
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 871 |
Static Analysis for Android GDPR Compliance Assurance
Mugdha Khedkar
|
👻
Ghosted
|
cs.SE
|
1 |
3 years ago |
| 872 |
Toward Rapid Bug Resolution for Android Apps
Junayed Mahmud
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 873 |
Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning
Chao Peng, Zhengwei Lv, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 874 |
Summary of 2nd International Workshop on Requirements Engineering and Testing (RET)
Elizabeth Bjarnason, Mirko Morandini, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
1 |
3 years ago |
| 875 |
PExReport: Automatic Creation of Pruned Executable Cross-Project Failure Reports
Sunzhou Huang, Xiaoyin Wang
|
👻
Ghosted
|
cs.SE
|
1 |
3 years ago |
| 876 |
Developers' Visuo-spatial Mental Model and Program Comprehension
Abir Bouraffa, Gian-Luca Fuhrmann, Walid Maalej
|
👻
Ghosted
|
cs.SE
|
1 |
3 years ago |
| 877 |
Judging Adam: Studying the Performance of Optimization Methods on ML4SE Tasks
Dmitry Pasechnyuk, Anton Prazdnichnykh, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
3 years ago |
| 878 |
Towards Human-Centred Crowd Computing: Software for Better Use of Computational Resources
Niroshinie Fernando, Chetan Arora, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
1 |
3 years ago |
| 879 |
Impact of Combining Syntactic and Semantic Similarities on Patch Prioritization while using the Insertion Mutation Operators
Mohammed Raihan Ullah, Nazia Sultana Chowdhury, Fazle Mohammed Tawsif
|
👻
Ghosted
|
cs.SE
|
1 |
3 years ago |
| 880 |
Open Design Case Study -- A Crowdsourcing Effort to Curate Software Design Case Studies
Chun Yong Chong, Eunsuk Kang, Mary Shaw
|
👻
Ghosted
|
cs.SE
|
1 |
3 years ago |
| 881 |
Code Compliance Assessment as a Learning Problem
Neela Sawant, Srinivasan H. Sengamedu
|
👻
Ghosted
|
cs.SE
|
1 |
3 years ago |
| 882 |
Auto-active Verification of Floating-point Programs via Nonlinear Real Provers
Junaid Rasheed, Michal Konečný
|
🔮
The Ethereal
|
cs.LO
|
1 |
4 years ago |
| 883 |
Lowering Barriers to Application Development With Cloud-Native Domain-Specific Functions
José Miguel Pérez-Álvarez, Adrian Mos, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
4 years ago |
| 884 |
Software Engineers Response to Public Crisis: Lessons Learnt from Spontaneously Building an Informative COVID-19 Dashboard
Han Wang, Chao Wu, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
1 |
4 years ago |
| 885 |
Automating Staged Rollout with Reinforcement Learning
Shadow Pritchard, Vidhyashree Nagaraju, Lance Fiondella
|
👻
Ghosted
|
cs.SE
|
1 |
4 years ago |
| 886 |
Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition
Cailin Winston, Caleb Winston, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
1 |
4 years ago |
| 887 |
Proactive Libraries: Enforcing Correct Behaviors in Android Apps
Oliviero Riganelli, Ionut Daniel Fagadau, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
4 years ago |
| 888 |
Reflekt: a Library for Compile-Time Reflection in Kotlin
Anastasiia Birillo, Elena Lyulina, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
1 |
4 years ago |
| 889 |
Digital Twins for Software Engineering Processes
Robin Kimmel, Judith Michael, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
9 months ago |
| 890 |
ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
Katrine Christensen, Mahsa Varshosaz, Raúl Pardo
|
👻
Ghosted
|
cs.SE
|
0 |
11 months ago |
| 891 |
Program Feature-based Fuzzing Benchmarking
Miao Miao
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 892 |
Augmenting the Generality and Performance of Large Language Models for Software Engineering
Fabian C. Peña
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 893 |
Automated Statistical Testing and Certification of a Reliable Model-Coupling Server for Scientific Computing
Seth Wolfgang, Lan Lin, Fengguang Song
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 894 |
ROSA: Finding Backdoors with Fuzzing
Dimitri Kokkonis, Michaël Marcozzi, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
0 |
1 year ago |
| 895 |
Enhancing Women's Experiences in Software Engineering
Júlia Rocha Fortunato, Luana Ribeiro Soares, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 896 |
Improving Software Team Communication Through Social Interventions in Project Management Tools
April Clarke
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 897 |
Are Users More Willing to Use Formally Verified Password Managers?
Carolina Carreira, João F. Ferreira, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
0 |
1 year ago |
| 898 |
Towards Compatibly Mitigating Technical Lag in Maven Projects
Rui Lu
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 899 |
On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations
Rajdeep Singh Hundal, Yan Xiao, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 900 |
The Balancing Act of Policies in Developing Machine Learning Explanations
Jacob Tjaden
|
👻
Ghosted
|
cs.HC
|
0 |
1 year ago |