UniTESK is a technology of software testing based on formal specifications. Specifications are written using specialized extensions of traditional programming languages. Our advanced mathematical algorithms enable automated generation of test sequences from specifications, that ensure reliable testing of system behavior with required coverage. We developed specification extensions for C, C++, C#, and Java programming languages, and tools that support UniTESK technology for the mentioned languages. Besides, we provide a number of services in technology deployment, users training and user support.

References in zbMATH (referenced in 21 articles )

Showing results 1 to 20 of 21.
Sorted by year (citations)

1 2 next

  1. Kamkin, A. S.: Projecting transition systems: overcoming state explosion in concurrent system verification (2015)
  2. Kulyamin, V.; Petrenko, A.: Evolution of the unitesk test development technology (2014) ioport
  3. Kostychev, E. A.; Omel’chenko, V. A.; Zelenov, S. V.: Targeted data generation for application testing on databases (2012) ioport
  4. Pakulin, N. V.; Tugaenko, A. N.; Shnitman, V. Z.: Model-based testing of Internet e-mail protocols (2012) ioport
  5. Ponomarenko, A.; Rubanov, V.: Backward compatibility of software interfaces: steps towards automatic verification (2012) ioport
  6. Nikeshin, A. V.; Pakulin, N. V.; Shnitman, V. Z.: Development of a test suite for the verification of implementations of the IPsec v2 security protocol (2011) ioport
  7. Zimmerman, Daniel M.; Nagmoti, Rinkesh: JMLUnit: the next generation (2011)
  8. Kuliamin, V. V.: Component architecture of model-based testing environment (2010) ioport
  9. Bourdonov, I. B.; Kossatchev, A. S.: Complete open-state testing of limitedly nondeterministic systems (2009)
  10. Groshev, S. G.: Bug localization by constructing reduced traces (2009)
  11. Kuliamin, V. V.: Integration of verification methods for program systems (2009)
  12. Mutilin, V. S.: Multithreaded testing of program interfaces (2009)
  13. Gomanyuk, S. V.: An approach to creating development environments for a wide class of programming languages (2008)
  14. Zybin, R. S.; Kuliamin, V. V.; Ponomarenko, A. V.; Rubanov, V. V.; Chernov, E. S.: Automation of broad sanity test generation (2008)
  15. Bourdonov, I. B.; Kossatchev, A. S.; Kuliamin, V. V.: Formalization of test experiments (2007)
  16. Engel, Christian; Hähnle, Reiner: Generating unit tests from formal proofs (2007)
  17. Ivannikov, V. P.; Kamkin, A. S.; Kossatchev, A. S.; Kuliamin, V. V.; Petrenko, A. K.: The use of contract specifications for representing requirements and for functional testing of hardware models (2007)
  18. Pakulin, N. V.; Khoroshilov, A. V.: Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols (2007)
  19. Blass, Andreas; Gurevich, Yuri; Nachmanson, Lev; Veanes, Margus: Play to test (2006)
  20. Kuliamin, V. V.; Petrenko, A. K.; Kossatchev, A. S.; Burdonov, I. B.: The uniTesK approach to designing test suites (2003) ioport

1 2 next