The Godzilla automatic test data generator is an integrated collection of tools that implements a relatively new test data generation method, constraint-based testing, that is based on mutation analysis. Constraint-based testing integrates mutation analysis with several other testing techniques, including statement coverage, branch coverage, domain perturbation and symbolic evaluation. Because ...

We introduce a Web-based CALL architecture that facilitates the construction of learner-customized multiple choice tests in a cross-lingual tandem language learning environment. Mistakes made by the learner are manually corrected and classified by his tandem partner, who acts as a tutor. If the learner has problems to identify and correct his mistakes, or if he likes to practice, he can generat...

Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet validation. In this article, we describe a methodology for Java Card applet verification, and its application on a case study. This methodology is based on automatic test generation. We first take benefits of the Java Card pl...

Software testing is most effort consuming phase in software development. One would like to minimize the efforts and maximize the number of faults detected. Hence test case generation may be treated as an optimization problem. One of the major difficulties in software testing is the automatic generation of test data that satisfy a given adequacy criterion. Generating test cases automatically wil...

Database-driven software has been widely adopted in many areas of software applications. In this type of software, the database is an integrated part of the system. Traditional testing techniques have focused either on the software or on the databases, but ignored the interactions between the two core components of the system. Recently, the importance of testing database-driven applications has...

We propose a method to generate high-quality cloze test questions using a computational approach. Previous methods for automatic cloze test generation have contained some problems; specifically, there can be multiple correct answers. We found that approximately 50% of the generated answers have such errors with previous methods, which requires human post-editing was necessary in previous resear...

Service-oriented architectures propose loosely coupled interacting services as building blocks for distributed applications. Since distributed services differ from traditional monolithic software systems, novel testing methods are required. Based on the specification of a service, we introduce an approach to automatically generate test cases for blackbox testing to check for conformance between...

This work extends a general method used to test classical circuits to quantum circuits. Gate internal errors are address using a discrete fault model. Fault models to represent unwanted nearest neighbor entanglement as well as unwanted qubit rotation are presented. When witnessed, the faults we model are probabilistic, but there is a set of tests with the highest probability of detecting a disc...

In this paper, a test pattern generation system for combinational circuits including test pattern generator, fault simulator, and test set compactor is introduced. The techniques that improve test pattern generation process are used in an implemented test pattern generation system called COM_TEST. The results of COM_TEST on ten circuits are given.