专题：Software Testing and Debugging Techniques

This cluster of papers encompasses a wide range of advancements in automated software testing techniques, including topics such as software fault localization, mutation testing, search-based testing, symbolic execution, test case prioritization, dynamic test generation, program repair, model-based testing, and fuzzing.
最新文献
Pythonic vs Refactorable Pythonic: On the Relationship between Pythonic Idioms and Code Quality in Machine Learning Projects

preprint Full Text OpenAlex

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications

article Full Text OpenAlex

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems

article Full Text OpenAlex

Meta-Learning with Learnable Margin Triplet Loss for Few-Shot Fault Diagnosis

article Full Text OpenAlex

MLDebugging: Towards Benchmarking Code Debugging Across Multi-Library Scenarios

article Full Text OpenAlex

Rubric Is All You Need: Improving LLM-Based Code Evaluation With Question-Specific Rubrics

article Full Text OpenAlex

A case of advanced NUTc of the nasal cavity: case report and review of the literature

article Full Text OpenAlex

Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic

article Full Text OpenAlex

Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking

book-chapter Full Text OpenAlex

Assisting early-stage software startups with LLMs: Effective prompt engineering and system instruction design

article Full Text OpenAlex

近5年高被引文献
Introduction to Software Testing

book-chapter Full Text OpenAlex 1116 FWCI35.222

Competition-level code generation with AlphaCode

article Full Text OpenAlex 538 FWCI177.907

Unified Pre-training for Program Understanding and Generation

article Full Text OpenAlex 443 FWCI38.123

CodeXGLUE: A Machine Learning Benchmark Dataset for Code Understanding and Generation

preprint Full Text OpenAlex 386 FWCI0

GraphCodeBERT: Pre-training Code Representations with Data Flow

article Full Text OpenAlex 334 FWCI55.276

Use Chat GPT to Solve Programming Bugs

article Full Text OpenAlex 334 FWCI86.871

Automatic Generation of Programming Exercises and Code Explanations Using Large Language Models

preprint Full Text OpenAlex 318 FWCI0

cvc5: A Versatile and Industrial-Strength SMT Solver

book-chapter Full Text OpenAlex 288 FWCI208.373

DETRs with Collaborative Hybrid Assignments Training

article Full Text OpenAlex 230 FWCI49.11

Program Synthesis with Large Language Models

preprint Full Text OpenAlex 229 FWCI0