<rdf:RDF xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:cc="http://web.resource.org/cc/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"><channel rdf:about="http://www.bibsonomy.org/user/ist_spl/product+software"><title>BibSonomy publications for /user/ist_spl/product+software</title><link>http://www.bibsonomy.org/publrss/user/ist_spl/product+software</link><description>BibSonomy RSS Feed for /user/ist_spl/product+software</description><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/24336a1857dfafb495786b25d49c7600f/ist_spl"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2d75bfa54d7c45c6a6ffba04b75938005/ist_spl"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2f289279eaa2256f1237ebcc3c6e2bcd9/ist_spl"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/24336a1857dfafb495786b25d49c7600f/ist_spl"><title>Anforderungsbasierte Ableitung von Systemtestfall-Szenarien in der Software-Produktlinien-Entwicklung</title><description>MR: Die Referenzarbeit für auf ScenTED basierende Forschung.</description><link>http://www.bibsonomy.org/bibtex/24336a1857dfafb495786b25d49c7600f/ist_spl</link><dc:creator>ist_spl</dc:creator><dc:date>2008-09-11T14:38:00+02:00</dc:date><dc:subject>testing SSE line based product scenario software requirements ScenTED </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Andreas &lt;a href=&#034;http://www.bibsonomy.org/author/Reuys&#034;&gt;Reuys&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Universit&amp;#228;t Duisburg-Essen, &lt;/em&gt;(&lt;em&gt;2006&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/testing"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/SSE"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/line"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/based"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/product"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/scenario"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/software"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/requirements"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ScenTED"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2d75bfa54d7c45c6a6ffba04b75938005/ist_spl"><title>Specification Based Software Product Line Testing: A Case Study</title><link>http://www.bibsonomy.org/bibtex/2d75bfa54d7c45c6a6ffba04b75938005/ist_spl</link><dc:creator>ist_spl</dc:creator><dc:date>2008-06-27T15:45:53+02:00</dc:date><dc:subject>testdata CSP specification-based specification software line algebraic product testing oracle automated </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Satish &lt;a href=&#034;http://www.bibsonomy.org/author/Mishra&#034;&gt;Mishra&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;CS&amp;amp;P 2006 - Concurrency, Specification and Programming, &lt;/em&gt;(&lt;em&gt;2006&lt;/em&gt;) &lt;em&gt;MR: Es wird gezeigt, dass bei SPLs, die mit formalen Spezifikationen (hier CSP-CASL) beschrieben sind, die Testf&amp;amp;#228;lle, Testeingaben und erwartete Ergeb&lt;span class=&#034;info&#034;&gt;...&lt;span&gt;MR: Es wird gezeigt, dass bei SPLs, die mit formalen Spezifikationen (hier CSP-CASL) beschrieben sind, die Testf&amp;#228;lle, Testeingaben und erwartete Ergebnisse automatisch generiert werden k&amp;#246;nnen. Die Wiederverwendung der Tests beschr&amp;#228;nkt sich im Paper auf SPLs von speziellen Art, bei denen die Varianten nur erweitert werden k&amp;#246;nnen und somit andere Varianten und den gemeinsamen Teil vollst&amp;#228;ndig involvieren.&lt;/span&gt;&lt;/span&gt;
		    .
	    &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/testdata"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/CSP"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/specification-based"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/specification"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/software"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/line"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/algebraic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/product"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/testing"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/oracle"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/automated"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2f289279eaa2256f1237ebcc3c6e2bcd9/ist_spl"><title>Towards Testing Product Line Architectures</title><description>DBLP Record &#039;journals/entcs/MucciniH03&#039;</description><link>http://www.bibsonomy.org/bibtex/2f289279eaa2256f1237ebcc3c6e2bcd9/ist_spl</link><dc:creator>ist_spl</dc:creator><dc:date>2008-06-10T10:56:43+02:00</dc:date><dc:subject>software line product testing </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Henry &lt;a href=&#034;http://www.bibsonomy.org/author/Muccini&#034;&gt;Muccini&lt;/a&gt;  und Andr&#039;e van der &lt;a href=&#034;http://www.bibsonomy.org/author/Hoek&#034;&gt;Hoek&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Electr. Notes Theor. Comput. Sci.&lt;/em&gt;(&lt;em&gt;2003&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/software"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/line"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/product"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/testing"/></rdf:Bag></taxo:topics></item></rdf:RDF>