Recent advances in sequential test generation | IEEE Conference Publication | IEEE Xplore