- 3


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.