Study of Software Model Checking Techniques

Provided by: International Journal of Advanced Research in Computer Science and Software Engineering (IJARCSSE)
Topic: Software
Format: PDF
For improving software quality the standard method is testing, conventional testing methods often fail to detect faults. Concolic testing attempts to remedy this by automatically generating test cases to explore execution paths in a program under test, helping testers achieve greater coverage of program behavior in a more automated fashion. Often, programmers spend more time fixing bugs in existing code than they do writing new one: it is estimated that more than half of the software-development costs of a typical project are spent on identifying and fixing defects.

Find By Topic