Abstract: In the ever-evolving world of technology, the validation of use case diagrams is essential to ensure the reliability and consistency of software applications. An effective validation ...

Abstract: Machine learning (ML) is ever more frequently used as a tool to ... In this article we propose the use of binary decision diagrams (BDDs) as an interpretable ML model. BDDs can be deemed as ...