MC/DC test cases generation based on BDDs

DOI10.1007/978-3-030-91265-9_10zbMath1498.68290OpenAlexW3216185569MaRDI QIDQ2154030

Volker Stolz, Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen

Publication date: 13 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-91265-9_10

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• Automatically generating test data from a Boolean specification
• A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: MC/DC test cases generation based on BDDs