Extended Proxy-tester

We present a proxy-tester, which is an engine for ioco-passive testing. We show characteristics of soundness and completeness of our approach with respect to the ioco-testing relation. Later, we present a novel framework that combines our ioco-passive tester with the check of possible attacks from malicious users.Sociedad Argentina de Informática e Investigación Operativ

Extended Proxy-tester

We present a proxy-tester, which is an engine for ioco-passive testing. We show characteristics of soundness and completeness of our approach with respect to the ioco-testing relation. Later, we present a novel framework that combines our ioco-passive tester with the check of possible attacks from malicious users.Sociedad Argentina de Informática e Investigación Operativ