SOFTWARE TOOLS

	FORTE-Boolean: Fourier Analysis-Based Testing of Boolean Functions This web based tool has been developed by Tolga Ayav. It generates test suite for any given Boolean specification relying on Fourier analysis . The # number of inputs can be up to 16. Access FORTE-Boolean Tool
	TOUCH: Test Generator for Cause Effect Graphs TOUCH is a test case generation tool developed by Deniz Kavzak Ufuktepe. It takes CEGs as input in graphml format.
	VERTICALS: Verification and Testing of Safety Critical Software Verticals is a web-based tool developed by Bengisu Uzun. This project has been supported by the Neuroboscope project. Access VERTICALS Tool
	FORTE-FSM: Fourier-based Testing of Finite State Machines FORTE-FSM is a web-based tool under development by Ph.D. candidate Savaş Takan. Access FORTE-FSM Tool (Soon!)
	SPAN.0 : Spectral Analysis of Boolean Functions This web based tool analyses any given Boolean function. Developed by Tolga Ayav. The # number of inputs can be up to 16. Access SPAN.0 Tool
	Mutation-based Minimal Test Suite Generation for Boolean Specifications The tool has been developed by Tolga Ayav.