| 801 |
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 |
| 802 |
Real-time Adapting Routing (RAR): Improving Efficiency Through Continuous Learning in Software Powered by Layered Foundation Models
Kirill Vasilevski, Dayi Lin, Ahmed E. Hassan
|
👻
Ghosted
|
cs.LG
|
2 |
1 year ago |
| 803 |
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 |
| 804 |
From Expectation to Habit: Why Do Software Practitioners Adopt Fairness Toolkits?
Gianmario Voria, Stefano Lambiase, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 805 |
LLM Based Input Space Partitioning Testing for Library APIs
Jiageng Li, Zhen Dong, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 806 |
Improved Detection and Diagnosis of Faults in Deep Neural Networks Using Hierarchical and Explainable Classification
Sigma Jahan, Mehil B Shah, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 807 |
From Bugs to Benefits: Improving User Stories by Leveraging Crowd Knowledge with CrUISE-AC
Stefan Schwedt, Thomas Ströder
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 808 |
An Empirical Study on Decision-Making Aspects in Responsible Software Engineering for AI
Lekshmi Murali Rani, Faezeh Mohammadi, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 809 |
CodeImprove: Program Adaptation for Deep Code Models
Ravishka Rathnasuriya, Zijie Zhao, Wei Yang
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 810 |
Impostor Phenomenon Among Software Engineers: Investigating Gender Differences and Well-Being
Paloma Guenes, Rafael Tomaz, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 811 |
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
Junjie Sheng, Yanqiu Lin, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 812 |
Discovering Ideologies of the Open Source Software Movement
Yang Yue, Yi Wang, David Redmiles
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 813 |
How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities
Ruanqianqian Huang, Savitha Ravi, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 814 |
Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software Development
David Molamphy
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 815 |
RBCTest: Leveraging LLMs to Mine and Verify Oracles of API Response Bodies for RESTful API Testing
Hieu Huynh, Tri Le, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 816 |
GUARD:Dual-Agent based Backdoor Defense on Chain-of-Thought in Neural Code Generation
Naizhu Jin, Zhong Li, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 817 |
CodeMorph: Mitigating Data Leakage in Large Language Model Assessment
Hongzhou Rao, Yanjie Zhao, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 818 |
Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
Valentina Wu, Alexandra Mendes, Alexandre Abreu
|
👻
Ghosted
|
cs.SE
|
2 |
11 months ago |
| 819 |
Empirical and Sustainability Aspects of Software Engineering Research in the Era of Large Language Models: A Reflection
David Williams, Max Hort, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
2 |
7 months ago |
| 820 |
Using Calculation Fragments for Spreadsheet Testing and Debugging
Dietmar Jannach, Thomas Schmitz
|
👻
Ghosted
|
cs.SE
|
1 |
11 years ago |
| 821 |
Business Rule Mining from Spreadsheets
Sohon Roy
|
👻
Ghosted
|
cs.SE
|
1 |
11 years ago |
| 822 |
Building Usage Profiles Using Deep Neural Nets
Domenic Curro, Konstantinos G. Derpanis, Andriy V. Miranskyy
|
👻
Ghosted
|
cs.SE
|
1 |
9 years ago |
| 823 |
Robustness and Games Against Nature in Molecular Programming
Jack H. Lutz, Neil Lutz, ... (+2 more)
|
👻
Ghosted
|
cs.GT
|
1 |
7 years ago |
| 824 |
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 |
| 825 |
Code Coverage Aware Test Generation Using Constraint Solver
Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures
|
👻
Ghosted
|
cs.SE
|
1 |
5 years ago |
| 826 |
Reflekt: a Library for Compile-Time Reflection in Kotlin
Anastasiia Birillo, Elena Lyulina, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
1 |
4 years ago |
| 827 |
Proactive Libraries: Enforcing Correct Behaviors in Android Apps
Oliviero Riganelli, Ionut Daniel Fagadau, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
4 years ago |
| 828 |
Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition
Cailin Winston, Caleb Winston, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
1 |
4 years ago |
| 829 |
Automating Staged Rollout with Reinforcement Learning
Shadow Pritchard, Vidhyashree Nagaraju, Lance Fiondella
|
👻
Ghosted
|
cs.SE
|
1 |
4 years ago |
| 830 |
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 |
| 831 |
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 |
| 832 |
Code Compliance Assessment as a Learning Problem
Neela Sawant, Srinivasan H. Sengamedu
|
👻
Ghosted
|
cs.SE
|
1 |
3 years ago |
| 833 |
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 |
| 834 |
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 |
| 835 |
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 |
| 836 |
Judging Adam: Studying the Performance of Optimization Methods on ML4SE Tasks
Dmitry Pasechnyuk, Anton Prazdnichnykh, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
3 years ago |
| 837 |
Static Analysis for Android GDPR Compliance Assurance
Mugdha Khedkar
|
👻
Ghosted
|
cs.SE
|
1 |
3 years ago |
| 838 |
Developers' Visuo-spatial Mental Model and Program Comprehension
Abir Bouraffa, Gian-Luca Fuhrmann, Walid Maalej
|
👻
Ghosted
|
cs.SE
|
1 |
3 years ago |
| 839 |
PExReport: Automatic Creation of Pruned Executable Cross-Project Failure Reports
Sunzhou Huang, Xiaoyin Wang
|
👻
Ghosted
|
cs.SE
|
1 |
3 years ago |
| 840 |
CryptOpt: Automatic Optimization of Straightline Code
Joel Kuepper, Andres Erbsen, ... (+10 more)
|
👻
Ghosted
|
cs.CR
|
1 |
3 years ago |
| 841 |
Summary of 2nd International Workshop on Requirements Engineering and Testing (RET)
Elizabeth Bjarnason, Mirko Morandini, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 842 |
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 |
| 843 |
Toward Rapid Bug Resolution for Android Apps
Junayed Mahmud
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 844 |
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca
Alexander Schulz-Rosengarten, Akash Ahmad, ... (+7 more)
|
👻
Ghosted
|
cs.PL
|
1 |
2 years ago |
| 845 |
Boidae: Your Personal Mining Platform
Brian Sigurdson, Samuel W. Flint, Robert Dyer
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 846 |
Going Viral: Case Studies on the Impact of Protestware
Youmei Fan, Dong Wang, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 847 |
High Expectations: An Observational Study of Programming and Cannabis Intoxication
Wenxin He, Manasvi Parikh, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |
| 848 |
Patch Synthesis for Property Repair of Deep Neural Networks
Zhiming Chi, Jianan Ma, ... (+5 more)
|
👻
Ghosted
|
cs.LG
|
1 |
2 years ago |
| 849 |
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 |
| 850 |
Towards Precise Observations of Neural Model Robustness in Classification
Wenchuan Mu, Kwan Hui Lim
|
👻
Ghosted
|
cs.SE
|
1 |
2 years ago |