• 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.
    Next Generation Java Testing: TestNG and Advanced Concepts. Addison-Wesley Professional, 2007.
  • http://testng.org/.
  • http://www.dbunit.org.
  • http://www.httpunit.org.
  • http://jbehave.org/.
  • http://nspecify.sourceforge.net/.
  • http://mockito.org/.
  • http://easymock.org/.
  • J.Tretmans, E.Brinksma. TorX: Automated Model-Based Testing. Proc. of 1-st European Conference on Model-Driven Software Engineering, Nuremberg, Germany. pp. 31-43, December 2003.
  • http://fmt.cs.utwente.nl/tools/torx/introduction.html.
  • J.-C.Fernandez, C.Jard, T.Jeron, L.Nedelka, C.Viho. Using On-the-Fly Verification Techniques for the Generation of Test Suites. Proc of 8-th International Conference on Computer-Aided Verification, LNCS1102:348-359, Springer, 1996.
  • http://www.inrialpes.fr/vasy/cadp/man/tgv.html.
  • F.Ambert, F.Bouquet, S.Chemin, S.Guenaud, B.Legeard, F.Peureux, N.Vacelet, M.Utting. Z-TT: A tool-set for test generation from Z and B using constraint logic programming, Proc. of Formal Approaches to Testing of Software, pp.105-119, Brno, Czech Republic, August 2002.
  • A.Hartman, K.Nagin. TCBeans Software Test Toolkit. Proc. of 12-th International Software Quality Week, May 1999.
  • E.Farchi, A.Hartman, S.S.Pinter. Using a model-based test generator to test for standard conformance. IBM Systems Journal, 41(1):89-110, 2002.
  • http://www.conformiq.com/qtronic.php.
  • http://www.smartesting.com/index.php/cms/en/explore/products.
  • I.Bourdonov, A.Kossatchev, V.Kuliamin, A.Petrenko. UniTesK Test Suite Architecture. Proc. of FME2002. LNCS 2391:77-88, Springer, 2002.
  • .., .., .., ... UniTesK . , 29(6):25-43, 2003.
  • http://www.unitesk.ru.
  • C.Campbell, W.Grieskamp, L.Nachmanson, W.Schulte, N.Tillmann, M.Veanes. Testing Concurrent Object-Oriented Systems with Spec Explorer Proc. of Formal Methods Europe, LNCS582:542-547, Springer, 2005.
  • http://research.microsoft.com/en-us/projects/SpecExplorer/.
  • http://www.cs.waikato.ac.nz/~marku/mbt/modeljunit/.
  • J.Jacky, M.Veanes, C.Campbell, W.Schulte.


    Model- based Software Testing and Analysis with C#. Cambridge University Press, 2007.
  • http://nmodel.codeplex.com/.
  • http://mbt.tigris.org/.
  • M.Barnett, M.Fahndrich, P.deHalleux, F.Logozzo, N.Tillmann. Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract. Proc. of ICSE2009, Vancouver, Canada, May 2009.
  • http://research.microsoft.com/en-us/projects/contracts/.
  • C.Kaner, J.Bach, B.Pettichord. Lessons Learned in Software Testing. John Wiley & Sons, 2002.
  • ... . , 35(4):41-55, 2009.
  • V.Kuliamin, A.Petrenko, N.Pakoulin. Practical Approach to Specification and Conformance Testing of Distributed Network Applications. Proc. of ISAS'2005, Berlin, Germany. M.Malek, E.Nett, N.Suri , eds. Service Availability. LNCS 3694, pp.68-83, Springer-Verlag, 2005.
  • A.Grinevich, A.Khoroshilov, V.Kuliamin, D.Markovtsev, A.Petrenko, V.Rubanov. Formal Methods in Industrial Software Standards Enforcement. Proc. of PSI'2006, Novosibirsk, Russia, 2006.
  • M.Fowler. Inversion of Control Containers and the Dependency Injection Pattern. 2004. http://www.martinfowler.com/articles/injection.html.
  • R.Johnson, J.Hoeller, A.Arendsen, T.Risberg, C.Sampaleanu. Professional Java Development with the Spring Framework. Wrox, 2005.
  • http://www.springsource.org.