Publication:
A novel test coverage metric for concurrently-accessed software components (A work-in-progress paper)

dc.contributor.coauthorN/A
dc.contributor.departmentDepartment of Computer Engineering
dc.contributor.departmentGraduate School of Sciences and Engineering
dc.contributor.kuauthorBölükbaşı, Güven
dc.contributor.kuauthorElmas, Tayfun
dc.contributor.kuauthorKeremoğlu, M. Erkan
dc.contributor.kuauthorTaşıran, Serdar
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.contributor.schoolcollegeinstituteGRADUATE SCHOOL OF SCIENCES AND ENGINEERING
dc.date.accessioned2024-11-10T00:12:42Z
dc.date.issued2006
dc.description.abstractWe propose a novel, practical coverage metric called "location pairs" (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors that lead to atomicity or refinement violations. We describe a software tool for measuring LP coverage and outline an inexpensive application of predicate abstraction and model checking for ruling out infeasible coverage targets.
dc.description.indexedbyWOS
dc.description.indexedbyScopus
dc.description.openaccessNO
dc.description.sponsoredbyTubitakEuN/A
dc.description.volume3997
dc.identifier.eissn1611-3349
dc.identifier.isbn3-540-34454-3
dc.identifier.issn0302-9743
dc.identifier.scopus2-s2.0-33746661639
dc.identifier.urihttps://hdl.handle.net/20.500.14288/17696
dc.identifier.wos238417600005
dc.language.isoeng
dc.publisherSpringer-Verlag Berlin
dc.relation.ispartofFormal Approaches To Software Testing
dc.subjectComputer science
dc.subjectSoftware engineering
dc.titleA novel test coverage metric for concurrently-accessed software components (A work-in-progress paper)
dc.typeConference Proceeding
dspace.entity.typePublication
local.contributor.kuauthorTaşıran, Serdar
local.contributor.kuauthorElmas, Tayfun
local.contributor.kuauthorBölükbaşı, Güven
local.contributor.kuauthorKeremoğlu, M. Erkan
local.publication.orgunit1College of Engineering
relation.isOrgUnitOfPublication89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isOrgUnitOfPublication3fc31c89-e803-4eb1-af6b-6258bc42c3d8
relation.isOrgUnitOfPublication.latestForDiscovery89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isParentOrgUnitOfPublication8e756b23-2d4a-4ce8-b1b3-62c794a8c164
relation.isParentOrgUnitOfPublication434c9663-2b11-4e66-9399-c863e2ebae43
relation.isParentOrgUnitOfPublication.latestForDiscovery8e756b23-2d4a-4ce8-b1b3-62c794a8c164

Files