1. Acharya, S., Franklin, M., and Zdonik, S. (1997). Balancing push and pull for data broadcast. In SIGMOD ’97: ACM SIGMOD International Conference on Management of Data, pages 183–194. ACM Press. (Cited on page 103.)
2. Alager, S. and Venkatsean, S. (1993). Hierarchy in testing distributed programs.In Proceedings of the 1st International Workshop on Automated and AlgorithmicDebugging (AADEBUG’93), pages 101–116. Springer-Verlag. (Cited on pages 17,86, and 87.)
3. Allaire, J. (2002). Macromedia Flash MX-A next-generation rich client. Macromedia white paper. http://www.adobe.com/devnet/flash/whitepapers/richclient.pdf. (Cited on page 5.)
4. Ammar, M., Almeroth, K., Clark, R., and Fei, Z. (1998). Multicast delivery of web pages or how to make web servers pushy. Proceedings of the Workshop on Internet Server Performance. (Cited on page 103.)
5. Andrews, A., Offutt, J., and Alexander, R. (July 2005). Testing web applications by modeling with FSMs. Software and Systems Modeling, 4(3):326–345.(Cited on pages 16, 18, 126, and 131.)