#OnlineFirst: A method for testing and validating executable statechart models; Tom Mens, Alexandre Decan, Nikolaos I. Spanoudakis; https://t.co/9orefYx8LW
869 followers
25 followers
Check out our paper "A method for testing and validating executable statechart models" at the Journal of Software and Systems Modeling. Thank you Prof. Tom Mens and Dr Alexander Decan for involving me in this solid work https://t.co/bnBXPy015P @tom_mens #s
651 followers
Our paper "A method for testing and validating executable statechart models" is now published in Springer SoSyM journal. Featuring BDD, design by contract, and monitoring of property violations during statechart execution. Supported by OSS library Sismic.