An extended framework for passive asynchronous testing | Publicación