The conformance testing of programming language implementations is crucial to support correct and consistent execution environments. Because manually maintaining tests for real-world languages cumbersome labor-intensive, researchers have presented various ways make effective efficient. One such approach use graph coverage, one the most widely-used coverage criteria, generate that reach differen...

In line with the increased importance of language testing and assessment in online learning, paper sets out to present an overview landscape based on available scholarship global Vietnamese contexts. Several benefits are reported, including promotion learner autonomy, evaluation students’ progress, convenience. Methods encompass collecting evidences learning using rubrics. A number pr...

We describe our experience of using property-based testing---an approach for automatically generating random inputs to check executable program specifications---in a development higher-order smart contract language that powers state-of-the-art blockchain with thousands active daily users. outline the process integrating QuickChick---a framework testing built on top Coq proof assistant---into re...

Existing systems for writing unit tests exploit built-in language constructs, such as reflection, to simulate the addition of testing constructs. While these simulations provide the minimally necessary functionality, they fail to support testing properly in many instances. In response, we have designed, implemented, and evaluated extensions for Java that enable programmers to express test cases...