Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034874525> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2034874525 endingPage "451" @default.
- W2034874525 startingPage "436" @default.
- W2034874525 abstract "Abstract. There is now a lot of interest in program testing based on formal specifications. However, most the works in this area focus on one formalized aspect of the software under test. For instance, some previous works of the first author consider abstract data type specifications. Other works are based on behavioural descriptions, such as finite state machines or finite labelled transition systems. This paper begins by brie y recalling the principles of test data selection from algebraic data types specifications. Then, it transposes them to basic and full LOTOS. Finally it exploits this uniform framework and suggests a new integrated approach to test derivation from full LOTOS specifications, where both behavioural properties and data types properties are taken into account when dealing with processes." @default.
- W2034874525 created "2016-06-24" @default.
- W2034874525 creator A5067647847 @default.
- W2034874525 creator A5083041829 @default.
- W2034874525 date "1998-05-01" @default.
- W2034874525 modified "2023-10-09" @default.
- W2034874525 title "Testing Algebraic Data Types and Processes: A Unifying Theory" @default.
- W2034874525 cites W1527688737 @default.
- W2034874525 cites W1548432010 @default.
- W2034874525 cites W1999241145 @default.
- W2034874525 cites W2105394284 @default.
- W2034874525 doi "https://doi.org/10.1007/s001650050026" @default.
- W2034874525 hasPublicationYear "1998" @default.
- W2034874525 type Work @default.
- W2034874525 sameAs 2034874525 @default.
- W2034874525 citedByCount "49" @default.
- W2034874525 countsByYear W20348745252012 @default.
- W2034874525 countsByYear W20348745252013 @default.
- W2034874525 countsByYear W20348745252014 @default.
- W2034874525 countsByYear W20348745252015 @default.
- W2034874525 countsByYear W20348745252016 @default.
- W2034874525 countsByYear W20348745252017 @default.
- W2034874525 countsByYear W20348745252020 @default.
- W2034874525 crossrefType "journal-article" @default.
- W2034874525 hasAuthorship W2034874525A5067647847 @default.
- W2034874525 hasAuthorship W2034874525A5083041829 @default.
- W2034874525 hasBestOaLocation W20348745251 @default.
- W2034874525 hasConcept C116253237 @default.
- W2034874525 hasConcept C120665830 @default.
- W2034874525 hasConcept C121332964 @default.
- W2034874525 hasConcept C134306372 @default.
- W2034874525 hasConcept C138958017 @default.
- W2034874525 hasConcept C162319229 @default.
- W2034874525 hasConcept C167822520 @default.
- W2034874525 hasConcept C175971053 @default.
- W2034874525 hasConcept C192209626 @default.
- W2034874525 hasConcept C199360897 @default.
- W2034874525 hasConcept C24858836 @default.
- W2034874525 hasConcept C2777691520 @default.
- W2034874525 hasConcept C33923547 @default.
- W2034874525 hasConcept C41008148 @default.
- W2034874525 hasConcept C80444323 @default.
- W2034874525 hasConcept C90483712 @default.
- W2034874525 hasConcept C9376300 @default.
- W2034874525 hasConceptScore W2034874525C116253237 @default.
- W2034874525 hasConceptScore W2034874525C120665830 @default.
- W2034874525 hasConceptScore W2034874525C121332964 @default.
- W2034874525 hasConceptScore W2034874525C134306372 @default.
- W2034874525 hasConceptScore W2034874525C138958017 @default.
- W2034874525 hasConceptScore W2034874525C162319229 @default.
- W2034874525 hasConceptScore W2034874525C167822520 @default.
- W2034874525 hasConceptScore W2034874525C175971053 @default.
- W2034874525 hasConceptScore W2034874525C192209626 @default.
- W2034874525 hasConceptScore W2034874525C199360897 @default.
- W2034874525 hasConceptScore W2034874525C24858836 @default.
- W2034874525 hasConceptScore W2034874525C2777691520 @default.
- W2034874525 hasConceptScore W2034874525C33923547 @default.
- W2034874525 hasConceptScore W2034874525C41008148 @default.
- W2034874525 hasConceptScore W2034874525C80444323 @default.
- W2034874525 hasConceptScore W2034874525C90483712 @default.
- W2034874525 hasConceptScore W2034874525C9376300 @default.
- W2034874525 hasIssue "5" @default.
- W2034874525 hasLocation W20348745251 @default.
- W2034874525 hasOpenAccess W2034874525 @default.
- W2034874525 hasPrimaryLocation W20348745251 @default.
- W2034874525 hasRelatedWork W1563875108 @default.
- W2034874525 hasRelatedWork W1575859112 @default.
- W2034874525 hasRelatedWork W1995925686 @default.
- W2034874525 hasRelatedWork W2034874525 @default.
- W2034874525 hasRelatedWork W2052771056 @default.
- W2034874525 hasRelatedWork W2099229151 @default.
- W2034874525 hasRelatedWork W2236973669 @default.
- W2034874525 hasRelatedWork W4232887165 @default.
- W2034874525 hasRelatedWork W570188923 @default.
- W2034874525 hasRelatedWork W659360897 @default.
- W2034874525 hasVolume "10" @default.
- W2034874525 isParatext "false" @default.
- W2034874525 isRetracted "false" @default.
- W2034874525 magId "2034874525" @default.
- W2034874525 workType "article" @default.