A framework for temporal verification support in domain-specific modelling
Source
IEEE transactions on software engineering - ISSN 0098-5589-46:4 (2020) p. 362-404
Comparing and classifying model transformation reuse approaches across metamodels
Source
Software and systems modeling - ISSN 1619-1366-19 () p. 441-465
Airtime-based resource allocation modeling for network slicing in IEEE 802.11 RANs
Source
IEEE communications letters - ISSN 1089-7798-24:5 (2020) p. 1077-1080
Semi-automatic test case expansion for mutation testing
Source
Proceedings of the 2020 IEEE Workshop on Validation, Analysis and Evolution of Software Tests (VST), February 18, 2020, London, ON, Canada / Pinzger, Martin [edit]; et al. [edit]- (2020) p. 1-7
Automating TEST case design, selection and evaluation report on 10 editions of A-TESTWorkshop
Source
Software engineering notes - ISSN 0163-5948-45:1 (2020) p. 21-24