Matches in SemOpenAlex for { <https://semopenalex.org/work/W4295561087> ?p ?o ?g. }
Showing items 1 to 31 of
31
with 100 items per page.
- W4295561087 abstract "One of the main challenges when verifying multi-threaded Java applications is the state space explosion problem. Due to thread interleavings, the number of states that the model checker has to verify can grow rapidly and impede the feasibility of verification. In the Java language, the source of thread interleavings can be the system under test as well as the Java Development Kit (JDK) itself. In our paper, we propose a method to minimize the state space explosion problem for applications verified under the Java PathFinder (JPF) model checker. Our method is based on abstracting the state of the application to a smaller domain and implementing application behavior using the Model Java Interface (MJI) of JPF. To show the capabilities of our approach, we have created a JPF extension called jpf-concurrent which abstracts classes from the Java Concurrency Utilities. Several benchmarks proved the usefulness of our approach. In all cases, our implementation was faster than the JDK implementation when running under the JPF model checker. Moreover, our implementation led to significantly smaller state spaces." @default.
- W4295561087 created "2022-09-14" @default.
- W4295561087 creator A5053173746 @default.
- W4295561087 creator A5079999707 @default.
- W4295561087 date "2012-04-30" @default.
- W4295561087 modified "2023-09-26" @default.
- W4295561087 title "jpf-concurrent: An extension of Java PathFinder for java.util.concurrent" @default.
- W4295561087 doi "https://doi.org/10.48550/arxiv.1205.0042" @default.
- W4295561087 hasPublicationYear "2012" @default.
- W4295561087 type Work @default.
- W4295561087 citedByCount "0" @default.
- W4295561087 crossrefType "posted-content" @default.
- W4295561087 hasAuthorship W4295561087A5053173746 @default.
- W4295561087 hasAuthorship W4295561087A5079999707 @default.
- W4295561087 hasBestOaLocation W42955610871 @default.
- W4295561087 hasLocation W42955610871 @default.
- W4295561087 hasOpenAccess W4295561087 @default.
- W4295561087 hasPrimaryLocation W42955610871 @default.
- W4295561087 hasRelatedWork W1490787830 @default.
- W4295561087 hasRelatedWork W1502886843 @default.
- W4295561087 hasRelatedWork W1530895039 @default.
- W4295561087 hasRelatedWork W1555145149 @default.
- W4295561087 hasRelatedWork W1686257886 @default.
- W4295561087 hasRelatedWork W2150153475 @default.
- W4295561087 hasRelatedWork W2247232063 @default.
- W4295561087 hasRelatedWork W2295376638 @default.
- W4295561087 hasRelatedWork W2348100758 @default.
- W4295561087 hasRelatedWork W2803369237 @default.
- W4295561087 isParatext "false" @default.
- W4295561087 isRetracted "false" @default.
- W4295561087 workType "article" @default.