Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lee, Robin, Nam, Youngho
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering 68Q60, 03B70 D.2.5
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Trace Validation of Unmodified Concurrent Systems with OmniLink
di: Hackett, Finn, et al.
Pubblicazione: (2026)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

Day algebras
di: Robinson, Edmund, et al.
Pubblicazione: (2025)

The complexity of being monitorable
di: Camerlo, Riccardo, et al.
Pubblicazione: (2026)

Regainingly approximable numbers and sets
di: Hertling, Peter, et al.
Pubblicazione: (2023)

Certified Finite-State Induction for a Perturbed Hofstadter Recursion
di: Mantovanelli, Marco
Pubblicazione: (2026)

A Minimal Substitution Basis for the Kalmár Elementary Functions
di: Prunescu, Mihai, et al.
Pubblicazione: (2025)

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

Refutability as Recursive as Provability
di: Cattabriga, Paola
Pubblicazione: (2024)

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

Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
di: Kattermann, David, et al.
Pubblicazione: (2025)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
di: van der Meyden, Ron
Pubblicazione: (2025)

New Fault Domains for Conformance Testing of Finite State Machines
di: Vaandrager, Frits, et al.
Pubblicazione: (2024)

A Methodological Analysis of Empirical Studies in Quantum Software Testing
di: Li, Yuechen, et al.
Pubblicazione: (2026)

Why the classes P and NP are not well-defined finitarily
di: Anand, Bhupinder Singh
Pubblicazione: (2024)

Directed Grammar-Based Test Generation
di: Kirschner, Lukas, et al.
Pubblicazione: (2025)

NP-hard problems are not in BQP
di: Czerwinski, Reiner
Pubblicazione: (2023)

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
di: Lopez, Aliaume
Pubblicazione: (2024)

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

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

Language-Based Protocol Testing
di: Liggesmeyer, Alexander, et al.
Pubblicazione: (2025)

Nominal techniques as an Agda library
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2026)

Systematic Evaluation of Black-Box Checking for Fast Bug Detection
di: Pellen, Bram, et al.
Pubblicazione: (2025)

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer
di: Bowen, Jonathan P., et al.
Pubblicazione: (2026)

Continuum graph dynamics via population dynamics: well-posedness, duality and equilibria
di: Greven, Andreas, et al.
Pubblicazione: (2023)

Information vs Dimension -- an Algorithmic Perspective
di: Reimann, Jan
Pubblicazione: (2024)

Black-box Context-free Grammar Inference for Readable & Natural Grammars
di: Arefin, Mohammad Rifat, et al.
Pubblicazione: (2025)

Contract-based Verification of Digital Twins
di: Naeem, Muhammad, et al.
Pubblicazione: (2025)

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

Normalization properties of $λμ$-calculus using realizability semantics
di: Battyanyi, Peter, et al.
Pubblicazione: (2023)

Array-Carrying Symbolic Execution for Function Contract Generation
di: Lu, Weijie, et al.
Pubblicazione: (2026)

Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
di: Alpay, Faruk, et al.
Pubblicazione: (2026)

Evolomino is NP-complete
di: Nikolaev, Andrei V.
Pubblicazione: (2025)

A RAG Method for Source Code Inquiry Tailored to Long-Context LLMs
di: Kamiya, Toshihiro
Pubblicazione: (2024)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
di: Harrington, Leo A., et al.
Pubblicazione: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
di: Lopez, Aliaume
Pubblicazione: (2024)

Formal Verification of Imperative First-Class Functions in Move
di: Grieskamp, Wolfgang, et al.
Pubblicazione: (2026)

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
di: Hertling, Peter, et al.
Pubblicazione: (2025)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
di: Jaber, Guilhem, et al.
Pubblicazione: (2025)