With the growing complexity of software, the number of test cases needed for effective
validation is extremely large. Executing these large test suites is expensive and time …

Embedded software is found everywhere from our highly visible mobile devices to the
confines of our car in the form of smart sensors. Embedded software companies are under …

As product life-cycles become shorter and the scale and complexity of systems increase,
accelerating the execution of large test suites gains importance. Existing research has …

Today, software is all around us, impacting our everyday lives in fundamental ways.
Developing software whose behaviour is reliable, predictable and correct is therefore …

Massive parallelism, and energy efficiency of GPUs, along with advances in their
programmability with OpenCL and CUDA programming models have made them attractive …

Testing is an important and challenging part of software development and its effectiveness
depends on the quality of test cases. However, there exists no means of measuring quality of …

Embedded and real-time software is often constrained by several temporal requirements.
Therefore, it is important to design embedded software that meets the required performance …

Graphics Processing Units (GPUs) are massively parallel processors offering performance
acceleration and energy efficiency unmatched by current processors (CPUs) in computers …

Concolic testing combines concrete execution with symbolic execution along the executed
path to automatically generate new test inputs that exercise program paths and deliver high …

Abstract PCAST (PGI Compiler-Assisted Software Testing) is a feature being developed in
the PGI compilers and runtime to help users automate testing high performance numerical …