… The Spoofax testing language provides a new approach to testing domain-specific languages as they are developed. It allows test cases to be written using fragments of the language under test, providing full IDE support for writing test …

… Current software testing practices focus, almost exclusively, on the implementation, despite widely acknowledged benefits of testing based on software specifications. We propose approaches to specification-based testing by extending a wide …

… framework for grammar testing, in which some commonly used techniques for testing programs such as module testing and integration testing are adapted and applied to the testing of grammars. We propose a nonterminal-based approach for grammar …

… Test generation is a program-synthesis problem: starting from the formal specification of a system under test, and from a test purpose describing a set of behaviours to be tested, compute a reactive program that observes …

… In test-driven development, tests are written for each program unit before the code is written, ensuring that the code has a comprehensive unit testing harness. Unfortunately, unit testing is much less effective for concurrent programs …

… Grammar testing is discussed in the context of grammar engineering (i.e. … grammar testing, especially coverage analysis, test set generation, and integration of testing and grammar transformations. Grammar recovery is chosen …

… of) a type. Examples include equality tests, maps and pretty printers. Property based testing tools like QuickCheck and Gast support the definition of properties and test-data generators, and they check if a monomorphic property …

… QuickCheck—a property-based testing tool for Erlang, which enables developers to formulate formal specifications of their code and to use them for testing. We cover the basic concepts of properties and test-data generators, properties …

… A methodology that combines verification and conformance testing for validating … are first automatically verifed on the systems specification. Then test cases … on a blackbox implementation of the system. The test cases attempt to push …

… This paper presents new support for randomized testing in PLT Redex, a domain … with the overall spirit of Redex, the testing support is as lightweight as possible—Redex … to falsify the predicates. Redex’s automatic test case generation begins …

… We present a method for generating test cases that can be used throughout … as is, in order to test the specifications, or in conjunction with automatic test drivers to test an implementation against the specifications. The grammar can generate test …

… and maintenance. They are often tested only as an afterthought. Languages with a smaller … testing techniques and test case generation methods fall short in providing a low-threshold solution for test-driven language development. In this paper we …

… This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances … of testing such properties, our schema leads to a significant reduction of necessary test …

… and testing properties of programs. Properties are described as Haskell functions, and can be automatically tested on random input, but it is also possible to define custom test data generators. We present a number of case studies, in which …

… We present work we are engaged in to develop symbolic test generation techniques and apply those techniques to testing of smart card applications. Beginning with a system specification and a test purpose expressed as symbolic …

… combinatorially exhaustive test-data sets up to a specified depth. Without further efforts, such test-data sets would be huge at the least and explosive most of the time. Fortunately, scenarios of grammar-based testing tend to admit non-explosive …