Skip to topic | Skip to bottom


Home

Main
Main.Staccator1.1 - 09 Oct 2008 - 14:51 - RuiAbreu

Start of topic | Skip to actions

Staccato

Staccato is a statistics-directed algorithm to compute the minimal hitting set.

More information on the algorithm will be posted soon.

Team

Contributors:

  • Rui Abreu (lead developer)
  • Peter Zoeteweij
  • Arjan J.C. van Gemund

Sponsors:

Available Downloads:

Staccato will be available for download soon

Contact Information:

If you have comments or questions you can contact Rui Abreu (RuiAbreu)


You are here: Main > Staccato

to top

Copyright © 2003-2017, Software Engineering Research Group, Delft University of Technology, The Netherlands