<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF
 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns="http://purl.org/rss/1.0/"
 xmlns:cc="http://web.resource.org/cc/"
 xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/"
 xmlns:dc="http://purl.org/dc/elements/1.1/"
 xmlns:syn="http://purl.org/rss/1.0/modules/syndication/"
 xmlns:content="http://purl.org/rss/1.0/modules/content/"
 xmlns:admin="http://webns.net/mvcb/"
>

<channel rdf:about="http://www.bibsonomy.org/author/Korel">
  <title>BibSonomy publications for /author/Korel</title>
  <link>http://www.bibsonomy.org/author/Korel</link>
  <description>BibSonomy RSS Feed for /author/Korel</description>

  <items>
    <rdf:Seq>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2cdc02e89092f6d7188a756a6f636695b/dblp"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/283b3365ffd51d3f8d6e74a461b0ee41d/dblp"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/210ecb63b6d1d3302d7e4ebfdfc984f6f/ist_spl"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/24d82d5fff972e1948ed65ee32a799a4a/dblp"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/27ca80e2406f1f8288af7f6f4a2dd8cf8/dblp"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2c51873853eafc8e966bb1e623d47ac0c/dblp"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/24fb4b1856c37b89dc53a0368d761802e/dblp"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/254ddda15802b08820d0f3a2ababb7137/dblp"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2d8c3505e776b1b764877762c06dd5294/dblp"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/28cd73f3094d31f2fba201814a4ce6dc7/dblp"/>
      </rdf:Seq>
  </items>
</channel>

