Image de couverture de livre

Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gotlieb, Arnaud, Mossige, Morten, Spieker, Helge
Format:	Preprint
Publié:	2023
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Policy Testing with MDPFuzz (Replicability Study)
par: Mazouni, Quentin, et autres
Publié: (2025)

Testing for Fault Diversity in Reinforcement Learning
par: Mazouni, Quentin, et autres
Publié: (2024)

Metamorphic Testing of Multimodal Human Trajectory Prediction
par: Spieker, Helge, et autres
Publié: (2025)

Evaluating Human Trajectory Prediction with Metamorphic Testing
par: Spieker, Helge, et autres
Publié: (2024)

Efficiently Ranking Software Variants with Minimal Benchmarks
par: Matricon, Théo, et autres
Publié: (2025)

Mutation‐Guided Metamorphic Testing of Optimality in AI Planning
par: Quentin Mazouni, et autres
Publié: (2024)

Reusable Test Suites for Reinforcement Learning
par: Betten, Jørn Eirik, et autres
Publié: (2025)

Bug-Report-Driven Fault Localization: Industrial Benchmarking and Lesson Learned at ABB Robotics
par: Hall, Pernilla, et autres
Publié: (2026)

Prompting for Performance: Exploring LLMs for Configuring Software
par: Spieker, Helge, et autres
Publié: (2025)

Constraint-Guided Multi-Agent Decompilation for Executable Binary Recovery
par: Zhang, Yifan, et autres
Publié: (2026)

Constraint-Guided Unit Test Generation for Machine Learning Libraries
par: Krodinger, Lukas, et autres
Publié: (2025)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
par: Xiao, Yuan-An, et autres
Publié: (2023)

Large Language Models for Software Testing Education: an Experience Report
par: Yang, Peng, et autres
Publié: (2026)

Scaling Mobile Chaos Testing with AI-Driven Test Execution
par: Marcano, Juan, et autres
Publié: (2026)

Prompt-Based REST API Test Amplification in Industry: An Experience Report
par: Bardakci, Tolgahan, et autres
Publié: (2026)

Mokav: Execution-driven Differential Testing with LLMs
par: Etemadi, Khashayar, et autres
Publié: (2024)

IntelliGame in Action: An Experience Report on Gamifying JavaScript Unit Tests
par: Straubinger, Philipp, et autres
Publié: (2024)

Can Large Language Models Solve Path Constraints in Symbolic Execution?
par: Wang, Wenhan, et autres
Publié: (2025)

Test Schedule Generation for Acceptance Testing of Mission-Critical Satellite Systems
par: Ollando, Raphaël, et autres
Publié: (2025)

Systematic API Testing Through Model Checking and Executable Contracts
par: Ribeiro, Ana, et autres
Publié: (2026)

TestWeaver: Execution-aware, Feedback-driven Regression Testing Generation with Large Language Models
par: Le, Cuong Chi, et autres
Publié: (2025)

SelfPiCo: Self-Guided Partial Code Execution with LLMs
par: Xue, Zhipeng, et autres
Publié: (2024)

Heterogeneous Prompting and Execution Feedback for SWE Issue Test Generation and Selection
par: Ahmed, Toufique, et autres
Publié: (2025)

S$^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
par: Wang, Lianjing, et autres
Publié: (2026)

Optimizing Metamorphic Testing: Prioritizing Relations Through Execution Profile Dissimilarity
par: Srinivasan, Madhusudan, et autres
Publié: (2024)

Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
par: Abdullin, Azat, et autres
Publié: (2025)

ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution
par: Gröninger, Lars, et autres
Publié: (2024)

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
par: Yang, Shuo, et autres
Publié: (2024)

Identifying Inaccurate Descriptions in LLM-generated Code Comments via Test Execution
par: Kang, Sungmin, et autres
Publié: (2024)

From Natural Language to Executable Properties for Property-based Testing of Mobile Apps
par: Xiong, Yiheng, et autres
Publié: (2026)

Echo: Graph-Enhanced Retrieval and Execution Feedback for Issue Reproduction Test Generation
par: Fei, Zhiwei, et autres
Publié: (2026)

System Test Generation for Virtual Reality Applications using Scenario Models
par: Longfils, Gerry, et autres
Publié: (2026)

Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
par: Filippone, Gianluca, et autres
Publié: (2026)

Semantic Constraint Inference for Web Form Test Generation
par: Alian, Parsa, et autres
Publié: (2024)

Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
par: Tu, Haoxin, et autres
Publié: (2025)

Testing Deep Learning Libraries via Neurosymbolic Constraint Learning
par: Naziri, M M Abid, et autres
Publié: (2026)

Teaching Energy-Efficient Software -- An Experience Report
par: Christensen, Henrik Bærbak, et autres
Publié: (2025)

Req2Road: A GenAI Pipeline for SDV Test Artifact Generation and On-Vehicle Execution
par: Zyberaj, Denesa, et autres
Publié: (2026)

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling
par: Li, Yan, et autres
Publié: (2025)

Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement
par: Yang, Zhaorui, et autres
Publié: (2025)