| 351 |
Assurances in Software Testing: A Roadmap
Marcel Böhme
|
👻
Ghosted
|
cs.SE
|
21 |
7 years ago |
| 352 |
Scaling Agile Development in Mechatronic Organizations - A Comparative Case Study
Ulrik Eklund, Christian Berger
|
👻
Ghosted
|
cs.SE
|
21 |
9 years ago |
| 353 |
Empirical Evaluation of Effort on Composing Design Models
Kleinner Farias
|
👻
Ghosted
|
cs.SE
|
21 |
9 years ago |
| 354 |
Opaque Service Virtualisation: A Practical Tool for Emulating Endpoint Systems
Steve Versteeg, Miao Du, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
21 |
10 years ago |
| 355 |
Advancing Blockchain Scalability: An Introduction to Layer 1 and Layer 2 Solutions
Han Song, Zhongche Qu, Yihao Wei
|
👻
Ghosted
|
cs.CR
|
21 |
1 year ago |
| 356 |
Toward Improved Deep Learning-based Vulnerability Detection
Adriana Sejfia, Satyaki Das, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
21 |
2 years ago |
| 357 |
EDEFuzz: A Web API Fuzzer for Excessive Data Exposures
Lianglu Pan, Shaanan Cohney, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
21 |
3 years ago |
| 358 |
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 |
| 359 |
Reusing Deep Neural Network Models through Model Re-engineering
Binhang Qi, Hailong Sun, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
21 |
3 years ago |
| 360 |
Read It, Don't Watch It: Captioning Bug Recordings Automatically
Sidong Feng, Mulong Xie, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
21 |
3 years ago |
| 361 |
Attracting and Retaining OSS Contributors with a Maintainer Dashboard
Mariam Guizani, Thomas Zimmermann, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
21 |
4 years ago |
| 362 |
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 |
| 363 |
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 |
| 364 |
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
Qingkai Shi, Rongxin Wu, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
20 |
6 years ago |
| 365 |
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 |
| 366 |
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer
Mikhail R. Gadelha, Enrico Steffinlongo, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
20 |
7 years ago |
| 367 |
Combining Symbolic Execution and Model Checking to Verify MPI Programs
Hengbiao Yu, Zhenbang Chen, ... (+6 more)
|
🌅
Old Age
|
cs.PL
|
20 |
8 years ago |
| 368 |
Flipping a Graduate-Level Software Engineering Foundations Course
Hakan Erdogmus, Cecile Peraire
|
👻
Ghosted
|
cs.SE
|
20 |
9 years ago |
| 369 |
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
Kyle Thompson, Nuno Saavedra, ... (+7 more)
|
👻
Ghosted
|
cs.SE
|
20 |
1 year ago |
| 370 |
Are LLMs Correctly Integrated into Software Systems?
Yuchen Shao, Yuheng Huang, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
20 |
1 year ago |
| 371 |
ChatGPT Incorrectness Detection in Software Reviews
Minaoar Hossain Tanzil, Junaed Younus Khan, Gias Uddin
|
👻
Ghosted
|
cs.SE
|
20 |
2 years ago |
| 372 |
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 |
| 373 |
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 |
| 374 |
Analyzing and Debugging Normative Requirements via Satisfiability Checking
Nick Feng, Lina Marsso, ... (+12 more)
|
👻
Ghosted
|
cs.SE
|
20 |
2 years ago |
| 375 |
Exploiting Input Sanitization for Regex Denial of Service
Efe Barlas, Xin Du, James C. Davis
|
👻
Ghosted
|
cs.CR
|
20 |
3 years ago |
| 376 |
Silent Vulnerable Dependency Alert Prediction with Vulnerability Key Aspect Explanation
Jiamou Sun, Zhenchang Xing, ... (+5 more)
|
👻
Ghosted
|
cs.CR
|
20 |
3 years ago |
| 377 |
Enhancing Text-to-SQL Translation for Financial System Design
Yewei Song, Saad Ezzini, ... (+7 more)
|
👻
Ghosted
|
cs.SE
|
20 |
2 years ago |
| 378 |
Carving UI Tests to Generate API Tests and API Specification
Rahulkrishna Yandrapally, Saurabh Sinha, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
20 |
3 years ago |
| 379 |
Towards Automatically Generating Release Notes using Extractive Summarization Technique
Sristy Sumana Nath, Banani Roy
|
👻
Ghosted
|
cs.SE
|
20 |
4 years ago |
| 380 |
Neural Network Verification using Residual Reasoning
Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
|
👻
Ghosted
|
cs.NE
|
20 |
3 years ago |
| 381 |
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair
Yeting Li, Shuaimin Li, ... (+6 more)
|
👻
Ghosted
|
cs.PL
|
19 |
5 years ago |
| 382 |
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 |
| 383 |
Replication studies considered harmful
Martin Shepperd
|
👻
Ghosted
|
cs.SE
|
19 |
8 years ago |
| 384 |
Efficient Large-scale Trace Checking Using MapReduce
Marcello M. Bersani, Domenico Bianculli, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
19 |
10 years ago |
| 385 |
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 |
| 386 |
Development in times of hype: How freelancers explore Generative AI?
Mateusz Dolata, Norbert Lange, Gerhard Schwabe
|
👻
Ghosted
|
cs.SE
|
19 |
2 years ago |
| 387 |
Fairness Improvement with Multiple Protected Attributes: How Far Are We?
Zhenpeng Chen, Jie M. Zhang, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
19 |
2 years ago |
| 388 |
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 |
| 389 |
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs
Jaemin Hong, Sukyoung Ryu
|
👻
Ghosted
|
cs.SE
|
19 |
3 years ago |
| 390 |
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 |
| 391 |
Automated Summarization of Stack Overflow Posts
Bonan Kou, Muhao Chen, Tianyi Zhang
|
👻
Ghosted
|
cs.SE
|
18 |
3 years ago |
| 392 |
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 |
| 393 |
More than Code: Contributions in Scrum Software Engineering Teams
Frederike Ramin, Christoph Matthies, Ralf Teusner
|
👻
Ghosted
|
cs.SE
|
18 |
5 years ago |
| 394 |
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 |
| 395 |
Recovering Variable Names for Minified Code with Usage Contexts
Hieu Tran, Ngoc Tran, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
18 |
6 years ago |
| 396 |
PatchNet: A Tool for Deep Patch Classification
Thong Hoang, Julia Lawall, ... (+3 more)
|
🌅
Old Age
|
cs.SE
|
18 |
7 years ago |
| 397 |
Hierarchical Learning of Cross-Language Mappings through Distributed Vector Representations for Code
Nghi D. Q. Bui, Lingxiao Jiang
|
🌅
Old Age
|
cs.LG
|
18 |
8 years ago |
| 398 |
Code Review Comments: Language Matters
Vasiliki Efstathiou, Diomidis Spinellis
|
👻
Ghosted
|
cs.SE
|
18 |
8 years ago |
| 399 |
Learning best K analogies from data distribution for case-based software effort estimation
Mohammad Azzeh, Yousef Elsheikh
|
👻
Ghosted
|
cs.SE
|
18 |
9 years ago |
| 400 |
LogLM: From Task-based to Instruction-based Automated Log Analysis
Yilun Liu, Yuhe Ji, ... (+8 more)
|
👻
Ghosted
|
cs.SE
|
18 |
1 year ago |