Cited By
View all- Sahu SSchorr RMedina-Bulo IWagner M(2021)Model Translation from Papyrus-RT into the nuXmv Model CheckerSoftware Engineering and Formal Methods. SEFM 2020 Collocated Workshops10.1007/978-3-030-67220-1_1(3-20)Online publication date: 17-Jan-2021
- Ahmadi RDingel JDumas MPfahl DApel SRusso A(2019)Concolic testing for models of state-based systemsProceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3338906.3338908(4-15)Online publication date: 12-Aug-2019
- Ahmadi RJahed KDingel JZimmermann TLawall JMarinov D(2019)mCUTEProceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2019.00132(1182-1185)Online publication date: 10-Nov-2019
- Show More Cited By