Publications
test suites. Software Quality Journal, 27(2):589–613, 2019. doi: 10.1007/s11219-018-9421-y RobertSachtleben, Robert M. Hierons, Wen-ling Huang, and Jan Peleska. A mechanised proof of an adaptive state counting [...] Proceedings, pages 26–36. ACM, 2023a. doi: https://doi.org/10.1145/3623503.3623533 Huang, Wen-ling, Sachtleben, Robert (2023). Conformance Relations Between Input/Output Languages. In: Haxthausen, A.E., Huang, [...] 132-9_4 Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, and RobertSachtleben. Complete property-oriented module testing. In Silvia Bonfanti, Angelo Gargantini, and Paolo