FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4214858183> ?p ?o ?g. }

• W4214858183 endingPage "24975" @default.
• W4214858183 startingPage "24955" @default.
• W4214858183 abstract "The paper proposes a new testing technique for concurrent programs. The technique is a specification-based testing. For a formal specification <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>S</i> and a concurrent program <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>P</i> , state sequences are generated from <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>P</i> and checked to be accepted by <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>S</i> . We suppose that <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>S</i> is specified in Maude and <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>P</i> is implemented in Java. Java Pathfinder (JPF) and Maude are then used to generate state sequences from <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>P</i> and to check if such state sequences are accepted by <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>S</i> , respectively. Even without checking any property violations with JPF, JPF often encounters the notorious state space explosion while only generating state sequences. Thus, we propose a technique to generate state sequences from <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>P</i> and check if such state sequences are accepted by <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>S</i> in a stratified way. A tool is developed to support the proposed technique that can be processed naturally in parallel. Some experiments demonstrate that the proposed technique mitigates the state space explosion, which cannot be achieved with the straightforward use of JPF." @default.
• W4214858183 created "2022-03-05" @default.
• W4214858183 creator A5030173635 @default.
• W4214858183 creator A5023981175 @default.
• W4214858183 date "2022-01-01" @default.
• W4214858183 modified "2023-10-14" @default.
• W4214858183 title "Parallel Specification-based Testing for Concurrent Programs" @default.
• W4214858183 cites W1544533039 @default.
• W4214858183 cites W1602156367 @default.
• W4214858183 cites W1782479956 @default.
• W4214858183 cites W1819209966 @default.
• W4214858183 cites W1830161078 @default.
• W4214858183 cites W1964830323 @default.
• W4214858183 cites W1971486022 @default.
• W4214858183 cites W1975880855 @default.
• W4214858183 cites W1991643265 @default.
• W4214858183 cites W2074794556 @default.
• W4214858183 cites W2148778089 @default.
• W4214858183 cites W2169908972 @default.
• W4214858183 cites W2171480813 @default.
• W4214858183 cites W2293861537 @default.
• W4214858183 cites W2521118016 @default.
• W4214858183 cites W2550831451 @default.
• W4214858183 cites W2586510906 @default.
• W4214858183 cites W2794557414 @default.
• W4214858183 cites W2803369237 @default.
• W4214858183 cites W2953908845 @default.
• W4214858183 cites W2967606359 @default.
• W4214858183 cites W2999366812 @default.
• W4214858183 cites W3017319410 @default.
• W4214858183 cites W308378599 @default.
• W4214858183 cites W3134120196 @default.
• W4214858183 cites W3171858826 @default.
• W4214858183 cites W327452528 @default.
• W4214858183 cites W4200340358 @default.
• W4214858183 cites W4205702789 @default.
• W4214858183 doi "https://doi.org/10.1109/access.2022.3155629" @default.
• W4214858183 hasPublicationYear "2022" @default.
• W4214858183 type Work @default.
• W4214858183 citedByCount "0" @default.
• W4214858183 crossrefType "journal-article" @default.
• W4214858183 hasAuthorship W4214858183A5023981175 @default.
• W4214858183 hasAuthorship W4214858183A5030173635 @default.
• W4214858183 hasBestOaLocation W42148581831 @default.
• W4214858183 hasConcept C11413529 @default.
• W4214858183 hasConcept C154945302 @default.
• W4214858183 hasConcept C199360897 @default.
• W4214858183 hasConcept C41008148 @default.
• W4214858183 hasConcept C48103436 @default.
• W4214858183 hasConcept C548217200 @default.
• W4214858183 hasConceptScore W4214858183C11413529 @default.
• W4214858183 hasConceptScore W4214858183C154945302 @default.
• W4214858183 hasConceptScore W4214858183C199360897 @default.
• W4214858183 hasConceptScore W4214858183C41008148 @default.
• W4214858183 hasConceptScore W4214858183C48103436 @default.
• W4214858183 hasConceptScore W4214858183C548217200 @default.
• W4214858183 hasFunder F4320334764 @default.
• W4214858183 hasLocation W42148581831 @default.
• W4214858183 hasLocation W42148581832 @default.
• W4214858183 hasOpenAccess W4214858183 @default.
• W4214858183 hasPrimaryLocation W42148581831 @default.
• W4214858183 hasRelatedWork W1502256359 @default.
• W4214858183 hasRelatedWork W1538236101 @default.
• W4214858183 hasRelatedWork W1558040955 @default.
• W4214858183 hasRelatedWork W1571558219 @default.
• W4214858183 hasRelatedWork W185412380 @default.
• W4214858183 hasRelatedWork W2057087473 @default.
• W4214858183 hasRelatedWork W2168198346 @default.
• W4214858183 hasRelatedWork W2318930520 @default.
• W4214858183 hasRelatedWork W2383710934 @default.
• W4214858183 hasRelatedWork W2528467228 @default.
• W4214858183 hasVolume "10" @default.
• W4214858183 isParatext "false" @default.
• W4214858183 isRetracted "false" @default.
• W4214858183 workType "article" @default.