TY - JOUR T1 - A tool supported methodology to passively test asynchronous systems with multiple users JO - Information and Software Technology UR - https://eprints.whiterose.ac.uk/id/eprint/142294 UR - https://doi.org/10.1016/j.infsof.2018.07.013 PY - 2018/12/01 AU - Merayo MG AU - Hierons RM AU - Nunez M ED - DO - DOI: 10.1016/j.infsof.2018.07.013 PB - Elsevier VL - 104 SP - 162 EP - 178 Y2 - 2025/11/05 ER -