
<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/themes/root/assets/xsl/rss.xsl"?>
<rss version="2.0" xmlns:opensearch="http://a9.com/-/spec/opensearch/1.1/" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/">
  <channel>
    <title>نتائج لـ "Software engineering/software/program verification"</title>
    <description>يعرض 1 - 1 نتائج من 1</description>
    <generator>Laminas_Feed_Writer 2 (https://getlaminas.org)</generator>
    <link>https://asren-aggregator.asren.net/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;lookfor=%22Software+engineering%2Fsoftware%2Fprogram+verification%22&amp;type=Subject&amp;lng=ar</link>
    <opensearch:totalResults>1</opensearch:totalResults>
    <opensearch:startIndex>0</opensearch:startIndex>
    <opensearch:itemsPerPage>50</opensearch:itemsPerPage>
    <opensearch:Query role="request" searchTerms="%22Software%20engineering%2Fsoftware%2Fprogram%20verification%22" startIndex="0"/>
    <atom:link rel="first" type="application/rss+xml" title="اذهب إلى الصفحة الأولى" href="https://asren-aggregator.asren.net/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22Software+engineering%2Fsoftware%2Fprogram+verification%22&amp;type=Subject&amp;lng=ar"/>
    <atom:link rel="last" type="application/rss+xml" title="اذهب إلى الصفحة الأخيرة" href="https://asren-aggregator.asren.net/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22Software+engineering%2Fsoftware%2Fprogram+verification%22&amp;type=Subject&amp;lng=ar"/>
    <atom:link rel="self" type="application/rss+xml" href="https://asren-aggregator.asren.net/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22Software+engineering%2Fsoftware%2Fprogram+verification%22&amp;type=Subject&amp;lng=ar"/>
    <item>
      <title>Empirical Evaluation of Extended Finite State Machine Test Suites</title>
      <pubDate>Sat, 01 Jan 2022 03:34:38 -0500</pubDate>
      <link>https://asren-aggregator.asren.net/Record/aus_8a12a4f5cc1e5a4dfffc3d6f56abb9eb</link>
      <guid>https://asren-aggregator.asren.net/Record/aus_8a12a4f5cc1e5a4dfffc3d6f56abb9eb</guid>
      <author>Hasan, Faiz Mohammed</author>
      <dc:format>doctoralThesis</dc:format>
      <dc:date>2022</dc:date>
      <dc:creator>Hasan, Faiz Mohammed</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
  </channel>
</rss>
