Old Web
English
Sign In
Acemap
>
Paper
>
Automated derivation of tests from specifications
Automated derivation of tests from specifications
2018
Todor Stoitsev
Steven Straw
Christoph Legat
Eduardo Gómez-Gómez
Keywords:
Discrete mathematics
Derivation
Computer science
Calculus
Correction
Source
Cite
Save
Machine Reading By IdeaReader
2
References
0
Citations
NaN
KQI
[]