<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "https://jats.nlm.nih.gov/publishing/1.3/JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xml:lang="en">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>Computing, Telecommunication and Control</journal-title>
        <trans-title-group xml:lang="ru">
          <trans-title>Информатика, телекоммуникации и управление</trans-title>
        </trans-title-group>
      </journal-title-group>
      <issn pub-type="epub">2687-0517</issn>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="publisher-id">23</article-id>
      <title-group>
        <article-title>Static approach for debugging of test scenarious generated with usage of heuristics.</article-title>
        <trans-title-group xml:lang="ru">
          <trans-title>Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик</trans-title>
        </trans-title-group>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name>
            <surname>Nikiforov</surname>
            <given-names>Igor</given-names>
          </name>
          <email>igor.nikiforov@gmail.com</email>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Petrov</surname>
            <given-names>Aleksey</given-names>
          </name>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Kotlyarov</surname>
            <given-names>Vsevolod</given-names>
          </name>
          <xref ref-type="aff" rid="aff1"/>
          <email>vpk@spbstu.ru</email>
        </contrib>
      </contrib-group>
      <aff id="aff1">Peter the Great St.Petersburg Polytechnic University</aff>
      <pub-date publication-format="electronic" date-type="pub" iso-8601-date="2012-08-10">
        <day>10</day>
        <month>08</month>
        <year>2012</year>
      </pub-date>
      <issue>4</issue>
      <issue-id pub-id-type="publisher-id">152</issue-id>
      <fpage>114</fpage>
      <lpage>119</lpage>
      <abstract xml:lang="en">
        <p>The paper presents a debugging approach for automatic generated tests from high level Use Case Map-specification with usage of heuristics. The incremental algorithm of bugs finding and fixing in generated tests as well as in the model is described. Usage of the algorithm is presented on UCM project with two threads.</p>
      </abstract>
      <kwd-group xml:lang="en">
        <kwd>automatization</kwd>
        <kwd>tests</kwd>
        <kwd>debug</kwd>
        <kwd>UCM</kwd>
      </kwd-group>
    </article-meta>
  </front>
</article>
