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