In this paper we will describe our work on automatic generation of tests for Systems Under Test (SUT) described in the CO-OPN specification language that has been developed in our laboratory. CO-OPN (Concurrent Object Oriented Petri Nets) is a formalism for describing concurrent software systems that possesses most of the characteristics we can find in mainstream semi-formal modeling languages....

The orientation of objects on tables is of fundamental importance for the coordination, communication and proper understanding of content in group work. Similarly, the roles of orientation have to be taken into account when implementing software for multi-touch tabletops. This paper describes a combined approach to help with the orientation of artifacts, composed of both automatic and manual or...

The orientation of objects on tables is of fundamental importance for the coordination, communication and proper understanding of content in group work. Similarly, the roles of orientation have to be taken into account when implementing software for multi-touch tabletops. This paper describes a combined approach to help with the orientation of artifacts, composed of both automatic and manual or...

The process of testing any software system is an enormous task which is time consuming and costly. The time and required effort to do sufficient testing grow, as the size and complexity of the software grows, which may cause overrun of the project budget, delay in the development of software system or some test cases may not be covered. During SDLC (software development life cycle), generally t...