CS home page

Software Testing Course:

• Introduction to modern testing
• Coverage
• GCT a coverage tool
• Requirment check list
• Reliability
• Specification
• Risks and Bugs
• Alternative Bugs Lecture
• Metrics
• Test-Plan
• Inspection
• oo_testing1
• oo_testing2
• Automatic Test Generation
• Random Test Generation
• Radview Net Testing Tools
• Tescom Testing Tool
• Mercury Testing Tool
• Nitpick a formal verification tool
• Overview of test tools

---

Instructor Shmuel Ur

Computer Science Department
TECHNION - Israel Institute of Technology
Haifa, ISRAEL 32000
Work at IBM
Phones: Ofc: +972-4-829-6250 Fax: +972-4-8296115
Res: +972-4-9902435
Email: sur@vnet.ibm.com