| 501 |
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts
Pedro Antonino, Juliandson Ferreira, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
12 |
4 years ago |
| 502 |
Gallery D.C.: Auto-created GUI Component Gallery for Design Search and Knowledge Discovery
Sidong Feng, Chunyang Chen, Zhenchang Xing
|
👻
Ghosted
|
cs.SE
|
12 |
4 years ago |
| 503 |
Building Implicit Vector Representations of Individual Coding Style
Vladimir Kovalenko, Egor Bogomolov, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
11 |
6 years ago |
| 504 |
The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists
Ralf Ramsauer, Daniel Lohmann, Wolfgang Mauerer
|
👻
Ghosted
|
cs.SE
|
11 |
7 years ago |
| 505 |
EMaaS: Energy Measurements as a Service for Mobile Applications
Luis Cruz, Rui Abreu
|
👻
Ghosted
|
cs.SE
|
11 |
7 years ago |
| 506 |
Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment
Yang Wang, Stefan Wagner
|
👻
Ghosted
|
cs.SE
|
11 |
8 years ago |
| 507 |
An Abstract Method Linearization for Detecting Source Code Plagiarism in Object-Oriented Environment
Oscar Karnalim
|
👻
Ghosted
|
cs.SE
|
11 |
8 years ago |
| 508 |
Self-adaptive static analysis
Eric Bodden
|
👻
Ghosted
|
cs.SE
|
11 |
8 years ago |
| 509 |
When Quantum Meets Classical: Characterizing Hybrid Quantum-Classical Issues Discussed in Developer Forums
Jake Zappin, Trevor Stalnaker, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
11 |
1 year ago |
| 510 |
Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models
Luciano Baresi, Davide Yi Xian Hu, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
11 |
1 year ago |
| 511 |
Feature-Driven End-To-End Test Generation
Parsa Alian, Noor Nashid, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
11 |
1 year ago |
| 512 |
TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference
Chong Wang, Jian Zhang, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
11 |
1 year ago |
| 513 |
Full Line Code Completion: Bringing AI to Desktop
Anton Semenkin, Vitaliy Bibaev, ... (+15 more)
|
👻
Ghosted
|
cs.SE
|
11 |
2 years ago |
| 514 |
An Actionable Framework for Understanding and Improving Talent Retention as a Competitive Advantage in IT Organizations
Luiz Alexandre Costa, Edson Dias, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
11 |
2 years ago |
| 515 |
Gamifying a Software Testing Course with Continuous Integration
Philipp Straubinger, Gordon Fraser
|
👻
Ghosted
|
cs.SE
|
11 |
2 years ago |
| 516 |
Exploring the Need of Accessibility Education in the Software Industry: Insights from a Survey of Software Professionals in India
Parthasarathy P D, Swaroop Joshi
|
👻
Ghosted
|
cs.SE
|
11 |
2 years ago |
| 517 |
Empirical Study of the Docker Smells Impact on the Image Size
Thomas Durieux
|
👻
Ghosted
|
cs.SE
|
11 |
2 years ago |
| 518 |
Lessons from Building StackSpot AI: A Contextualized AI Coding Assistant
Gustavo Pinto, Cleidson de Souza, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
11 |
2 years ago |
| 519 |
User-Centric Deployment of Automated Program Repair at Bloomberg
David Williams, James Callan, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
11 |
2 years ago |
| 520 |
Less is More? An Empirical Study on Configuration Issues in Python PyPI Ecosystem
Yun Peng, Ruida Hu, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
11 |
2 years ago |
| 521 |
Capturing Smart Contract Design with DCR Graphs
Mojtaba Eshghie, Wolfgang Ahrendt, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
11 |
3 years ago |
| 522 |
From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers
Kaia Newman, Madeline Endres, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
11 |
3 years ago |
| 523 |
Decomposing a Recurrent Neural Network into Modules for Enabling Reusability and Replacement
Sayem Mohammad Imtiaz, Fraol Batole, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
11 |
3 years ago |
| 524 |
Integrating User Experience into Agile -- An Experience Report on Lean UX and Scrum
Manal Alhammad, Ana Moreno
|
👻
Ghosted
|
cs.SE
|
11 |
4 years ago |
| 525 |
Flexible and Optimal Dependency Management via Max-SMT
Donald Pinckney, Federico Cassano, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
11 |
4 years ago |
| 526 |
Gamekins: Gamifying Software Testing in Jenkins
Philipp Straubinger, Gordon Fraser
|
👻
Ghosted
|
cs.SE
|
11 |
4 years ago |
| 527 |
Curiosity-Driven Testing for Sequential Decision-Making Process
Junda He, Zhou Yang, ... (+6 more)
|
👻
Ghosted
|
cs.SE
|
10 |
9 months ago |
| 528 |
Instruct or Interact? Exploring and Eliciting LLMs' Capability in Code Snippet Adaptation Through Prompt Engineering
Tanghaoran Zhang, Yue Yu, ... (+6 more)
|
👻
Ghosted
|
cs.SE
|
10 |
1 year ago |
| 529 |
Does GenAI Make Usability Testing Obsolete?
Ali Ebrahimi Pourasad, Walid Maalej
|
👻
Ghosted
|
cs.SE
|
10 |
1 year ago |
| 530 |
Intelligent Monitoring Framework for Cloud Services: A Data-Driven Approach
Pooja Srinivas, Fiza Husain, ... (+4 more)
|
👻
Ghosted
|
cs.NI
|
10 |
2 years ago |
| 531 |
Knowledge-Enhanced Program Repair for Data Science Code
Shuyin Ouyang, Jie M. Zhang, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
10 |
1 year ago |
| 532 |
Intention is All You Need: Refining Your Code from Your Intention
Qi Guo, Xiaofei Xie, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
10 |
1 year ago |
| 533 |
A Model for Understanding and Reducing Developer Burnout
Bianca Trinkenreich, Klaas-Jan Stol, ... (+7 more)
|
👻
Ghosted
|
cs.SE
|
10 |
3 years ago |
| 534 |
GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
Kostya Serebryany, Chris Kennelly, ... (+10 more)
|
👻
Ghosted
|
cs.SE
|
10 |
2 years ago |
| 535 |
Medusa: Blockchain Powered Log Storage System
Hao Wang, Desheng Yang, ... (+3 more)
|
👻
Ghosted
|
cs.CR
|
10 |
6 years ago |
| 536 |
GitHub-OSS Fixit: Fixing bugs at scale in a Software Engineering Course
Shin Hwei Tan, Chunfeng Hu, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
10 |
5 years ago |
| 537 |
Challenges and guidelines on designing test cases for test bots
Linda Erlenhov, Francisco Gomes de Oliveira Neto, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
10 |
6 years ago |
| 538 |
Debugging Crashes using Continuous Contrast Set Mining
Rebecca Qian, Yang Yu, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
10 |
6 years ago |
| 539 |
Software Engineering in Civic Tech: A Case Study about Code for Ireland
Antti Knutas, Victoria Palacin, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
10 |
7 years ago |
| 540 |
Does Outside-In Teaching Improve the Learning of Object-Oriented Programming?
Erica Janke, Philipp Brune, Stefan Wagner
|
👻
Ghosted
|
cs.SE
|
10 |
9 years ago |
| 541 |
Keeping Continuous Deliveries Safe
Sebastian Vöst, Stefan Wagner
|
👻
Ghosted
|
cs.SE
|
10 |
9 years ago |
| 542 |
Prodirect Manipulation: Bidirectional Programming for the Masses
Ravi Chugh
|
👻
Ghosted
|
cs.SE
|
10 |
10 years ago |
| 543 |
On Large Language Models in Mission-Critical IT Governance: Are We Ready Yet?
Matteo Esposito, Francesco Palagiano, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
10 |
1 year ago |
| 544 |
Semantic GUI Scene Learning and Video Alignment for Detecting Duplicate Video-based Bug Reports
Yanfu Yan, Nathan Cooper, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
10 |
1 year ago |
| 545 |
Fuzzing MLIR Compilers with Custom Mutation Synthesis
Ben Limpanukorn, Jiyuan Wang, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
10 |
2 years ago |
| 546 |
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
Ian McCormack, Joshua Sunshine, Jonathan Aldrich
|
👻
Ghosted
|
cs.SE
|
10 |
2 years ago |
| 547 |
Automated Security Findings Management: A Case Study in Industrial DevOps
Markus Voggenreiter, Florian Angermeir, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
10 |
2 years ago |
| 548 |
Which Syntactic Capabilities Are Statistically Learned by Masked Language Models for Code?
Alejandro Velasco, David N. Palacio, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
10 |
2 years ago |
| 549 |
PPT4J: Patch Presence Test for Java Binaries
Zhiyuan Pan, Xing Hu, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
10 |
2 years ago |
| 550 |
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
Nuno Saavedra, André Silva, Martin Monperrus
|
👻
Ghosted
|
cs.SE
|
10 |
2 years ago |