<item rdf:about="http://www.bibsonomy.org/bibtex/2cdc02e89092f6d7188a756a6f636695b/dblp">
    <title>Application of system models in regression test suite prioritization.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/2cdc02e89092f6d7188a756a6f636695b/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2008-10-29T00:00:00+01:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/2cdc02e89092f6d7188a756a6f636695b/dblp">Application of system models in regression test suite prioritization.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Bogdan <a href="http://www.bibsonomy.org/author/Korel">Korel</a>         	     	 
        	  and George <a href="http://www.bibsonomy.org/author/Koutsogiannakis">Koutsogiannakis</a>         	     	 
        	  and Luay Ho <a href="http://www.bibsonomy.org/author/Tahat">Tahat</a>         	     	 
        	 </span> 
  <em>ICSM</em>
    247-256
  (2008)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2008-10-29 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/283b3365ffd51d3f8d6e74a461b0ee41d/dblp">
    <title>Slicing Event Traces of Large Software Systems.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/283b3365ffd51d3f8d6e74a461b0ee41d/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2008-10-21T00:00:00+02:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/283b3365ffd51d3f8d6e74a461b0ee41d/dblp">Slicing Event Traces of Large Software Systems.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Raymond <a href="http://www.bibsonomy.org/author/Smith">Smith</a>         	     	 
        	  and Bogdan <a href="http://www.bibsonomy.org/author/Korel">Korel</a>         	     	 
        	 </span> 
  <em>AADEBUG</em>
    
  (2000)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2008-10-21 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/210ecb63b6d1d3302d7e4ebfdfc984f6f/ist_spl">
    <title>Assertion-oriented automated test data generation</title>
    <description>Assertion-oriented automated test data generation</description>
    <link>http://www.bibsonomy.org/bibtex/210ecb63b6d1d3302d7e4ebfdfc984f6f/ist_spl</link>
    <dc:creator>ist_spl</dc:creator>
    <dc:date>2008-05-14T11:52:01+02:00</dc:date>
    <dc:subject>
      assertions automated data generation single system test </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/210ecb63b6d1d3302d7e4ebfdfc984f6f/ist_spl">Assertion-oriented automated test data generation</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    B. <a href="http://www.bibsonomy.org/author/Korel">Korel</a>         	     	 
        	  and A.M. <a href="http://www.bibsonomy.org/author/Al-Yami">Al-Yami</a>         	     	 
        	 </span> 
  <em>icse</em>
      <b>00</b>
      71
  (1996)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/ist_spl/assertions">assertions</a>
        <a href="http://www.bibsonomy.org/user/ist_spl/automated">automated</a>
        <a href="http://www.bibsonomy.org/user/ist_spl/data">data</a>
        <a href="http://www.bibsonomy.org/user/ist_spl/generation">generation</a>
        <a href="http://www.bibsonomy.org/user/ist_spl/single">single</a>
        <a href="http://www.bibsonomy.org/user/ist_spl/system">system</a>
        <a href="http://www.bibsonomy.org/user/ist_spl/test">test</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/ist_spl">ist_spl</a> 
        
            and <a style="background-color:rgb(97%,97%,97%);" href="http://www.bibsonomy.org/bibtex/1f0ce37038fcc5b5e971b3266d77e29e4">1 other person</a>
          
        
        on 2008-05-14 11:52:01 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/assertions" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/automated" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/data" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/generation" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/single" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/system" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/test" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/24d82d5fff972e1948ed65ee32a799a4a/dblp">
    <title>Testability Transformation - Program Transformation to Improve Testability.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/24d82d5fff972e1948ed65ee32a799a4a/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2008-04-21T00:00:00+02:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/24d82d5fff972e1948ed65ee32a799a4a/dblp">Testability Transformation - Program Transformation to Improve Testability.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Mark <a href="http://www.bibsonomy.org/author/Harman">Harman</a>         	     	 
        	  and André <a href="http://www.bibsonomy.org/author/Baresel">Baresel</a>         	     	 
        	  and David <a href="http://www.bibsonomy.org/author/Binkley">Binkley</a>         	     	 
        	  and Robert M. <a href="http://www.bibsonomy.org/author/Hierons">Hierons</a>         	     	 
        	  and Lin <a href="http://www.bibsonomy.org/author/Hu">Hu</a>         	     	 
        	  and Bogdan <a href="http://www.bibsonomy.org/author/Korel">Korel</a>         	     	 
        	  and Phil <a href="http://www.bibsonomy.org/author/McMinn">McMinn</a>         	     	 
        	  and Marc <a href="http://www.bibsonomy.org/author/Roper">Roper</a>         	     	 
        	 </span> 
  <em>Formal Methods and Testing</em>
    320-344
  (2008)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2008-04-21 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/27ca80e2406f1f8288af7f6f4a2dd8cf8/dblp">
    <title>Understanding Modifications in State-Based Models.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/27ca80e2406f1f8288af7f6f4a2dd8cf8/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2008-01-09T00:00:00+01:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/27ca80e2406f1f8288af7f6f4a2dd8cf8/dblp">Understanding Modifications in State-Based Models.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Bogdan <a href="http://www.bibsonomy.org/author/Korel">Korel</a>         	     	 
        	  and Luay Ho <a href="http://www.bibsonomy.org/author/Tahat">Tahat</a>         	     	 
        	 </span> 
  <em>IWPC</em>
    246-250
  (2004)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2008-01-09 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/2c51873853eafc8e966bb1e623d47ac0c/dblp">
    <title>Model-based test prioritization heuristic methods and their evaluation.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/2c51873853eafc8e966bb1e623d47ac0c/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2008-01-09T00:00:00+01:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/2c51873853eafc8e966bb1e623d47ac0c/dblp">Model-based test prioritization heuristic methods and their evaluation.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Bogdan <a href="http://www.bibsonomy.org/author/Korel">Korel</a>         	     	 
        	  and George <a href="http://www.bibsonomy.org/author/Koutsogiannakis">Koutsogiannakis</a>         	     	 
        	  and Luay Ho <a href="http://www.bibsonomy.org/author/Tahat">Tahat</a>         	     	 
        	 </span> 
  <em>A-MOST</em>
    34-43
  (2007)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2008-01-09 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/24fb4b1856c37b89dc53a0368d761802e/dblp">
    <title>Requirement-Based Automated Black-Box Test Generation.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/24fb4b1856c37b89dc53a0368d761802e/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2007-07-25T00:00:00+02:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/24fb4b1856c37b89dc53a0368d761802e/dblp">Requirement-Based Automated Black-Box Test Generation.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Luay Ho <a href="http://www.bibsonomy.org/author/Tahat">Tahat</a>         	     	 
        	  and Atef <a href="http://www.bibsonomy.org/author/Bader">Bader</a>         	     	 
        	  and Boris <a href="http://www.bibsonomy.org/author/Vaysburg">Vaysburg</a>         	     	 
        	  and Bogdan <a href="http://www.bibsonomy.org/author/Korel">Korel</a>         	     	 
        	 </span> 
  <em>COMPSAC</em>
    489-495
  (2001)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2007-07-25 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/254ddda15802b08820d0f3a2ababb7137/dblp">
    <title>Slicing of State-Based Models.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/254ddda15802b08820d0f3a2ababb7137/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2007-07-02T00:00:00+02:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/254ddda15802b08820d0f3a2ababb7137/dblp">Slicing of State-Based Models.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Bogdan <a href="http://www.bibsonomy.org/author/Korel">Korel</a>         	     	 
        	  and Inderdeep <a href="http://www.bibsonomy.org/author/Singh">Singh</a>         	     	 
        	  and Luay Ho <a href="http://www.bibsonomy.org/author/Tahat">Tahat</a>         	     	 
        	  and Boris <a href="http://www.bibsonomy.org/author/Vaysburg">Vaysburg</a>         	     	 
        	 </span> 
  <em>ICSM</em>
    34-43
  (2003)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2007-07-02 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/2d8c3505e776b1b764877762c06dd5294/dblp">
    <title>Addressing Context Awareness Techniques in Body Sensor Networks.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/2d8c3505e776b1b764877762c06dd5294/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2007-06-06T00:00:00+02:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/2d8c3505e776b1b764877762c06dd5294/dblp">Addressing Context Awareness Techniques in Body Sensor Networks.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Barbara T. <a href="http://www.bibsonomy.org/author/Korel">Korel</a>         	     	 
        	  and Simon G. M. <a href="http://www.bibsonomy.org/author/Koo">Koo</a>         	     	 
        	 </span> 
  <em>AINA Workshops (2)</em>
    798-803
  (2007)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2007-06-06 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/28cd73f3094d31f2fba201814a4ce6dc7/dblp">
    <title>Generating test data for distributed software using the chaining approach.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/28cd73f3094d31f2fba201814a4ce6dc7/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2007-05-14T00:00:00+02:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/28cd73f3094d31f2fba201814a4ce6dc7/dblp">Generating test data for distributed software using the chaining approach.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Roger <a href="http://www.bibsonomy.org/author/Ferguson">Ferguson</a>         	     	 
        	  and Bogdan <a href="http://www.bibsonomy.org/author/Korel">Korel</a>         	     	 
        	 </span> 
  <em>Information &amp; Software Technology</em>
      <b>38</b>
      343-353
  (1996)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2007-05-14 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
</rdf:RDF>