Show simple item record

dc.contributor.authorWard, Martinen
dc.contributor.authorDanicic, S.en
dc.contributor.authorDaoudi, M.en
dc.contributor.authorFox, C.en
dc.date.accessioned2008-11-24T13:57:17Z
dc.date.available2008-11-24T13:57:17Z
dc.date.issued2005-09-01en
dc.identifier.citationWard, M. et al.(2005) ConSUS: a light-weight program conditioner. Journal of Systems and Software, 77(3), pp. 241-262.
dc.identifier.issn0164-1212en
dc.identifier.urihttp://hdl.handle.net/2086/253
dc.descriptionConditioned slicing can be applied to reverse engineering problems which involve the extraction of executable fragments of code in the context of some criteria of interest. This paper introduces ConSUS, a conditioner for the Wide Spectrum Language, WSL. The symbolic executor of ConSUS prunes the symbolic execution paths, and its predicate reasoning system uses the FermaT simplify transformation in place of a more conventional theorem prover. We show that this combination of pruning and amplification-as-reasoner leads to a more scalable approach to conditioning.en
dc.language.isoenen
dc.publisherElsevieren
dc.subjectRAE 2008
dc.subjectUoA 23 Computer Science and Informatics
dc.titleConSUS: a light-weight program conditioneren
dc.typeArticleen
dc.identifier.doihttps://doi.org/10.1016/j.jss.2004.03.034
dc.researchgroupSoftware Technology Research Laboratory (STRL)


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record