Establishing structural testing criteria for Java bytecode

  title={Establishing structural testing criteria for Java bytecode},
  author={Auri Marcelo Rizzo Vincenzi and M{\'a}rcio Eduardo Delamaro and Jos{\'e} Carlos Maldonado and W. Eric Wong},
  journal={Softw., Pract. Exper.},
This paper describes intra-method control-flow and data-flow testing criteria for the Java bytecode language. Six testing criteria are considered for the generation of testing requirements: four control-flow and two data-flow based. The main reason to work at a lower level is that, even when there is no source code, structural testing requirements can still be derived and used to assess the quality of a given test set. It can be used, for instance, to perform structural testing on third-party… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS


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


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

JaBUTi: A coverage analysis tool for Java programs

  • AMR Vincenzi, WE Wong, ME Delamaro, JC. Maldonado
  • Proceedings of the 17th Brazilian Symposium on…
  • 2003
Highly Influential
20 Excerpts

Potential-Uses Criteria: A contribution to the structural testing of software

  • JC Maldonado
  • Doctoral Dissertation,
  • 1991
Highly Influential
4 Excerpts

Data-flow testing of programs with pointers and records: Implementation, effectiveness, and cost

  • ML Chaim, JC Maldonado, M Jino, P. Vilela
  • Proceedings of the International Conference on…
  • 2002
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…