Buchumschlag

An Efficient Algorithm for Generating Minimal Unique-Cause MC/DC Test cases for Singular Boolean Expressions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lee, Robin, Nam, Youngho
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering 68Q60, 03B70 D.2.5
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

EQ-Robin: Constraint-Resilient Generation of Multiple Minimal Unique-Cause MC/DC Test Suites
von: Lee, Robin, et al.
Veröffentlicht: (2025)

Trace Validation of Unmodified Concurrent Systems with OmniLink
von: Hackett, Finn, et al.
Veröffentlicht: (2026)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
von: Alpay, Faruk, et al.
Veröffentlicht: (2026)

Day algebras
von: Robinson, Edmund, et al.
Veröffentlicht: (2025)

The complexity of being monitorable
von: Camerlo, Riccardo, et al.
Veröffentlicht: (2026)

Regainingly approximable numbers and sets
von: Hertling, Peter, et al.
Veröffentlicht: (2023)

Certified Finite-State Induction for a Perturbed Hofstadter Recursion
von: Mantovanelli, Marco
Veröffentlicht: (2026)

A Minimal Substitution Basis for the Kalmár Elementary Functions
von: Prunescu, Mihai, et al.
Veröffentlicht: (2025)

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
von: Wright, Craig Steven
Veröffentlicht: (2025)

Refutability as Recursive as Provability
von: Cattabriga, Paola
Veröffentlicht: (2024)

A study of distributional complexity measures for Boolean functions
von: Köhler-Schindler, Laurin, et al.
Veröffentlicht: (2024)

Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
von: Kattermann, David, et al.
Veröffentlicht: (2025)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
von: van der Meyden, Ron
Veröffentlicht: (2025)

New Fault Domains for Conformance Testing of Finite State Machines
von: Vaandrager, Frits, et al.
Veröffentlicht: (2024)

A Methodological Analysis of Empirical Studies in Quantum Software Testing
von: Li, Yuechen, et al.
Veröffentlicht: (2026)

Why the classes P and NP are not well-defined finitarily
von: Anand, Bhupinder Singh
Veröffentlicht: (2024)

Directed Grammar-Based Test Generation
von: Kirschner, Lukas, et al.
Veröffentlicht: (2025)

NP-hard problems are not in BQP
von: Czerwinski, Reiner
Veröffentlicht: (2023)

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
von: Lopez, Aliaume
Veröffentlicht: (2024)

Evaluating Developer-written Unit Test Case Reduction for Java -- A Replication Study
von: Le, Tuan D, et al.
Veröffentlicht: (2025)

Time-inhomogeneous N-particle Branching Brownian Motion and the continuous random energy model
von: Legrand, Alexandre, et al.
Veröffentlicht: (2024)

Language-Based Protocol Testing
von: Liggesmeyer, Alexander, et al.
Veröffentlicht: (2025)

Nominal techniques as an Agda library
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2026)

Systematic Evaluation of Black-Box Checking for Fast Bug Detection
von: Pellen, Bram, et al.
Veröffentlicht: (2025)

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer
von: Bowen, Jonathan P., et al.
Veröffentlicht: (2026)

Continuum graph dynamics via population dynamics: well-posedness, duality and equilibria
von: Greven, Andreas, et al.
Veröffentlicht: (2023)

Information vs Dimension -- an Algorithmic Perspective
von: Reimann, Jan
Veröffentlicht: (2024)

Black-box Context-free Grammar Inference for Readable & Natural Grammars
von: Arefin, Mohammad Rifat, et al.
Veröffentlicht: (2025)

Contract-based Verification of Digital Twins
von: Naeem, Muhammad, et al.
Veröffentlicht: (2025)

Preprocessing is All You Need: Boosting the Performance of Log Parsers With a General Preprocessing Framework
von: Qin, Qiaolin, et al.
Veröffentlicht: (2024)

Normalization properties of $λμ$-calculus using realizability semantics
von: Battyanyi, Peter, et al.
Veröffentlicht: (2023)

Array-Carrying Symbolic Execution for Function Contract Generation
von: Lu, Weijie, et al.
Veröffentlicht: (2026)

Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
von: Alpay, Faruk, et al.
Veröffentlicht: (2026)

Evolomino is NP-complete
von: Nikolaev, Andrei V.
Veröffentlicht: (2025)

A RAG Method for Source Code Inquiry Tailored to Long-Context LLMs
von: Kamiya, Toshihiro
Veröffentlicht: (2024)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
von: Harrington, Leo A., et al.
Veröffentlicht: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
von: Lopez, Aliaume
Veröffentlicht: (2024)

Formal Verification of Imperative First-Class Functions in Move
von: Grieskamp, Wolfgang, et al.
Veröffentlicht: (2026)

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
von: Hertling, Peter, et al.
Veröffentlicht: (2025)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
von: Jaber, Guilhem, et al.
Veröffentlicht: (2025)