1. ConTest SEGFAULT Arjun Bhasin Chakori Macherla Gunjan Raghav
Jaideep Singh
Vicky Sehrawat

2. Introduction
Advanced testing tool used to expose and eliminate concurrency-relates bugs
Developed and supported by the IBM’s Verification and Testing Technologies group in Hafia
Systematically and transparently schedules the execution of the program thread
Dramatically improves the quality of testing and reduces development expenses

3. Features Cause synchronization problems to appear in testing itself
Support traditional and advanced coverage model
Produces a lot of useful debugging information

4. Strengths Measure test coverage Aid in debugging Enable replay
Present deadlock information

5. Limitations
Pure Java application

6. Where to download?
ConTest is available as an IBM ODIS (On Demand Innovation Services) offering. 
ConTest for Java is also available for trial download from AlphaWorks. 

7. DEMO

8. References