FReT is a common lisp package for testing common lisp software. Version 0.3 is at present at least as functional as any such software publically available, but still far from complete.
iValidator is a framework for XML-based test automation of complex test scenarios. iValidator is completely written in Java. The framework is available under an open source licence.
For those of you who've got into it you'll know that test driven development is great. It gives you the confidence to change code safe in the knowledge that if something breaks you'll know about it. Except for those bits you don't know how to test. Until now XML has been one of them. Oh sure you can use "<stuff></stuff>".equals("<stuff></stuff>"); but is that really gonna work when some joker decides to output a <stuff/>? -- damned right it's not ;-)
P. Abrahamsson, A. Hanhineva, and J. Jäälinoja. Business Agility and Information Technology Diffusion, volume 180 of IFIP International Federation for Information Processing, Springer Boston, 10.1007/0-387-25590-7_14.(2005)
B. Ahmed, and K. Zamli. volume 0 of Proceedings of the Electrical and Electronic Postgraduate Colloquium EEPC2009, Jawi, Malaysia, USM, University Sains Malaysia, (November 2009)
T. Alspaugh, D. Richardson, and T. Standish. 4th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'05), page 1--5. St. Louis, MI, (May 2005)
P. Ammann, and J. Offutt. Compass'94: 9th Annual Conference on Computer Assurance, page 69--80. Gaithersburg, MD, National Institute of Standards and Technology, (1994)
S. Anand, P. Godefroid, and N. Tillmann. Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (2008)
T. Arts, J. Hughes, J. Johansson, and U. Wiger. ERLANG '06: Proceedings of the 2006 ACM SIGPLAN
workshop on Erlang, page 2--10. New York, NY, USA, ACM, (2006)
P. Awasthi, M. Jha, M. Molinaro, and S. Raskhodnikova. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, volume 7408 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2012)
A. Ayerbe, and I. Vazquez. Computer Software and Applications Conference, 1998. COMPSAC '98. Proceedings. The Twenty-Second Annual International, (August 1998)
M. Balcer, W. Hasling, and T. Ostrand. Symposium on Testing, Analysis, and Verification, page 210-218. (1989)MR: Formalismen zu der Category-Partition-Methode mittels TSL.