This study evaluates how LLMs can enhance mutation testing in software development.
― 5 min read
Cutting edge science explained simply
This study evaluates how LLMs can enhance mutation testing in software development.
― 5 min read
A new method enhances testing speed and fault detection in quantum programs.
― 5 min read
A new approach to improve testing in configurable systems by prioritizing critical features.
― 6 min read
A new method improves efficiency in understanding complex systems through adaptive learning.
― 6 min read
An overview of why testing smart contracts is crucial for security and functionality.
― 4 min read
Exploring new methods to improve video game testing through automation and AI.
― 5 min read
Learn how to replicate software functions through behavior modeling.
― 7 min read
Introducing a method that improves bug-finding in C software development.
― 6 min read
A new technique enhances testing for model loading in deep learning compilers.
― 7 min read
This study reveals how language models can find hidden bugs in mobile apps.
― 7 min read
Ap pWorld simulates real tasks for AI agents in a controlled environment.
― 6 min read
A new method speeds up software testing by focusing on web page segments.
― 6 min read
This article examines human-centric defects in software and suggests improvements for reporting.
― 6 min read
A new method for creating E2E tests using Large Language Models.
― 8 min read
Static code analysis helps developers find issues early in software development.
― 6 min read
A machine learning approach enhances prediction of program behavior without execution.
― 6 min read
A new tool assesses the safety and reliability of language models.
― 6 min read
A new method enhances testing for deep neural networks by focusing on overall performance.
― 5 min read
This article examines testing methods for ensuring accuracy in graph databases.
― 5 min read
This study compares different LLMs for finding faults and detecting vulnerabilities in software.
― 5 min read
LiTelFuzz improves testing for multi-robot swarms, identifying flaws effectively.
― 4 min read
Study assesses language models on their ability to generate web application code.
― 6 min read
A novel approach to streamline UI testing for mobile apps using machine learning.
― 9 min read
A new approach enhances symbolic execution in Python using a Large Language Model.
― 6 min read
A new method enhances DNN testing by combining feature selection with uncertainty-based prioritization.
― 6 min read
A look into applying MCDC testing metrics in Rust programming.
― 7 min read
vMocks streamline formal verification, enhancing software safety and reliability.
― 6 min read
A new method enhances software bug detection using LLM agents and a divide-and-conquer strategy.
― 7 min read
Exploring how states relate through games in computer science.
― 5 min read
Learn how LoopSCC simplifies complex loop analysis for better software testing.
― 6 min read
Learn how GOOD simplifies programming and enhances software quality.
― 7 min read
Learn effective methods for monitoring system behavior using limited observations.
― 6 min read
SelectQA improves software testing speed and effectiveness using quantum computing techniques.
― 6 min read
A new tool solves the challenge of app-blocking pop-ups during automated testing.
― 5 min read
A dataset that empowers language models to generate unit tests for C++ code.
― 6 min read
Streamlining bug detection with creative testing techniques, blending automation and human insight.
― 7 min read
Transplantation optimizes fuzzing for MCU firmware, improving speed and efficiency.
― 5 min read
A new approach enhances static analysis using language models for better software development.
― 6 min read
Revolutionizing database testing with machine learning and SQL analysis.
― 7 min read
A new fuzz testing framework boosts drone safety and efficiency.
― 8 min read