با سلام و تشکر از این حرکت زیبای شما...
نام مقاله : Using Z specifications in category partition testing
لینک
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&tp=&arnumber=235766&contentType=Conference+Publications&queryText%3DUsing+Z+specifications+in+category+partition+testing...