Show simple item record

dc.contributor.authorSözer, Hasan
dc.date.accessioned2016-02-15T09:33:29Z
dc.date.available2016-02-15T09:33:29Z
dc.date.issued2015-10
dc.identifier.issn1097-024X
dc.identifier.urihttp://hdl.handle.net/10679/2257
dc.identifier.urihttp://onlinelibrary.wiley.com/doi/10.1002/spe.2287/abstract
dc.descriptionDue to copyright restrictions, the access to the full text of this article is only available via subscription.
dc.description.abstractStatic code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, these tools usually generate a very large number of alerts, some of which are subject to false positives. Because of limited resources, it is usually hard to inspect all the alerts. As a complementary approach, runtime verification techniques verify dynamic system behavior with respect to a set of specifications. However, these specifications are usually created manually based on system requirements and constraints. In this paper, we introduce a noval approach and a toolchain for integrated static code analysis and runtime verification. Alerts that are generated by static code analysis tools are utilized for automatically generating runtime verification specifications. On the other hand, runtime verification results are used for automatically generating filters for static code analysis tools to eliminate false positives. The approach is illustrated for the static analysis and runtime verification of an open-source bibliography reference manager software.
dc.description.sponsorshipTÜBİTAK
dc.language.isoengen_US
dc.publisherWiley
dc.relationinfo:turkey/grantAgreement/TUBITAK/113E548
dc.relation.ispartofSoftware: Practice and Experience
dc.rightsrestrictedAccess
dc.titleIntegrated static code analysis and runtime verificationen_US
dc.typeArticleen_US
dc.peerreviewedyes
dc.publicationstatuspublisheden_US
dc.contributor.departmentÖzyeğin University
dc.contributor.authorID(ORCID 0000-0002-2968-4763 & YÖK ID 23178) Sözer, Hasan
dc.contributor.ozuauthorSözer, Hasan
dc.identifier.volume45
dc.identifier.issue10
dc.identifier.startpage1359
dc.identifier.endpage1373
dc.identifier.wosWOS:000360814800003
dc.identifier.doi10.1002/spe.2287
dc.subject.keywordsSoftware verification
dc.subject.keywordsRuntime verification
dc.subject.keywordsStatic code analysis
dc.subject.keywordsModel transformations
dc.subject.keywordsTool integration
dc.identifier.scopusSCOPUS:2-s2.0-84941180292
dc.contributor.authorMale1


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


Share this page