ParaSoft Technical Papers Archive

Development Process:

• Debugging the Development Process:
  A How To Approach For Developers and Managers (Tech Paper# PS-007-DP1)
• It's a Bug-free World After All (Tech Paper# PS-9710-DV3)

Embedded Development

• Strategies for Preventing and Detecting Errors in Embedded Software Development (Tech Paper# PS-009-ES1)

Programming Techniques:

• C++ Defensive Programming:
  Firewalls & Debugging Information (Tech Paper# PS-9702-PT1)
• The Evolution of Software Debugging (Tech Paper# PS-9710-PT2)

Jtest:

• Automatic Java Software and Component Testing:
  Using Jtest to Automate Unit Testing and Coding Standard Enforcement (Tech Paper#979-JTE1)
• Using Design by Contract to Automate Java Software and Component Testing (Tech Paper# PS-997-DBC1)

Jcontract:

• Using Design by Contract to Automate Java Software and Component Testing (Tech Paper# PS-997-DBC1)

WebKing:

• Improving the Quality and Efficiency of Dynamic Web Site Testing (Tech Paper# PS-001-WK2)

C++Test:

• Dramatically Improving C and C++ Application Quality With Unit Testing (Tech Paper# PS-200-CT1)

Insure++:

• Insure++: An Automatic Runtime Error Detection Tool (Tech Paper# PS-961-INS1)
• Mutation Testing: A New Approach to Automatic Error-Detection (Tech Paper# PS-982-INS3)
• Threads++: A New Solution to the Multi-threading Dilemma (Tech Paper# PS-982-INS6)

TCA:

• Maximizing Test-suite Coverage: The TCA Solution (Tech Paper# PS-982-INS3)

Inuse:

• Avoiding Dynamic Memory Problems: A New Solution for Developers (Tech Paper# PS-982-INS4)

CodeWizard:

• Programming Effectively in C++ (Tech Paper# PS-977-CW1)
• Customizing Coding Standards With RuleWizard (Tech Paper# PS-997-RW1)