Automatic programming assessment has recently become an important method in assisting
lecturers and instructors of programming courses to automatically mark and grade students' …

Branch coverage is an important criteria used during the structural testing of programs. We
present a new program execution based approach to generate input data that exercises a …

UML is widely accepted and used by industry for modelling and design of software systems.
A novel method to automatically generate test cases based on UML state models is …

We present a method to generate cluster level test cases based on UML communication
diagrams. In our approach, we first construct a tree representation of communication …

More than 50% of software development effort is spent in testing phase in a typical software
development project. Test case design as well as execution consumes a lot of time. So …

UML diagrams are important design and modeling artifacts. These diagrams can also be
used to generate test cases. We present a novel test case generation method that is based …

We present a novel methodology for test case generation based on UML sequence
diagrams. We create message dependence graphs (MDG) from UML sequence diagrams …

A domain of a program with mutually independent parameters is a set of all combinations of
all values of these parameters. The input domain can be very big. The main goal of domain …

We present a novel testing methodology to test object oriented software based on UML
sequence diagrams. In our approach we use dynamic slicing and generate test cases …

Abstract Domain testing is designed to detect domain errors that result from a small
boundary shift in a path domain. Although many researchers have studied domain testing …