Code Coverage for Sequenced Documents