TY - JOUR T1 - An extended framework for passive asynchronous testing JO - Journal of Logical and Algebraic Methods in Programming PY - 2017/01/01 AU - Hierons RM AU - Merayo MG AU - N煤帽ez M ED - DO - DOI: 10.1016/j.jlamp.2016.02.004 VL - 86 IS - 1 SP - 408 EP - 424 Y2 - 2025/06/21 ER -