A combinatorial approach to building navigation graphs for dynamic web applications