Algorithmic program debugging od Shapiro, Ehud Y.

Click here to access thru EZproxy
Click here to access

Mathematical theory of computation Zohar Manna. od Manna, Zohar

Mathematical theory of computation od Manna, Zohar

Debugging techniques in large systems

A comment on the presentation and testing of CALGO codes and a remark on algorithm 639 To integrate some infinite oscillating tails. od Hopkins, Tim

Assume-guarantee testing. od Blundell, Colin

Review of "System Testing with an Attitude An Approach That Nurtures Front-Loaded (Designed and built in. . . not tested in!) Software Quality. od Saur, Joe

An empirical framework for comparing effectiveness of testing and property-based formal analysis. od Bradbury, Jeremy S.

Low overhead program monitoring and profiling. od Kumar, Naveen

A concept analysis inspired greedy algorithm for test suite minimization. od Tallam, Sriraman