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 [...]
Fastest: test case generation from Z specifications
Prof. Maximiliano Cristiá, Universidad Nacional de Rosario (Argentina)
30.03.2012, 14:00, E.2.69
Annette Lippitsch, März 3rd 2012
RSS abonnieren
Newsletter abonnieren
Folge uns auf Twitter
Google+
XING-Gruppe
LinkedIn-Gruppe