header logo

Fastest: test case generation from Z specifications

Prof. Maximiliano Cristiá, Universidad Nacional de Rosario (Argentina)

30.03.2012,   14:00,   E.2.69

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 [...]