Learn More
There are race conditions in concurrent programs if the accesses to a sharing resource are not properly synchronized. Because the races can cause the program to behave in unexpected ways, detecting them is an important aspect of debugging and program verification. Many approaches have been used to detect race conditions, but there still is no effective(More)
Most servo control algorithm implementations have been realized using digital signal processors (DSPs) due to large amount of digital signal processing. Nowadays, parallel programmable logic devices, such as the field programmable gate array (FPGA), have become powerful hardware options, offering low cost, high execution speed, reconfigurability and(More)
Fault localization is an expensive technique in software debugging. Program dependence graphs are used for testing, debugging and maintenance applications in software engineering. Program dependence graphs (PDG) are used to build a probabilistic graphical model of program behavior. In this paper we proposed a model based fault localization technique using(More)
To obtain the high quality software, there is a use of Mutation testing to measure the quality of our test suite. Fault insertion based techniques have been used for measuring test adequacy and testability of programs. Mutants are generated by introducing the faults in the original program. Tests Cases are adequate if they detect all the mutants. This paper(More)
  • 1