next up previous

Final Report of the COST-247 Action


TEST SEQUENCE GENERATION BASED ON STOCHASTICS PROGRAMMING

P. Benczur (1), Geza Nemeth (2), Katalin Tarnay (2)

(1) ELTE TKK
(2) KFKI-MSZKI
Budapest
Hungary

Abstract:

This presentation has been given during the COST-247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia, June 17--19, 1996).

COST-247 Working Group(s): 3


This Page was prepared by Mark Jorgensen.


Back to the VASY Home page