Abstract:
Fastest is a tool that assist software engineers in generating test cases from Z specifications. It provides tool support for a method of model-based testing know as the Test Template Framework. The tool reads a Z specification written in LaTeX markup and waits for commands from the user. Users can apply testing tactics to partition the input space of Z operations thus creating testing trees. Later they can prune these trees to eliminate unsatisfiable test specifications. In a third step, a satisfiability algorithm can be run to find a test case for each leaf in a testing tree. Finally, it is possible to refine these test cases into programs to test the implementation of the Z specification. In this talk I will show how Fastest works on some toy examples and our current research efforts.
Bio:
Maximiliano Cristiá is professor of Software Engineering at Universidad Nacional de Rosario (Argentina) and head of the Software Engineering Group at CIFASIS (International Franco-Argentine Center for Information Sciences and Systems). His research interests include formal methods, particularly model-based testing, software architecture and tool development for the Software Engineer.
With the growing amount of images, videos, and music, the task to support users in exploring multimedia databases is of ever-increasing importance. That is why numerous content-based browsing approaches have been developed. They support users in searching and browsing for multimedia objects in an interactive and playful way. In terms of query performance, however, these browsing approaches are frequently limited to small-to-moderate size databases. The question of how to efficiently browse large-scale multimedia databases yet remains to be answered.
Kurzfassung:
Aus Anlass der 
