Abstract: We study symbolic test generation over the ArkTS intermediate representation (ArkIR), obtained from ArkTS/TypeScript/JavaScript source or from ArkTS ...
There was an error while loading. Please reload this page.
Learn or level up your 1337 gamedev skills and build amazing games together for web, desktop, or mobile using these HTML5 / JavaScript game engines. Phaser is a fun, free and fast 2D game framework ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback