Bojan Cukic, Robert C. Byrd Professor of Computer Science and Electrical Engineering at West Virginia University, will speak at the next Computer Science seminar “In Pursuit of Software Faults: Status and Challenges,” from 12:45-1:45 pm on Thursday, March 27, 2014 at the Stuart Building, Room 111.
The techniques to achieve and guarantee high software reliability have been actively pursued goals of software engineering research for decades. Two rather distinct approaches emerged. In one, state space exploration tools search for the existence of states and their combinations that, if reached during program execution, would violate some of the required properties. The other approach exploits statistical testing for demonstration of the absence of faults. Both approaches make verification and validation practice very costly. During the seminar, the techniques that improve the effectiveness of software verification will be discussed.