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