Automated derivation of tests from specifications

Author(s):  
Todor Stoitsev ◽  
Steven Straw ◽  
Christoph Legat ◽  
Eduardo Gomez Gomez
Keyword(s):  
1997 ◽  
Vol 5 (4) ◽  
pp. 271-301 ◽  
Author(s):  
S. Castano ◽  
S. De Capitani di Vimercati ◽  
M.G. Fugini
Keyword(s):  

1986 ◽  
Vol 13 (8) ◽  
pp. 459-465 ◽  
Author(s):  
T. Washio ◽  
M. Kitamura ◽  
K. Kotajima ◽  
K. Sugiyama

2016 ◽  
Vol 85 (3) ◽  
pp. 1461-1488 ◽  
Author(s):  
Darya Golovko ◽  
Sigrid Roessner ◽  
Robert Behling ◽  
Birgit Kleinschmit

Sign in / Sign up

Export Citation Format

Share Document