Software Testing and Debugging Techniques
External reference: https://openalex.org/T10743
-
I Can SE Clearly Now: Investigating the Effectiveness of GUI-based Symbolic Execution for Software Vulnerability Discovery
Controlled experiment examining how GUI versus API interfaces affect expert performance in symbolic execution for software vulnerability discovery and tool usability.
-
Review maps large language models in automated program repair
Systematic review of 189 papers examining Large Language Models for Automated Program Repair from 2020-2025, analyzing LLM architectures, deployment strategies, and applications in bug repair and.
-
Support Vector Machine and Random Forest led software fault prediction
Review of machine learning techniques for software fault prediction from 2023-2025, examining algorithms, datasets, evaluation methods, and challenges in predictive modeling for software reliability.
-
Migration-based maintenance is proposed as a future direction
Systematic research agenda for migration-based software maintenance automation, establishing a four-stage lifecycle model for transferring knowledge and solutions across software systems.
-
FLAT uses formal languages to type strings
FLAT uses context-free grammars as type definitions to distinguish semantically different string encodings, enabling type-safe handling of URLs, file paths, and other structured data.
-
Retrieval and structural priors improve parameter-efficient code representations
Learn how retrieval augmentation and structural priors enhance parameter-efficient code representations while using only 5% of standard fine-tuning parameters.

