Concurrent programs are replacing the sequential programs as they utilize the true
capabilities of multicore architecture. The extensive use of multicore systems and …

Traffic forecasting is of great significance and has many applications in Intelligent Traffic
System (ITS). In spite of many thoughtful attempts in the past decades, this task still remains …

Model-Based testing (MBT) is a technique to derive test cases from models of the system
under test (SUT), and the UML is the leading and de-facto standard language for system …

Software testing tasks are usually time-consuming, especially if one considers complex
projects. Requirements engineering artifacts are a valuable starting point for the …

Test generation from functional requirements in natural language (NL) is often time-
consuming and error prone, especially in complex projects. In this context, formal …

Natural Language Processing (NLP) techniques show promising results to organize and
identify desired information from the bulky raw data. As a result, NLP techniques are …

Concurrent programming is increasingly being used in many applications with the advent of
multi-cores. The necessary support for execution of multi-threading is getting richer …

Test case generation is the most important part of software testing. Currently, researchers
have used the UML activity diagram for test case generation. Testing concurrent system is …

Software testing is an important and complicated phase of software development cycle.
Software test process acquires test cases as input for the system under test to evaluate the …

Abstract Model‐based test case generation techniques provide a mechanism to derive tests
systematically. This study provides a systematic mapping of test case generation techniques …