| 251 |
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
Ferhat Erata, Arda Goknil, ... (+2 more)
|
🌅
Old Age
|
cs.SE
|
5 |
2 years ago |
| 252 |
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Ferhat Erata, Arda Goknil, ... (+2 more)
|
🌅
Old Age
|
cs.SE
|
5 |
2 years ago |
| 253 |
Collaboration is all you need: LLM Assisted Safe Code Translation
Rabimba Karanjai, Sam Blackshear, ... (+2 more)
|
👻
Ghosted
|
cs.AI
|
5 |
1 year ago |
| 254 |
NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS
Xi Zheng, Ziyang Li, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
5 |
1 year ago |
| 255 |
The Evolution of Information Seeking in Software Development: Understanding the Role and Impact of AI Assistants
Ebtesam Al Haque, Chris Brown, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
5 |
1 year ago |
| 256 |
PRF: A Framework for Building Automatic Program Repair Prototypes for JVM-Based Languages
Ali Ghanbari, Andrian Marcus
|
👻
Ghosted
|
cs.SE
|
5 |
5 years ago |
| 257 |
A Fine-Grained Approach for Automated Conversion of JUnit Assertions to English
Danielle Gonzalez, Suzanne Prentice, Mehdi Mirakhorli
|
👻
Ghosted
|
cs.SE
|
5 |
7 years ago |
| 258 |
Cherry-Picking of Code Commits in Long-Running, Multi-release Software
Panuchart Bunyakiati, Chadarat Phipathananunth
|
👻
Ghosted
|
cs.SE
|
5 |
8 years ago |
| 259 |
QCSHQD: Quantum computing as a service for Hybrid classical-quantum software development: A Vision
Maryam Tavassoli Sabzevari, Matteo Esposito, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
5 |
2 years ago |
| 260 |
MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors
Amit Seal Ami, Syed Yusuf Ahmed, ... (+6 more)
|
👻
Ghosted
|
cs.CR
|
5 |
2 years ago |
| 261 |
MLGuard: Defend Your Machine Learning Model!
Sheng Wong, Scott Barnett, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
5 |
2 years ago |
| 262 |
Knowledge-Based Version Incompatibility Detection for Deep Learning
Zhongkai Zhao, Bonan Kou, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
5 |
2 years ago |
| 263 |
ACE: Automated Technical Debt Remediation with Validated Large Language Model Refactorings
Adam Tornhill, Markus Borg, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
4 |
11 months ago |
| 264 |
Facilitating Trustworthy Human-Agent Collaboration in LLM-based Multi-Agent System oriented Software Engineering
Krishna Ronanki
|
👻
Ghosted
|
cs.SE
|
4 |
1 year ago |
| 265 |
Outage-Watch: Early Prediction of Outages using Extreme Event Regularizer
Shubham Agarwal, Sarthak Chakraborty, ... (+5 more)
|
👻
Ghosted
|
cs.DC
|
4 |
2 years ago |
| 266 |
Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis
Yicheng Luo, Antonio Filieri, Yuan Zhou
|
👻
Ghosted
|
cs.LG
|
4 |
5 years ago |
| 267 |
Bounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling
Felipe R. Monteiro
|
👻
Ghosted
|
cs.SE
|
4 |
9 years ago |
| 268 |
A Vision on Open Science for the Evolution of Software Engineering Research and Practice
Edson OliveiraJr, Fernanda Madeiral, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
4 |
2 years ago |
| 269 |
Paths to Testing: Why Women Enter and Remain in Software Testing?
Kleice Silva, Ann Barcomb, Ronnie de Souza Santos
|
👻
Ghosted
|
cs.SE
|
4 |
2 years ago |
| 270 |
AndroLog: Android Instrumentation and Code Coverage Analysis
Jordan Samhi, Andreas Zeller
|
👻
Ghosted
|
cs.SE
|
4 |
2 years ago |
| 271 |
Towards Understanding Emotions in Informal Developer Interactions: A Gitter Chat Study
Amirali Sajadi, Kostadin Damevski, Preetha Chatterjee
|
👻
Ghosted
|
cs.SE
|
4 |
2 years ago |
| 272 |
Dynamic Prediction of Delays in Software Projects using Delay Patterns and Bayesian Modeling
Elvan Kula, Eric Greuter, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
4 |
2 years ago |
| 273 |
Lessons from the Long Tail: Analysing Unsafe Dependency Updates across Software Ecosystems
Supatsara Wattanakriengkrai, Raula Gaikovina Kula, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
4 |
2 years ago |
| 274 |
Contextual Predictive Mutation Testing
Kush Jain, Uri Alon, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
4 |
2 years ago |
| 275 |
npm-follower: A Complete Dataset Tracking the NPM Ecosystem
Donald Pinckney, Federico Cassano, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
4 |
2 years ago |
| 276 |
Putting Them under Microscope: A Fine-Grained Approach for Detecting Redundant Test Cases in Natural Language
Zhiyuan Chang, Mingyang Li, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
4 |
3 years ago |
| 277 |
Testing of Machine Learning Models with Limited Samples: An Industrial Vacuum Pumping Application
Ayan Chatterjee, Bestoun S. Ahmed, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
4 |
3 years ago |
| 278 |
How do Software Engineering Candidates Prepare for Technical Interviews?
Brian Bell, Teresa Thomas, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
3 |
11 months ago |
| 279 |
Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges
Mark Harman, Peter O'Hearn, Shubho Sengupta
|
👻
Ghosted
|
cs.SE
|
3 |
1 year ago |
| 280 |
Risk Assessment Framework for Code LLMs via Leveraging Internal States
Yuheng Huang, Lei Ma, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
3 |
1 year ago |
| 281 |
Enhancing Code LLM Training with Programmer Attention
Yifan Zhang, Chen Huang, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
3 |
1 year ago |
| 282 |
Augmenting Software Bills of Materials with Software Vulnerability Description: A Preliminary Study on GitHub
Davide Fucci, Massimiliano Di Penta, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
3 |
1 year ago |
| 283 |
The Road to Hybrid Quantum Programs: Characterizing the Evolution from Classical to Hybrid Quantum Software
Vincenzo De Maio, Ivona Brandic, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
3 |
1 year ago |
| 284 |
Exploratory Test Agents for Stateful Software Systems
Stefan Karlsson
|
👻
Ghosted
|
cs.SE
|
3 |
6 years ago |
| 285 |
LLM App Squatting and Cloning
Yinglin Xie, Xinyi Hou, ... (+3 more)
|
👻
Ghosted
|
cs.AI
|
3 |
1 year ago |
| 286 |
PlayTest: A Gamified Test Generator for Games
Patric Feldmeier, Philipp Straubinger, Gordon Fraser
|
👻
Ghosted
|
cs.SE
|
3 |
2 years ago |
| 287 |
State Merging with Quantifiers in Symbolic Execution
David Trabish, Noam Rinetzky, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
3 |
2 years ago |
| 288 |
On-the-Fly Syntax Highlighting using Neural Networks
Marco Edoardo Palma, Pasquale Salza, Harald C. Gall
|
👻
Ghosted
|
cs.SE
|
3 |
3 years ago |
| 289 |
Sojourner under Sabotage: A Serious Testing and Debugging Game
Philipp Straubinger, Tim Greller, Gordon Fraser
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 290 |
When Should I Run My Application Benchmark?: Studying Cloud Performance Variability for the Case of Stream Processing Applications
Sören Henning, Adriano Vogel, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 291 |
TickIt: Leveraging Large Language Models for Automated Ticket Escalation
Fengrui Liu, Xiao He, ... (+7 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 292 |
Introducing Repository Stability
Giuseppe Destefanis, Silvia Bartolucci, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 293 |
Drop the Golden Apples: Identifying Third-Party Reuse by DB-Less Software Composition Analysis
Lyuye Zhang, Chengwei Liu, ... (+6 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 294 |
LLPut: Investigating Large Language Models for Bug Report-Based Input Generation
Alif Al Hasan, Subarna Saha, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 295 |
Teamwork makes the dream work: LLMs-Based Agents for GitHub README.MD Summarization
Duc S. H. Nguyen, Bach G. Truong, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 296 |
Causal Models in Requirement Specifications for Machine Learning: A vision
Hans-Martin Heyn, Yufei Mao, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 297 |
Model Checking a C++ Software Framework, a Case Study
John Lång, I. S. W. B. Prasetya
|
👻
Ghosted
|
cs.SE
|
2 |
6 years ago |
| 298 |
LicenseGPT: A Fine-tuned Foundation Model for Publicly Available Dataset License Compliance
Jingwen Tan, Gopi Krishnan Rajbahadur, ... (+6 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 299 |
Dirty-Waters: Detecting Software Supply Chain Smells
Raphina Liu, Sofia Bobadilla, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |
| 300 |
Combating Missed Recalls in E-commerce Search: A CoT-Prompting Testing Approach
Shengnan Wu, Yongxiang Hu, ... (+7 more)
|
👻
Ghosted
|
cs.SE
|
2 |
1 year ago |