Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/337
Full metadata record
DC FieldValueLanguage
dc.contributor.authorDanicic, S-
dc.contributor.authorDaoudi, M-
dc.contributor.authorFox, CJ-
dc.contributor.authorHarman, M-
dc.contributor.authorHierons, RM-
dc.contributor.authorHowroyd, J-
dc.contributor.authorOurabya, L-
dc.contributor.authorWard, M-
dc.coverage.spatial40en
dc.date.accessioned2006-11-03T13:03:17Z-
dc.date.available2006-11-03T13:03:17Z-
dc.date.issued2005-
dc.identifier.citationJournal of Systems and Software, 77(3): 241-262, Jan 2005en
dc.identifier.urihttp://www.elsevier.com/wps/find/journaldescription.cws_home/505732/description#descriptionen
dc.identifier.urihttp://bura.brunel.ac.uk/handle/2438/337-
dc.description.abstractProgram conditioning consists of identifying and removing a set of statements which cannot be executed when a condition of interest holds at some point in a program. It has been applied to problems in maintenance, testing, re-use and re-engineering. All current approaches to program conditioning rely upon both symbolic execution and reasoning about symbolic predicates. The reasoning can be performed by a ‘heavy duty’ theorem prover but this may impose unrealistic performance constraints. This paper reports on a lightweight approach to theorem proving using the FermaT Simplify decision procedure. This is used as a component to ConSUS, a program conditioning system for the Wide Spectrum Language WSL. The paper describes the symbolic execution algorithm used by ConSUS, which prunes as it conditions. The paper also provides empirical evidence that conditioning produces a significant reduction in program size and, although exponential in the worst case, the conditioning system has low degree polynomial behaviour in many cases, thereby making it scalable to unit level applications of program conditioning.en
dc.format.extent589442 bytes-
dc.format.mimetypeapplication/pdf-
dc.language.isoen-
dc.publisherElsevieren
dc.subjectProgram conditioningen
dc.subjectSlicingen
dc.subjectProgram transformationen
dc.subjectDecision proceduresen
dc.titleConSUS: A light-weight program conditioneren
dc.typeResearch Paperen
dc.identifier.doihttp://dx.doi.org/10.1016/j.jss.2004.03.034-
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

Files in This Item:
File Description SizeFormat 
ConSUS 2005.pdf575.63 kBAdobe PDFView/Open


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