Show simple item record

dc.contributor.authorDrusinsky, Doron
dc.date.accessioned2018-07-13T16:34:56Z
dc.date.available2018-07-13T16:34:56Z
dc.date.issued2017-08-10
dc.identifier.citationDrusinsky, Doron. "Reverse engineering concurrent UML state machines using black box testing and genetic programming." Innovations in Systems and Software Engineering 13.2-3 (2017): 117-128.
dc.identifier.urihttp://hdl.handle.net/10945/59207
dc.descriptionThe article of record as published may be found at http://link.springer.com/article/10.1007/s11334-017-0299-9en_US
dc.description.abstractThis paper presents a technique for reverse engineering, a software system generated from a concurrent unified modeling language state machine implementation. In its first step, a primitive sequential finite-state machine (FSM) is deduced from a sequence of outputs emitted from black box tests applied to the systems’ input interface. Next, we provide an algorithmic technique for decomposing the sequential primitive FSM into a set of concurrent (orthogonal) primitive FSMs. Lastly,we showa genetic programming machine learning technique for discovering local variables, actions performed on local and non-binary output variables, and two types of intra-FSM loops, called counting-loops and while-loops.en_US
dc.format.extent12 p.en_US
dc.publisherSpringerLinken_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.en_US
dc.titleReverse engineering concurrent UML state machines using black box testing and genetic programmingen_US
dc.typeArticleen_US
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.contributor.departmentComputer Science (CS)
dc.subject.authorMachine Learningen_US
dc.subject.authorConcurrent UML state machinesen_US
dc.subject.authorConcurrency decompositionen_US
dc.subject.authorGenetic programmingen_US
dc.subject.authorReverse engineeringen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record