Cited By
View all- Ratiu DGario MSchoenhaar HGnesi SPlat NDay NRossi M(2019)FASTEN: an open extensible framework to experiment with formal specification approachesProceedings of the 7th International Workshop on Formal Methods in Software Engineering10.1109/FormaliSE.2019.00013(41-50)Online publication date: 27-May-2019
- Ratiu DUlrich A(2019)An integrated environment for Spin-based C code checkingInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-019-00510-w21:3(267-286)Online publication date: 1-Jun-2019
- Ratiu DVoelter MPavletic D(2018)Automated testing of DSL implementations--experiences from building mbeddrSoftware Quality Journal10.1007/s11219-017-9390-626:4(1483-1518)Online publication date: 1-Dec-2018