Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034691511> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2034691511 endingPage "723" @default.
- W2034691511 startingPage "707" @default.
- W2034691511 abstract "Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during an application's deployment than during testing. The use of runtime verification after deployment would enable developers to detect unexpected situations. Unfortunately, the prohibitive performance cost of runtime monitors prevents their use in deployed code. In this work, we study the feasibility of collaborative runtime verification, a verification approach which can distribute the burden of runtime verification among multiple users and over multiple runs. Each user executes a partially instrumented program and therefore suffers only a fraction of the instrumentation overhead. We focus on runtime verification using tracematches. Tracematches are a specification formalism that allows users to specify runtime verification properties via regular expressions with free variables over the dynamic execution trace. We propose two techniques for soundly partitioning the instrumentation required for tracematches: spatial partitioning, where different copies of a program monitor different program points for violations, and temporal partitioning, where monitoring is switched on and off over time. We evaluate the relative impact of partitioning on a user's runtime overhead by applying each partitioning technique to a collection of benchmarks that would otherwise incur significant instrumentation overhead. Our results show that spatial partitioning almost completely eliminates runtime overhead (for any particular benchmark copy) on many of our test cases, and that temporal partitioning scales well and provides runtime verification on a ‘pay as you go’ basis." @default.
- W2034691511 created "2016-06-24" @default.
- W2034691511 creator A5016375266 @default.
- W2034691511 creator A5039616179 @default.
- W2034691511 creator A5039974849 @default.
- W2034691511 creator A5063315290 @default.
- W2034691511 creator A5076678278 @default.
- W2034691511 date "2008-11-27" @default.
- W2034691511 modified "2023-10-17" @default.
- W2034691511 title "Collaborative Runtime Verification with Tracematches" @default.
- W2034691511 cites W2043647957 @default.
- W2034691511 doi "https://doi.org/10.1093/logcom/exn077" @default.
- W2034691511 hasPublicationYear "2008" @default.
- W2034691511 type Work @default.
- W2034691511 sameAs 2034691511 @default.
- W2034691511 citedByCount "32" @default.
- W2034691511 countsByYear W20346915112012 @default.
- W2034691511 countsByYear W20346915112013 @default.
- W2034691511 countsByYear W20346915112014 @default.
- W2034691511 countsByYear W20346915112015 @default.
- W2034691511 countsByYear W20346915112016 @default.
- W2034691511 countsByYear W20346915112017 @default.
- W2034691511 countsByYear W20346915112018 @default.
- W2034691511 countsByYear W20346915112019 @default.
- W2034691511 countsByYear W20346915112021 @default.
- W2034691511 countsByYear W20346915112023 @default.
- W2034691511 crossrefType "journal-article" @default.
- W2034691511 hasAuthorship W2034691511A5016375266 @default.
- W2034691511 hasAuthorship W2034691511A5039616179 @default.
- W2034691511 hasAuthorship W2034691511A5039974849 @default.
- W2034691511 hasAuthorship W2034691511A5063315290 @default.
- W2034691511 hasAuthorship W2034691511A5076678278 @default.
- W2034691511 hasConcept C105339364 @default.
- W2034691511 hasConcept C111498074 @default.
- W2034691511 hasConcept C111919701 @default.
- W2034691511 hasConcept C118530786 @default.
- W2034691511 hasConcept C120314980 @default.
- W2034691511 hasConcept C13280743 @default.
- W2034691511 hasConcept C149635348 @default.
- W2034691511 hasConcept C185798385 @default.
- W2034691511 hasConcept C199360897 @default.
- W2034691511 hasConcept C202973057 @default.
- W2034691511 hasConcept C205649164 @default.
- W2034691511 hasConcept C2779960059 @default.
- W2034691511 hasConcept C2780870223 @default.
- W2034691511 hasConcept C41008148 @default.
- W2034691511 hasConcept C97686452 @default.
- W2034691511 hasConceptScore W2034691511C105339364 @default.
- W2034691511 hasConceptScore W2034691511C111498074 @default.
- W2034691511 hasConceptScore W2034691511C111919701 @default.
- W2034691511 hasConceptScore W2034691511C118530786 @default.
- W2034691511 hasConceptScore W2034691511C120314980 @default.
- W2034691511 hasConceptScore W2034691511C13280743 @default.
- W2034691511 hasConceptScore W2034691511C149635348 @default.
- W2034691511 hasConceptScore W2034691511C185798385 @default.
- W2034691511 hasConceptScore W2034691511C199360897 @default.
- W2034691511 hasConceptScore W2034691511C202973057 @default.
- W2034691511 hasConceptScore W2034691511C205649164 @default.
- W2034691511 hasConceptScore W2034691511C2779960059 @default.
- W2034691511 hasConceptScore W2034691511C2780870223 @default.
- W2034691511 hasConceptScore W2034691511C41008148 @default.
- W2034691511 hasConceptScore W2034691511C97686452 @default.
- W2034691511 hasIssue "3" @default.
- W2034691511 hasLocation W20346915111 @default.
- W2034691511 hasOpenAccess W2034691511 @default.
- W2034691511 hasPrimaryLocation W20346915111 @default.
- W2034691511 hasRelatedWork W1535161718 @default.
- W2034691511 hasRelatedWork W1996296256 @default.
- W2034691511 hasRelatedWork W2015855483 @default.
- W2034691511 hasRelatedWork W2092071486 @default.
- W2034691511 hasRelatedWork W2163300008 @default.
- W2034691511 hasRelatedWork W2391167130 @default.
- W2034691511 hasRelatedWork W4214914354 @default.
- W2034691511 hasRelatedWork W4244247685 @default.
- W2034691511 hasRelatedWork W4283067488 @default.
- W2034691511 hasRelatedWork W2460246254 @default.
- W2034691511 hasVolume "20" @default.
- W2034691511 isParatext "false" @default.
- W2034691511 isRetracted "false" @default.
- W2034691511 magId "2034691511" @default.
- W2034691511 workType "article" @default.