Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007672174> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2007672174 endingPage "52" @default.
- W2007672174 startingPage "27" @default.
- W2007672174 abstract "Many formal tools are now efficient enough to deal with small-to-medium size systems. Working with larger systems requires not so much to improve these tools, but to use them in combination, applying one tool for what it is most efficient for, and using its results to improve the applicability of the other tools. This paper presents such a combination, illustrated on an industrial protocol, large enough to break any brute force approach. Two research teams allied their forces with a software engineering tools maker in order to analyse, verify and generate automatically tests for this protocol, by the extension and the interconnection of their various tools. The results obtained give some hints on a methodology for the formal validation of large systems." @default.
- W2007672174 created "2016-06-24" @default.
- W2007672174 creator A5001727653 @default.
- W2007672174 creator A5009535536 @default.
- W2007672174 creator A5019849896 @default.
- W2007672174 creator A5020750660 @default.
- W2007672174 creator A5026735986 @default.
- W2007672174 creator A5035887689 @default.
- W2007672174 creator A5049960696 @default.
- W2007672174 creator A5089677335 @default.
- W2007672174 date "2000-01-01" @default.
- W2007672174 modified "2023-10-16" @default.
- W2007672174 title "Verification and test generation for the SSCOP protocol" @default.
- W2007672174 cites W1483422122 @default.
- W2007672174 cites W1507851631 @default.
- W2007672174 cites W1510782929 @default.
- W2007672174 cites W1593284044 @default.
- W2007672174 cites W2013380671 @default.
- W2007672174 cites W2015640848 @default.
- W2007672174 cites W2024851598 @default.
- W2007672174 cites W2102890180 @default.
- W2007672174 cites W2104925315 @default.
- W2007672174 cites W2132622501 @default.
- W2007672174 cites W2137865376 @default.
- W2007672174 cites W2154563539 @default.
- W2007672174 cites W39918052 @default.
- W2007672174 doi "https://doi.org/10.1016/s0167-6423(99)00017-9" @default.
- W2007672174 hasPublicationYear "2000" @default.
- W2007672174 type Work @default.
- W2007672174 sameAs 2007672174 @default.
- W2007672174 citedByCount "31" @default.
- W2007672174 countsByYear W20076721742012 @default.
- W2007672174 countsByYear W20076721742013 @default.
- W2007672174 crossrefType "journal-article" @default.
- W2007672174 hasAuthorship W2007672174A5001727653 @default.
- W2007672174 hasAuthorship W2007672174A5009535536 @default.
- W2007672174 hasAuthorship W2007672174A5019849896 @default.
- W2007672174 hasAuthorship W2007672174A5020750660 @default.
- W2007672174 hasAuthorship W2007672174A5026735986 @default.
- W2007672174 hasAuthorship W2007672174A5035887689 @default.
- W2007672174 hasAuthorship W2007672174A5049960696 @default.
- W2007672174 hasAuthorship W2007672174A5089677335 @default.
- W2007672174 hasBestOaLocation W20076721742 @default.
- W2007672174 hasConcept C115903868 @default.
- W2007672174 hasConcept C142724271 @default.
- W2007672174 hasConcept C199360897 @default.
- W2007672174 hasConcept C204787440 @default.
- W2007672174 hasConcept C2777904410 @default.
- W2007672174 hasConcept C2778029271 @default.
- W2007672174 hasConcept C2780385302 @default.
- W2007672174 hasConcept C41008148 @default.
- W2007672174 hasConcept C71924100 @default.
- W2007672174 hasConcept C75606506 @default.
- W2007672174 hasConceptScore W2007672174C115903868 @default.
- W2007672174 hasConceptScore W2007672174C142724271 @default.
- W2007672174 hasConceptScore W2007672174C199360897 @default.
- W2007672174 hasConceptScore W2007672174C204787440 @default.
- W2007672174 hasConceptScore W2007672174C2777904410 @default.
- W2007672174 hasConceptScore W2007672174C2778029271 @default.
- W2007672174 hasConceptScore W2007672174C2780385302 @default.
- W2007672174 hasConceptScore W2007672174C41008148 @default.
- W2007672174 hasConceptScore W2007672174C71924100 @default.
- W2007672174 hasConceptScore W2007672174C75606506 @default.
- W2007672174 hasIssue "1" @default.
- W2007672174 hasLocation W20076721741 @default.
- W2007672174 hasLocation W20076721742 @default.
- W2007672174 hasOpenAccess W2007672174 @default.
- W2007672174 hasPrimaryLocation W20076721741 @default.
- W2007672174 hasRelatedWork W1500064003 @default.
- W2007672174 hasRelatedWork W1503300260 @default.
- W2007672174 hasRelatedWork W196405095 @default.
- W2007672174 hasRelatedWork W2028024605 @default.
- W2007672174 hasRelatedWork W2030312511 @default.
- W2007672174 hasRelatedWork W2352495365 @default.
- W2007672174 hasRelatedWork W2370697888 @default.
- W2007672174 hasRelatedWork W2373532818 @default.
- W2007672174 hasRelatedWork W2375403706 @default.
- W2007672174 hasRelatedWork W790934358 @default.
- W2007672174 hasVolume "36" @default.
- W2007672174 isParatext "false" @default.
- W2007672174 isRetracted "false" @default.
- W2007672174 magId "2007672174" @default.
- W2007672174 workType "article" @default.