869 followers
#OnlineFirst: A method for testing and validating executable statechart models; Tom Mens, Alexandre Decan, Nikolaos I. Spanoudakis; https://t.co/9orefYx8LW
#OnlineFirst: A method for testing and validating executable statechart models; Tom Mens, Alexandre Decan, Nikolaos I. Spanoudakis; https://t.co/9orefYx8LW
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
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.