based Software Testing and Analysis

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. de Halleux, F. Logozzo, N. Tillmann. Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract. Proc. of ICSE 2009, 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.


Ñîäåðæàíèå  Íàçàä  

---

---

---

---