| 351 |
Reusing Deep Neural Network Models through Model Re-engineering
Binhang Qi, Hailong Sun, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
21 |
3 years ago |
| 352 |
On Using GUI Interaction Data to Improve Text Retrieval-based Bug Localization
Junayed Mahmud, Nadeeshan De Silva, ... (+6 more)
|
👻
Ghosted
|
cs.SE
|
21 |
2 years ago |
| 353 |
Toward Improved Deep Learning-based Vulnerability Detection
Adriana Sejfia, Satyaki Das, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
21 |
2 years ago |
| 354 |
Advancing Blockchain Scalability: An Introduction to Layer 1 and Layer 2 Solutions
Han Song, Zhongche Qu, Yihao Wei
|
👻
Ghosted
|
cs.CR
|
21 |
2 years ago |
| 355 |
Flipping a Graduate-Level Software Engineering Foundations Course
Hakan Erdogmus, Cecile Peraire
|
👻
Ghosted
|
cs.SE
|
20 |
9 years ago |
| 356 |
A Conjoint Application of Data Mining Techniques for Analysis of Global Terrorist Attacks -- Prevention and Prediction for Combating Terrorism
Vivek Kumar, Manuel Mazzara, ... (+3 more)
|
👻
Ghosted
|
cs.LG
|
20 |
7 years ago |
| 357 |
Having Fun in Learning Formal Specifications
I. S. W. B. Prasetya, Craig Q. H. D. Leek, ... (+12 more)
|
👻
Ghosted
|
cs.SE
|
20 |
7 years ago |
| 358 |
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Xingyu Zhao, Matt Osborne, ... (+7 more)
|
👻
Ghosted
|
cs.AI
|
20 |
6 years ago |
| 359 |
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
Qingkai Shi, Rongxin Wu, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
20 |
6 years ago |
| 360 |
Towards Automatically Generating Release Notes using Extractive Summarization Technique
Sristy Sumana Nath, Banani Roy
|
👻
Ghosted
|
cs.SE
|
20 |
4 years ago |
| 361 |
Neural Network Verification using Residual Reasoning
Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
|
👻
Ghosted
|
cs.NE
|
20 |
3 years ago |
| 362 |
Silent Vulnerable Dependency Alert Prediction with Vulnerability Key Aspect Explanation
Jiamou Sun, Zhenchang Xing, ... (+5 more)
|
👻
Ghosted
|
cs.CR
|
20 |
3 years ago |
| 363 |
Exploiting Input Sanitization for Regex Denial of Service
Efe Barlas, Xin Du, James C. Davis
|
👻
Ghosted
|
cs.CR
|
20 |
3 years ago |
| 364 |
Carving UI Tests to Generate API Tests and API Specification
Rahulkrishna Yandrapally, Saurabh Sinha, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
20 |
3 years ago |
| 365 |
Enhancing Text-to-SQL Translation for Financial System Design
Yewei Song, Saad Ezzini, ... (+7 more)
|
👻
Ghosted
|
cs.SE
|
20 |
2 years ago |
| 366 |
Analyzing and Debugging Normative Requirements via Satisfiability Checking
Nick Feng, Lina Marsso, ... (+12 more)
|
👻
Ghosted
|
cs.SE
|
20 |
2 years ago |
| 367 |
When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference
Zhensu Sun, Xiaoning Du, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
20 |
2 years ago |
| 368 |
MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems
Xinyu Gao, Zhijie Wang, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
20 |
2 years ago |
| 369 |
ChatGPT Incorrectness Detection in Software Reviews
Minaoar Hossain Tanzil, Junaed Younus Khan, Gias Uddin
|
👻
Ghosted
|
cs.SE
|
20 |
2 years ago |
| 370 |
Are LLMs Correctly Integrated into Software Systems?
Yuchen Shao, Yuheng Huang, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
20 |
1 year ago |
| 371 |
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
Kyle Thompson, Nuno Saavedra, ... (+7 more)
|
👻
Ghosted
|
cs.SE
|
20 |
1 year ago |
| 372 |
Efficient Large-scale Trace Checking Using MapReduce
Marcello M. Bersani, Domenico Bianculli, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
19 |
10 years ago |
| 373 |
Replication studies considered harmful
Martin Shepperd
|
👻
Ghosted
|
cs.SE
|
19 |
8 years ago |
| 374 |
RTj: a Java framework for detecting and refactoring rotten green test cases
Matias Martinez, Anne Etien, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
19 |
6 years ago |
| 375 |
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair
Yeting Li, Shuaimin Li, ... (+6 more)
|
👻
Ghosted
|
cs.PL
|
19 |
5 years ago |
| 376 |
Benefits and Limitations of Remote Work to LGBTQIA+ Software Professionals
Ronnie de Souza Santos, Cleyton Magalhaes, Paul Ralph
|
👻
Ghosted
|
cs.SE
|
19 |
3 years ago |
| 377 |
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs
Jaemin Hong, Sukyoung Ryu
|
👻
Ghosted
|
cs.SE
|
19 |
3 years ago |
| 378 |
Faster or Slower? Performance Mystery of Python Idioms Unveiled with Empirical Evidence
Zejun Zhang, Zhenchang Xing, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
19 |
3 years ago |
| 379 |
Fairness Improvement with Multiple Protected Attributes: How Far Are We?
Zhenpeng Chen, Jie M. Zhang, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
19 |
2 years ago |
| 380 |
Development in times of hype: How freelancers explore Generative AI?
Mateusz Dolata, Norbert Lange, Gerhard Schwabe
|
👻
Ghosted
|
cs.SE
|
19 |
2 years ago |
| 381 |
A Multi-Agent Approach for REST API Testing with Semantic Graphs and LLM-Driven Inputs
Myeongsoo Kim, Tyler Stennett, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
19 |
1 year ago |
| 382 |
Learning best K analogies from data distribution for case-based software effort estimation
Mohammad Azzeh, Yousef Elsheikh
|
👻
Ghosted
|
cs.SE
|
18 |
9 years ago |
| 383 |
Code Review Comments: Language Matters
Vasiliki Efstathiou, Diomidis Spinellis
|
👻
Ghosted
|
cs.SE
|
18 |
8 years ago |
| 384 |
Recovering Variable Names for Minified Code with Usage Contexts
Hieu Tran, Ngoc Tran, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
18 |
7 years ago |
| 385 |
What prevents Finnish women from applying to software engineering roles? A preliminary analysis of survey data
Annika Wolff, Antti Knutas, Paula Savolainen
|
👻
Ghosted
|
cs.SE
|
18 |
6 years ago |
| 386 |
More than Code: Contributions in Scrum Software Engineering Teams
Frederike Ramin, Christoph Matthies, Ralf Teusner
|
👻
Ghosted
|
cs.SE
|
18 |
5 years ago |
| 387 |
The Mind Is a Powerful Place: How Showing Code Comprehensibility Metrics Influences Code Understanding
Marvin Wyrich, Andreas Preikschat, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
18 |
5 years ago |
| 388 |
Towards a Reference Software Architecture for Human-AI Teaming in Smart Manufacturing
Philipp Haindl, Georg Buchgeher, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
18 |
4 years ago |
| 389 |
Keeping Fun Alive: an Experience Report on Running Online Coding Camps
Ilenia Fronza, Luis Corral, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
18 |
4 years ago |
| 390 |
CFG2VEC: Hierarchical Graph Neural Network for Cross-Architectural Software Reverse Engineering
Shih-Yuan Yu, Yonatan Gizachew Achamyeleh, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
18 |
3 years ago |
| 391 |
Incident-aware Duplicate Ticket Aggregation for Cloud Systems
Jinyang Liu, Shilin He, ... (+11 more)
|
👻
Ghosted
|
cs.SE
|
18 |
3 years ago |
| 392 |
Automated Summarization of Stack Overflow Posts
Bonan Kou, Muhao Chen, Tianyi Zhang
|
👻
Ghosted
|
cs.SE
|
18 |
3 years ago |
| 393 |
Out of Context: How important is Local Context in Neural Program Repair?
Julian Aron Prenner, Romain Robbes
|
👻
Ghosted
|
cs.SE
|
18 |
2 years ago |
| 394 |
Exploiting Library Vulnerability via Migration Based Automating Test Generation
Zirui Chen, Xing Hu, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
18 |
2 years ago |
| 395 |
LLMs Still Can't Avoid Instanceof: An Investigation Into GPT-3.5, GPT-4 and Bard's Capacity to Handle Object-Oriented Programming Assignments
Bruno Pereira Cipriano, Pedro Alves
|
👻
Ghosted
|
cs.SE
|
18 |
2 years ago |
| 396 |
Towards Understanding the Characteristics of Code Generation Errors Made by Large Language Models
Zhijie Wang, Zijie Zhou, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
18 |
2 years ago |
| 397 |
ASTER: Natural and Multi-language Unit Test Generation with LLMs
Rangeet Pan, Myeongsoo Kim, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
18 |
1 year ago |
| 398 |
LogLM: From Task-based to Instruction-based Automated Log Analysis
Yilun Liu, Yuhe Ji, ... (+8 more)
|
👻
Ghosted
|
cs.SE
|
18 |
1 year ago |
| 399 |
DARVIZ: Deep Abstract Representation, Visualization, and Verification of Deep Learning Models
Anush Sankaran, Rahul Aralikatte, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
17 |
8 years ago |
| 400 |
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry
Chengyu Zhang, Yichen Yan, ... (+6 more)
|
👻
Ghosted
|
cs.SE
|
17 |
8 years ago |