A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs. Raluca Marinescu, ... Paul Pettersson, in Advances in Computers, 2015. 6.4 AsmL. The Abstract State Machine Language (AsmL) [37] is a fusion of the Abstract State Machine paradigm and the .NET language runtime system.AsmL can be integrated with any .NET language: AsmL