2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) Software Testing, Validation and Verification (ICST), 2020 IEEE 13th International Conference on. :364-374 Oct, 2020
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. Software engineering and formal methods Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on. :202-209 2003