Algorithmic program debugging door Shapiro, Ehud Y.

Click here to access thru EZproxy
Click here to access

Mathematical theory of computation Zohar Manna. door Manna, Zohar

Mathematical theory of computation door 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. door Hopkins, Tim

Assume-guarantee testing. door Blundell, Colin

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

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

Low overhead program monitoring and profiling. door Kumar, Naveen

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