@inproceedings{CK02b, author = "H. Chockler and O. Kupferman", title = "$\omega$-regular languages are testable with a constant number of queries", booktitle = "Proceedings of 6th Int. Workshop on Randomization and Approximation Techniques", editor = "J.P. Rolim and S. Vadhan", series = lncs, volume = "2483", pages = "26--38", publisher = springer, year = "2002" }