In the following two sentences, there is
-ing after while:
While exploring the paths of program, we established a natural partitioning of paths on-the-fly based on program dependencies - such that only one path in a partition is explored.
Any method which covers various possible behaviours of a given program while avoiding path enumeration, can be extremely useful for software testing.
Can someone help to elaborate why the use of
-ing after while is correct (in term of grammar rule)?