1. C.Szyperski. Component Software: Beyond Object-Oriented Programming. 2-nd ed. Addison-Wesley Professional, Boston, 2002.
  2. G.T.Heineman, W.T.Councill. Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley Professional, 2001.
  3. D.Parnas. Information Distribution Aspects of Design Methodology. Proc. of 1971 IFIP Congress, North Holland, 1971.
  4. G.Tassey, ed. The Economic Impacts of Inadequate Infrastructure for Software Testing. NIST Report, 2002.
  5. P.Hamill. Unit Test Frameworks. Tools for High-Quality Software Development. OReilly Media, 2004.
  6. http://www.junit.org.
  7. M.Broy, B.Jonsson, J.-P.Katoen, M.Leucker, A.Pretschner (Eds.) Model-Based Testing of Reactive Systems. Advanced Lectures. LNCS3472, Springer-Verlag, 2005.
  8. M.Utting, B.Legeard. Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, 2007.
  9. D.Peters, D.Parnas. Using Test Oracles Generated from Program Documentation. IEEE Trans. on Software Engineering, 24(3):161173, 1998.
  10. D.Hoffman. Analysis of a Taxonomy for Test Oracles. Quality Week, 1998.
  11. L.Baresi, M.Young. Test Oracles. Tech. Report CIS-TR-01-02. http://www.cs.uoregon.edu/~michal/pubs/oracles.html.
  12. D.Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June1987.
  13. D.Drusinsky. Modeling and verification using UML statecharts. Elsevier, 2006
  14. R.Alur, D.L.Dill. A Theory of Timed Automata. Journal of Theoretical Computer Science, 126(2):183-235, 1994.
  15. J.Springintveld, F.Vaandrager, P.R.D'Argenio. Testing Timed Automata. Theoretical Computer Science, 254(1-2):225-257, March2001.
  16. H.Zhu, P.Hall, J.May. Software Unit Test Coverage and Adequacy. ACM Computing Surveys, 29(4):366-427, December1997.
  17. .., .., .., .., ... . 13, , , 2006.
  18. K.Beck. Kent Beck's Guide to Better Smalltalk: A Sorted Collection. Cambridge University Press, 1998.
  19. http://sunit.sourceforge.net/.
  20. C.Beust, H.Suleiman.