1. Brunel University Research Archive
  2. Research Areas
  3. Computer Science
Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/339
Full metadata record
DC FieldValueLanguage
dc.contributor.authorDerderian, K-
dc.contributor.authorHierons, RM-
dc.contributor.authorHarman, M-
dc.contributor.authorQiang, G-
dc.coverage.spatial13en
dc.date.accessioned2006-11-03T15:11:41Z-
dc.date.available2006-11-03T15:11:41Z-
dc.date.issued2006-
dc.identifier.citationThe Computer Journal 49(3):331-344, Jan 2006en
dc.identifier.urihttp://comjnl.oxfordjournals.org/cgi/content/abstract/49/3/331en
dc.identifier.urihttp://bura.brunel.ac.uk/handle/2438/339-
dc.description.abstractThis paper describes a method for automatically generating unique input output (UIO) sequences for FSM conformance testing. UIOs are used in conformance testing to verify the end state of a transition sequence. UIO sequence generation is represented as a search problem and genetic algorithms are used to search this space. Empirical evidence indicates that the proposed method yields considerably better (up to 62% better) results compared with random UIO sequence generation.en
dc.format.extent811793 bytes-
dc.format.mimetypeapplication/pdf-
dc.language.isoen-
dc.publisherBrunel University Information Systems and Computing PhD Thesesen
dc.subjectFinite state machineen
dc.subjectUnique input output sequenceen
dc.subjectState verificationen
dc.subjectConformance testingen
dc.subjectGenetic algorithmen
dc.titleAutomated unique input output sequence generation for conformance testing of FSMsen
dc.typeResearch Paperen
dc.identifier.doihttp://dx.doi.org/10.1093/comjnl/bxl003-
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

Files in This Item:
File Description SizeFormat 
Automated Unique.pdf792.77 kBAdobe PDFView/Open
Show simple item record


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.