Our tool categorization database contains the following tools. For some of them, especially the academic and less well-known tools, we have made fact sheets in PDF. In many cases the website of the tool supplier contains sustainable and extensive information. For more information please contact us.

Model Analysis Tools
Static Testing Tools
Dynamic Testing Tools
Test Support Tools

• Petri net analysis tools
• CPN Tools
• INA
• Yasper
• Workflow analysis tools
  • PROTOS
  • Woflan
• Architecture analysis tools
  • SAAT
  • MetricView
• Model metrics generation tools
  • SAAT
• Rule checking tools
  • SAAT
• Data analysis tools
  • DB-MAIN
• Theorem Provers
  • PVS
  • Coq
  • HeerHugo
  • Isabelle
• Model Checkers
  • SPIN
  • FDR
  • SMV
  • UPPAAL
  • mCRL
  • CADP
  • IF
• Test Case Generators
  • TorX
  • Gast

• Structure analysis tools
  • Telelogic TAU/Logiscope
  • Cleanscape LintPlus
  • Gemini
  • IntelliJ IDEA
  • SA4J
• Syntax analysis tools
  • Telelogic TAU/Logiscope
  • Enerjy Code Analyzer
  • IPL AdaTEST 95
  • Cleanscape LintPlus
  • IntelliJ IDEA
  • FindBugs
  • QA C++
  • QA C
  • QA J
  • QA MISRA
• Behaviour analysis tools
  • PolySpace
• Assertion checking tools
  • ESC/Java
  • Krakatoa
• Metrics generation tools
  • Telelogic TAU/Logiscope
  • IPL AdaTEST 95
  • IPL Cantata++
• Refactoring tools
  • ViPReSS
  • IntelliJ IDEA
  • SPAG

• Load tools
  • Mercury LoadRunner
  • Empirix e-Load
  • PushToTest TestMaker
  • QuotiumPRO
  • Inforsolution LoadDriver
  • Segue SilkPerformer
  • Mercury Tuning
  • Compuware QALoad
  • Compuware HiperStation
  • Segue SilkCentral Performance Manager
  • The Grinder
• Monitoring tools
  • Borland Optimizeit Profiler for Java
  • Mercury LoadRunner
  • Borland Optimizeit Thread Debugger
  • Enerjy Performance Profiler
  • Enerjy Memory Profiler
  • Enerjy Thread Profiler
  • IPL AdaTEST 95
  • Empirix e-Load
  • Segue SilkCentral Performance Manager
  • Mercury Tuning
  • Mercury Diagnostics and Monitoring
  • Compuware QALoad
  • PushToTest TestMaker
  • QuotiumPRO
  • Inforsolution LoadDriver
  • Segue SilkPerformer
• Debuggers
  • Borland Optimizeit Thread Debugger
• Test coverage tools
  • Telelogic TAU/Logiscope
  • Borland Optimizeit Code Coverage
  • IPL AdaTEST 95
  • IPL Cantata++
• Driver/stub tools
  • IPL Cantata++
• Output comparators
  • Mercury WinRunner
  • Mercury QuickTest Professional
  • Obrac Finance BV McFocus
  • Compuware QARun
  • Compuware TestPartner
  • Compuware File-AID/CS
  • Compuware HiperStation
• Capture/playback tools
  • Mercury WinRunner
  • Mercury QuickTest Professional
  • Segue SilkTest
  • IPL AdaTEST 95
  • IPL Cantata++
  • Empirix e-Tester
  • IBM Rational Functional Tester for Java and Web
  • Compuware QARun
  • Compuware TestPartner
  • Compuware HiperStation
• Database manipulation tools
  • Compuware File-AID/CS
  • Segue SilkTest
• Web testing tools
  • eValid

• Defect management tools
  • Segue SilkCentral Test Manager
  • Segue SilkCentral Issue Manager
  • Mercury TestDirector
  • Empirix e-Manager
  • Compuware TrackRecord
  • Seapine TestTrack Pro
• Test design tools
  • Segue SilkCentral Test Manager
  • Mercury TestDirector
  • Empirix e-Manager
  • De Bruijn Project Support TestCaseGenerator
  • Satisfice Allpairs
• Planning tools
  • Segue SilkCentral Test Manager
  • Mercury TestDirector
  • Empirix e-Manager
  • De Bruijn Project Support Testlog
  • Mercury Global Management
• Requirements management tools
  • Segue SilkCentral Test Manager
  • Mercury TestDirector
  • Borland CaliberRM
  • Empirix e-Manager
  • Compuware Reconcile
  • Analyst Pro
  • IRqA
• Configuration management tools
  • Segue SilkCentral Test Manager
  • IBM Rational ClearCase (LT)