UniTESK

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 13 articles )

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

  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)
  3. Pakulin, N.V.; Tugaenko, A.N.; Shnitman, V.Z.: Model-based testing of Internet e-mail protocols (2012)
  4. Ponomarenko, A.; Rubanov, V.: Backward compatibility of software interfaces: steps towards automatic verification (2012)
  5. Kuliamin, V.V.: Component architecture of model-based testing environment (2010)
  6. Bourdonov, I.B.; Kossatchev, A.S.: Complete open-state testing of limitedly nondeterministic systems (2009)
  7. Kuliamin, V.V.: Integration of verification methods for program systems (2009)
  8. Gomanyuk, S.V.: An approach to creating development environments for a wide class of programming languages (2008)
  9. Zybin, R.S.; Kuliamin, V.V.; Ponomarenko, A.V.; Rubanov, V.V.; Chernov, E.S.: Automation of broad sanity test generation (2008)
  10. Engel, Christian; Hähnle, Reiner: Generating unit tests from formal proofs (2007)
  11. 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)
  12. Pakulin, N.V.; Khoroshilov, A.V.: Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols (2007)
  13. Kuliamin, Victor V.: Multi-paradigm models as source for automated test construction. (2005)