Programs

• CIT-BACH: Combinatorial Interaction Testing tool with a BDD-Assisted Constraint Handler
• Bool2CNF: Tseytin transformation tool
• KTK: A tool for constructing pair-wise covering arrays
• Bounded model checker for Petri nets

For other miscellaneous programs, visit my github page.