| A debugging methodology by Larry R. Fisher - 2002 - 208 pages |
| A further note on Hennessy's "symbolic debugging of optimized code" by Max Copperman, Charles E. McDowell, University of California, Santa Cruz. Computer Research Laboratory - 1992 - 9 pages |
| A programming logic by Robert L. Constable, Michael J. O'Donnell - 1978 - 389 pages |
| A set of debugging and monitoring facilities to improve the diagnostic capabilities of a compiler by Elizabeth Fong - 1973 - 20 pages |
| A set of debugging and monitoring facilities to improve the diagnostic capabilities of a compiler by Elizabeth Fong - 1973 - 20 pages |
| Automatic verification of programs with complex data structure by Norihisa Suzuki - 1976 - 508 pages |
| Computer aided verification by David L. Dill - 1994 - 480 pages |
| Debugger visualizations for shared-memory multiprocessors by Cherri M. Pancake, Paula Sue Utter - 1991 - 18 pages |
| Debugging the communication behavior of distributed programs in a message-based system by Michael Scott Kenniston - 1986 - 306 pages |
| General correctness by Dean Jacobs - 1985 - 176 pages |
| How to debug your personal computer by Robert C. Bruce, Jim Huffman - 1980 - 157 pages |
| Introduction to programming and debugging in MTS. by Kalle Nemvalts - 1986 - 203 pages |
| MacsBug reference and debugging guide by Apple Computer, Inc - 1990 - 429 pages |
| Management and measurement of software quality by Mike Kelly - 1993 - 214 pages |
| Managing quality systems - 1994 - 1740 pages |
| Producing an accurate call-stack trace in the occasional absence of frame pointers by Max Copperman, University of California, Santa Cruz. Computer Research Laboratory - 1992 - 16 pages |
| Quality assurance for software important to safety by International Atomic Energy Agency - 2000 - 161 pages |
| Reversible execution as a diagnostic tool by Marvin Zelkowitz - 1971 - 304 pages |
| Software inspection by Tom Gilb, Dorothy Graham, Susannah Finzi - 1993 - 471 pages |
| Source language debugging tools by Edwin H. Satterthwaite - 1975 - 676 pages |
| Source language debugging tools by Edwin H. Satterthwaite - 1975 - 676 pages |
| Supporting users and troubleshooting desktop applications on a Microsoft XP operating system by Kenneth C. Laudon - 2005 - 448 pages |
| The network troubleshooting handbook by Ed Taylor - 1999 - 909 pages |
| Windows 95 registry troubleshooting by Rob Tidrow - 1996 - 321 pages |
| XS - XILINX 2000/3000 FPGA simulator by Jason Zien, University of California, Santa Cruz. Computer Research Laboratory - 1991 - 39 pages |