Cover Image

Testing Compositionality

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	van Cuyck, Gijs, van Arragon, Lars, Tretmans, Jan
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Designing an Objective-Driven Test Method for the Comparative Performance Evaluation of Commercial DTI Solutions for Counter UAS systems
by: Mohamoud, Ali, et al.
Published: (2024)

ROBUST: 221 Bugs in the Robot Operating System
by: Timperley, Christopher S., et al.
Published: (2024)

Scalable Deductive Verification of Data-Level Parallel Programs
by: Haak, Lars B. van den, et al.
Published: (2026)

Disjunction Composition of BDD Transition Systems for Model-Based Testing
by: Zameni, Tannaz, et al.
Published: (2026)

Architectural Design Decisions for Self-Serve Data Platforms in Data Meshes
by: van Eijk, Tom, et al.
Published: (2024)

Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
by: Zhou, Zitong, et al.
Published: (2025)

Accountability of Robust and Reliable AI-Enabled Systems: A Preliminary Study and Roadmap
by: Scaramuzza, Filippo, et al.
Published: (2025)

Testing Medical Rules Web Services in Practice
by: Laaber, Christoph, et al.
Published: (2024)

Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for Code
by: Honarvar, Shahin, et al.
Published: (2023)

Scenario-based System Testing for Distributed Robotics Applications
by: Peleska, Jan, et al.
Published: (2026)

CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation
by: Kiecker, Tobias, et al.
Published: (2026)

An Anatomy of 488 Faults from Defects4J Based on the Control- and Data-Flow Graph Representations of Programs
by: van der Spuy, Alexandra, et al.
Published: (2025)

Chaos Engineering in the Wild: Findings from GitHub
by: Owotogbe, Joshua, et al.
Published: (2025)

"Show Me You Comply... Without Showing Me Anything": Zero-Knowledge Software Auditing for AI-Enabled Systems
by: Scaramuzza, Filippo, et al.
Published: (2025)

Towards Automatic Translation of Machine Learning Visual Insights to Analytical Assertions
by: Shome, Arumoy, et al.
Published: (2024)

Sustainability of Machine Learning-Enabled Systems: The Machine Learning Practitioner's Perspective
by: De Martino, Vincenzo, et al.
Published: (2025)

Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study
by: Wang, Xinyi, et al.
Published: (2024)

Developing a High-Performance Process Mining Library with Java and Python Bindings in Rust
by: Küsters, Aaron, et al.
Published: (2024)

LegacyTranslate: LLM-based Multi-Agent Method for Legacy Code Translation
by: Moti, Zahra, et al.
Published: (2026)

Enhancing Smart Grid Information Exchanges: A Three-Phase Method for Evaluating Information and Data Models during their Development Process
by: van Stiphoudt, Christine, et al.
Published: (2025)

Using Generative AI in Software Design Education: An Experience Report
by: Jackson, Victoria, et al.
Published: (2025)

Domain-Driven Design in Software Development: A Systematic Literature Review on Implementation, Challenges, and Effectiveness
by: Özkan, Ozan, et al.
Published: (2023)

Assessing Quantum Extreme Learning Machines for Software Testing in Practice
by: Muqeet, Asmar, et al.
Published: (2024)

Test smells in LLM-Generated Unit Tests
by: Ouédraogo, Wendkûuni C., et al.
Published: (2024)

TestGenEval: A Real World Unit Test Generation and Test Completion Benchmark
by: Jain, Kush, et al.
Published: (2024)

Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests
by: Glock, Johann, et al.
Published: (2025)

Test Adequacy for Metamorphic Testing: Criteria, Measurement, and Implication
by: Fu, An, et al.
Published: (2024)

Automated Test Production -- Complement to "Ad-hoc" Testing
by: Gomes, José Marcos, et al.
Published: (2024)

Testing Is Not Boring: Characterizing Challenge in Software Testing Tasks
by: Hardman, Davi Gama, et al.
Published: (2025)

AugmenTest: Enhancing Tests with LLM-Driven Oracles
by: Khandaker, Shaker Mahmud, et al.
Published: (2025)

Test Behaviors, Not Methods! Detecting Tests Obsessed by Methods
by: Hora, Andre, et al.
Published: (2026)

Generalizing Test Cases for Comprehensive Test Scenario Coverage
by: Qi, Binhang, et al.
Published: (2026)

Test Plan Generation for Live Testing of Cloud Services
by: Jebbar, Oussama, et al.
Published: (2025)

Understanding Feedback Mechanisms in Machine Learning Jupyter Notebooks
by: Shome, Arumoy, et al.
Published: (2024)

Data vs. Model Machine Learning Fairness Testing: An Empirical Study
by: Shome, Arumoy, et al.
Published: (2024)

Dynamic Test Case Prioritization in Industrial Test Result Datasets
by: Torbunova, Alina, et al.
Published: (2024)

McUDI: Model-Centric Unsupervised Degradation Indicator for Failure Prediction AIOps Solutions
by: Poenaru-Olaru, Lorena, et al.
Published: (2024)

ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
by: Christensen, Katrine, et al.
Published: (2025)

Test Smell: A Parasitic Energy Consumer in Software Testing
by: Misu, Md Rakib Hossain, et al.
Published: (2023)

Test Design and Review Argumentation in AI-Assisted Test Generation
by: Enoiu, Eduard Paul, et al.
Published: (2026)