TY - JOUR T1 - A tool supported methodology to passively test asynchronous systems with multiple users JO - Information and Software Technology UR - http://eprints.whiterose.ac.uk/142294/ PY - 2018/12/01 AU - Merayo MG AU - Hierons RM AU - Núñez M ED - DO - DOI: 10.1016/j.infsof.2018.07.013 PB - Elsevier BV VL - 104 SP - 162 EP - 178 Y2 - 2024/10/23 ER -