Font Size:
a
A
A
Keyword [program invariant]
Result: 1 - 5 | Page: 1 of 1
1.
Dynamical Detecting Technique Of Simple Non-functional Dependence Program Invariant Based On Database
2.
Analysing And Detecting Of Logical Expression Likely Invariant
3.
Automatic Generation And Reduction Of Random Test Case
4.
Research On Invariant Directed Random Test Case Generation
5.
Research And Implementation Of Embedded Program Invariant For Static Testing Based On Abstract Interpretation
<<First
<Prev Next>
Last>>
Jump to
