1. AGEDIS Project. Automated Generation and Execution of Test Suites for Distributed Component-based Software. On-line at: http://www.agedis.de/index.shtml
2. The Argus-I project. University of California, Irvine. Information on-line at: http://www.ics.uci.edu/~mdias/research/ArgusI
3. Bernot, G., Gaudel, M.C., Marre, B.: Software Testing Based on Formal Specifications: A Theory and a Tool. Software Engineering Journal 6(6), 387–405 (1991)
4. Bertolino, A., Inverardi, P.: Architecture-based software testing. In: Proc. ISAW 1996 (October 1996)
5. Bertolino, A.: Knowledge Area Description of Software Testing. In: SWEBOK: The Guide to the Software Engineering Body of Knowledge, Joint IEEE-ACM Soft. Eng.