News

IEEE2y
MOS: An integrated model-based and search-based testing tool for Function Block Diagrams - IEEE Xplore
Abstract: In this paper we present a new testing tool for safety critical applications described in Function Block Diagram (FBD) language aimed to support both a model and a search-based approach.
IEEE12y
MOS: An integrated model-based and search-based testing tool for Function Block Diagrams
Abstract: In this paper we present a new testing tool for safety critical applications described in Function Block Diagram (FBD) language aimed to support both a model and a search-based approach.