What people are saying - Write a review
We haven't found any reviews in the usual places.
Static Analysis Tools and Techniques
Dynamic Analysis Tools and Techniques
5 other sections not shown
Other editions - View all
abstract data structures algorithms analyzed array assertions assignment automated tools Automatic branch branch predicates bufpos COBOL complete Conf construct contains cost data structures debugging defined described detected digraph directed graph DISSECT domain effect elements evaluation systems example Figure flow formal Fortran gram graph Howden IEEE IEEE Trans IEEE Transactions input data inspection interface involves iteration logical loop maintenance ment methodology methods metrics module node operation output percent performed phase possible problem Proc program paths program testing programming language proof proving Reliable Software requirements segment sequence set of test software bugs software development Software Engineering software quality Software Reliability software system software test specifications statement static analysis structured programming SUB6 subprogram subroutine symbolic evaluation symbolic execution symbolic testing Table techniques test predicates test procedure testcase testing process testing strategy theorem tion trace TRANSACTIONS ON SOFTWARE validation values variable verification