CEDA: Control-Flow Error Detection Using Assertions

@article{Vemu2011CEDACE,
  title={CEDA: Control-Flow Error Detection Using Assertions},
  author={Ramtilak Vemu and Jacob A. Abraham},
  journal={IEEE Transactions on Computers},
  year={2011},
  volume={60},
  pages={1233-1245}
}
This paper presents an efficient software technique, control-flow error detection through assertions (CEDA), for online detection of control-flow errors. Extra instructions are automatically embedded into the program at compile time to continuously update runtime signatures and to compare them against preassigned values. The novel method of computing runtime signatures results in a huge reduction in the performance overhead, as well as the ability to deal with complex programs and the… CONTINUE READING
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 43 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 28 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 22 references

Similar Papers

Loading similar papers…