From specification to testing: semantics engineering for Lua 5.2
scientific article; zbMATH DE number 7632095