Papers
  • Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti.
    Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs.[.pdf]
    5th International Conference on Tests & Proofs.
    (TAP 2011), Page: 15-32, Zurich, Switzerland, July 2011.

    • Technical Reports


  • This is a Extended version of the above paper.
    Incorporating Coverage Criteria in Bounded Exhaustive Test Generation of Structural Inputs.[download .pdf]