Explore efficient methods for verifying complex software using ranged program analysis.
― 4 min read
Cutting edge science explained simply
Explore efficient methods for verifying complex software using ranged program analysis.
― 4 min read
Explore the significance of performance requirements and testing in software projects.
― 5 min read
FlaKat offers a machine learning solution to identify and categorize flaky tests.
― 7 min read
A new framework simplifies testing JIT compilers by generating automated test cases.
― 6 min read
Exploring the impact of LLMs on software development practices.
― 7 min read
New approaches to enhance clarity and reduce issues in software requirements.
― 4 min read
The ROBUST dataset helps researchers address software issues in robotics.
― 6 min read
Study reveals how code modifications influence software quality metrics.
― 9 min read
A study on the sharing, maintenance, and quality of software research artifacts.
― 5 min read
This study assesses large language models for generating text inputs in mobile applications.
― 6 min read
This study examines equivalent mutants and their impact on software testing.
― 4 min read
Using LLMs to enhance mutation testing effectiveness and software quality.
― 6 min read
This work presents a strategy for agents to independently diagnose and resolve issues.
― 7 min read
This article presents a method for generating test scenarios from natural language requirements.
― 7 min read
A look at mutation testing and its role in improving software quality.
― 5 min read
A new method enhances software testing by focusing on real interactions and environments.
― 8 min read
Learn the importance of validating distributed program traces against specifications.
― 6 min read
A new system combines retrieval and classification to reduce duplicate bug reports.
― 6 min read
The AIS 2024 Challenge seeks to improve video quality assessments using deep learning.
― 5 min read
Explore transformations to enhance natural language test quality.
― 7 min read
New metrics aim to improve code security and correctness with LLMs.
― 6 min read
Examining how small changes improve software quality and maintenance.
― 6 min read
Learn how predictive monitoring helps find bugs early in software development.
― 6 min read
A detailed look into current medical imaging software practices and areas for improvement.
― 4 min read
This framework automates the generation of tests to improve exception handling in software.
― 6 min read
Learn how machine learning concepts help define testing boundaries for software.
― 8 min read
Improving access to research artifacts boosts software requirements quality efforts.
― 5 min read
Explore strategies for ensuring software quality in open collaborative development environments.
― 7 min read
An overview of metamorphic testing and its role in software quality.
― 7 min read
This paper introduces a method to ensure quality in LLM-generated code.
― 6 min read
This research focuses on how TDD quality is measured and reported.
― 8 min read
A new approach enhances testing reliability for deep learning libraries.
― 6 min read
Large language models improve differential testing in software development.
― 7 min read
A new approach to pay for AI-generated text based on quality.
― 7 min read
FeaTestSelPrio enhances testing efficiency in highly configurable software systems.
― 8 min read
This study examines how interval analysis improves the effectiveness of Bounded Model Checking.
― 8 min read
Study uncovers how static analysis warnings relate to architectural design flaws.
― 7 min read
A new framework enhances FMEA data analysis and retrieval.
― 5 min read
A novel method uses 3D models to enhance anomaly detection in manufacturing.
― 7 min read
This study assesses the effectiveness of LLMs in creating unit tests.
― 7 min read