Font Size: a A A
Keyword [program invariants]
Result: 1 - 11 | Page: 1 of 1
1. Analysis Of Modules Compatibility Before Upgrading Using Dynamic And Static Tools
2. Dynamically Detecting Function Likely Program Invariants Based On Relational Database Theory
3. Research On Method Of Detecting Unary Polynomial Inequality Likely Invariant
4. Methods Of Exponential Function Program Invariants Mining Based On GEP
5. Reliability Computing Of Concurrent Software Based On Program Invariants
6. A Method Of Software Forewarning Based On Control Flow Information And Program Invariants
7. Reliabilitv Computing Of Software Based On Program Invariants
8. Detecting Bugs Of Concurrent Programs With Program Invariants
9. Research On Regression Test Case Suite Reduction Based On Invariants
10. Research On Software Fault Localization Method By Analyzing Failure Propagation
11. Path-aware analysis of program invariants
  <<First  <Prev  Next>  Last>>  Jump to