<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"><channel rdf:about="https://www.bibsonomy.org/user/ist_spl/generation"><title>BibSonomy bookmarks for /user/ist_spl/generation</title><link>https://www.bibsonomy.org/user/ist_spl/generation</link><description>BibSonomy RSS Feed for /user/ist_spl/generation</description><items><rdf:Seq><rdf:li rdf:resource="http://www.lsi.us.es/~javierj/ObjectGen.html"/><rdf:li rdf:resource="http://www.acadjournal.com/2005/v15/part6/p4/"/><rdf:li rdf:resource="http://swt.cs.tu-berlin.de/~dsokenou/papers.html"/><rdf:li rdf:resource="http://www.irisa.fr/triskell/Softwares/protos/ucts/"/><rdf:li rdf:resource="http://comjnl.oxfordjournals.org/cgi/content/full/bxm057v1"/></rdf:Seq></items></channel><item rdf:about="http://www.lsi.us.es/~javierj/ObjectGen.html"><title>ObjectGen and ValueGen page</title><description>ObjectGen is a tool for generating test objectives from use cases. ValueGen is a tool for generating operational variables and combination of values from use cases. Although ValueGen needs the artefacts generated by ObjectGen, both tools are independent.</description><link>http://www.lsi.us.es/~javierj/ObjectGen.html</link><dc:creator>ist_spl</dc:creator><dc:date>2008-07-11T09:06:49+02:00</dc:date><dc:subject>Use-Cases activity automated diagrams generation sequence tool transformation </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;ObjectGen is a tool for generating test objectives from use cases. ValueGen is a tool for generating operational variables and combination of values from use cases. Although ValueGen needs the artefacts generated by ObjectGen, both tools are independent.&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/Use-Cases"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/activity"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/automated"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/diagrams"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/generation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/sequence"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/tool"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/transformation"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.acadjournal.com/2005/v15/part6/p4/"><title>A SURVEY ON AUTOMATIC TEST CASE GENERATION (2005)</title><description>Software testing is important activity in Software Development Life Cycle. To cut down cost of manual testing and to increase reliability of it, researchers and practitioners have tried to automate it. One of the important activity in testing environment is automatic test case generation - description of a test, independent of the way a given software system is designed. This paper presents a survey on automatic test case generation techniques that are found in the current literature. Problems in usage of certain techniques are identified. Areas that needed future research are presented.</description><link>http://www.acadjournal.com/2005/v15/part6/p4/</link><dc:creator>ist_spl</dc:creator><dc:date>2008-06-09T12:00:27+02:00</dc:date><dc:subject>MBT automated case generation specification-based test </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;Software testing is important activity in Software Development Life Cycle. To cut down cost of manual testing and to increase reliability of it, researchers and practitioners have tried to automate it. One of the important activity in testing environment is automatic test case generation - description of a test, independent of the way a given software system is designed. This paper presents a survey on automatic test case generation techniques that are found in the current literature. Problems in usage of certain techniques are identified. Areas that needed future research are presented.&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/MBT"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/automated"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/case"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/generation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/specification-based"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/test"/></rdf:Bag></taxo:topics></item><item rdf:about="http://swt.cs.tu-berlin.de/~dsokenou/papers.html"><title>Dehla Sokenou - Publikationen / Publications</title><description></description><link>http://swt.cs.tu-berlin.de/~dsokenou/papers.html</link><dc:creator>ist_spl</dc:creator><dc:date>2008-06-05T16:54:37+02:00</dc:date><dc:subject>UML aspect-oriented generation oracle testdata </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2008-06-05T16:54:37+02:00&#034; href=&#034;http://swt.cs.tu-berlin.de/~dsokenou/papers.html&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://swt.cs.tu-berlin.de/~dsokenou/papers.html&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/UML"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/aspect-oriented"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/generation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/oracle"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/testdata"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.irisa.fr/triskell/Softwares/protos/ucts/"><title>UCTSystem — Projet Triskell</title><description>UCTSystem is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. precondition and postconditions) to build an execution model allowing all valid sequences of use cases. Using this execution model and several test criteria, it generates test objectives as sequence of use cases to exerce. It includes both criteria for functional testing and a criterion for robusness testing. Those test objectives are then mapped into test cases using test templates. </description><link>http://www.irisa.fr/triskell/Softwares/protos/ucts/</link><dc:creator>ist_spl</dc:creator><dc:date>2008-06-04T16:37:09+02:00</dc:date><dc:subject>UML Use-Cases automated generation test tools </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;UCTSystem is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. precondition and postconditions) to build an execution model allowing all valid sequences of use cases. Using this execution model and several test criteria, it generates test objectives as sequence of use cases to exerce. It includes both criteria for functional testing and a criterion for robusness testing. Those test objectives are then mapped into test cases using test templates. &lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/UML"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/Use-Cases"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/automated"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/generation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/test"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/tools"/></rdf:Bag></taxo:topics></item><item rdf:about="http://comjnl.oxfordjournals.org/cgi/content/full/bxm057v1"><title>UML Activity Diagram-Based Automatic Test Case Generation For Java Programs -- Chen et al., 10.1093/comjnl/bxm057 -- The Computer Journal</title><description></description><link>http://comjnl.oxfordjournals.org/cgi/content/full/bxm057v1</link><dc:creator>ist_spl</dc:creator><dc:date>2008-06-03T15:30:24+02:00</dc:date><dc:subject>Java UML activity automated case diagrams generation test </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2008-06-03T15:30:24+02:00&#034; href=&#034;http://comjnl.oxfordjournals.org/cgi/content/full/bxm057v1&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://comjnl.oxfordjournals.org/cgi/content/full/bxm057v1&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/Java"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/UML"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/activity"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/automated"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/case"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/diagrams"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/generation"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/test"/></rdf:Bag></taxo:topics></item></rdf:RDF>