Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mechanical inference of invariants for FOR-loops;Journal of Symbolic Computation;2010-11
2. A theory of fault-based testing;IEEE Transactions on Software Engineering;1990
3. BIBLIOGRAPHY;Readings in Artificial Intelligence and Software Engineering;1986
4. Generalizing specifications for uniformly implemented loops;ACM Transactions on Programming Languages and Systems;1985-01-02
5. A Heuristic for Deriving Loop Functions;IEEE Transactions on Software Engineering;1984-05