Loop unrolling: formal definition and application to testing

Li Huang, Bertrand Meyer, Reto Weber

Testing processes usually aim at high coverage, but loops severely limit coverage ambitions since the number of iterations is generally not predictable. Most testing teams address…