<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="http://www.bibsonomy.org/user/ist_spl/generation"><title>BibSonomy bookmarks for /user/ist_spl/generation</title><link>http://www.bibsonomy.org/rss/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>automated sequence tool Use-Cases generation transformation diagrams activity </dc:subject><content:encoded>ObjectGen is a tool for generating test objectives from use cases. ValueGen is a tool for generating operational variables and combination of values from u&lt;span class=&#034;info&#034;&gt;...&lt;span&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;&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/automated"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/sequence"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tool"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Use-Cases"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/generation"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/transformation"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/diagrams"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/activity"/></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>automated test specification-based case MBT generation </dc:subject><content:encoded>Software testing is important activity in Software Development Life Cycle. To cut down cost of manual testing and to increase reliability of it, researcher&lt;span class=&#034;info&#034;&gt;...&lt;span&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;&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/automated"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/test"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/specification-based"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/case"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/MBT"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/generation"/></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 oracle generation aspect-oriented testdata </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/UML"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/oracle"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/generation"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/aspect-oriented"/><rdf:li rdf:resource="http://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>tools automated test Use-Cases UML generation </dc:subject><content:encoded>UCTSystem is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. prec&lt;span class=&#034;info&#034;&gt;...&lt;span&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;&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/automated"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/test"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Use-Cases"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/UML"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/generation"/></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>automated test case UML generation diagrams activity Java </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/automated"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/test"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/case"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/UML"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/generation"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/diagrams"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/activity"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Java"/></rdf:Bag></taxo:topics></item></rdf:RDF>