Model‐based mutation testing from security protocols in HLPSL

By  

SOFTWARE TESTING, VERIFICATION & RELIABILITY (ELECTRONIC), Vol. 25, Iss. 5-7, 2015-08 ,pp. : 684-711

John Wiley & Sons Inc

Access to resources Recommend Favorite

Component architecture of model-based testing environment

By Kuliamin V.  

Programming and Computer Software, Vol. 36, Iss. 5, 2010-09 ,pp. : 289-305

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

An Alternative Threat Model-based Approach for Security Testing

By  

International Journal of Secure Software Engineering (IJSSE), Vol. 6, Iss. 3, 2015-07 ,pp. : 50-64

IGI Global_journal

Access to resources Recommend Favorite

Exploration Strategies for Model-based Learning in Multi-agent Systems: Exploration Strategies

By Carmel D.  

Autonomous Agents and Multi-Agent Systems, Vol. 2, Iss. 2, 1999-06 ,pp. : 141-172

Springer Publishing Company

Access to resources Recommend Favorite

Experiences using Tedeso: an extensible and interoperable model-based testing platform

By Silva Filho Roberto  

Automated Software Engineering, Vol. 20, Iss. 3, 2013-09 ,pp. : 299-337

Springer Publishing Company

Access to resources Recommend Favorite