Algorithmic program debugging gan Shapiro, Ehud Y.

Click here to access thru EZproxy
Click here to access

Mathematical theory of computation Zohar Manna. gan Manna, Zohar

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

Assume-guarantee testing. gan Blundell, Colin

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

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

Low overhead program monitoring and profiling. gan Kumar, Naveen

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