Matches in SemOpenAlex for { <https://semopenalex.org/work/W2765157093> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2765157093 abstract "In last decades software development processes changed in order to address increasing complexity within decreasing implementation time. Hence, new practices like Kanban, Extreme Programming or Agile Software Development emerged. Model-based development is one potential option, which is more and more used to cope these new demands. However, adapting testing processes to the needs is still an open topic. This paper describes how model checking assisted test case generation can be used to integrate testing in new software development processes, focusing on a protocol implementation for electric vehicle charging communication as a case study. Therefore, it describes certain extensions made in the COMmunication Protocol vaLidation Toolchain COMFLgTg in order to enable test case generation in TTCN-3 core language using counterexamples of SPIN model checker." @default.
- W2765157093 created "2017-11-10" @default.
- W2765157093 creator A5001566937 @default.
- W2765157093 creator A5048759517 @default.
- W2765157093 creator A5069204767 @default.
- W2765157093 date "2017-10-01" @default.
- W2765157093 modified "2023-10-18" @default.
- W2765157093 title "Validating electric vehicle to grid communication systems based on model checking assisted test case generation" @default.
- W2765157093 cites W1896160926 @default.
- W2765157093 cites W196101529 @default.
- W2765157093 cites W2051225856 @default.
- W2765157093 cites W2055647675 @default.
- W2765157093 cites W2065037173 @default.
- W2765157093 cites W2115309705 @default.
- W2765157093 cites W2136149982 @default.
- W2765157093 cites W2168188083 @default.
- W2765157093 doi "https://doi.org/10.1109/syseng.2017.8088307" @default.
- W2765157093 hasPublicationYear "2017" @default.
- W2765157093 type Work @default.
- W2765157093 sameAs 2765157093 @default.
- W2765157093 citedByCount "1" @default.
- W2765157093 countsByYear W27651570932020 @default.
- W2765157093 crossrefType "proceedings-article" @default.
- W2765157093 hasAuthorship W2765157093A5001566937 @default.
- W2765157093 hasAuthorship W2765157093A5048759517 @default.
- W2765157093 hasAuthorship W2765157093A5069204767 @default.
- W2765157093 hasConcept C110251889 @default.
- W2765157093 hasConcept C111065885 @default.
- W2765157093 hasConcept C115903868 @default.
- W2765157093 hasConcept C119857082 @default.
- W2765157093 hasConcept C122944926 @default.
- W2765157093 hasConcept C128942645 @default.
- W2765157093 hasConcept C14185376 @default.
- W2765157093 hasConcept C152877465 @default.
- W2765157093 hasConcept C165825675 @default.
- W2765157093 hasConcept C180152950 @default.
- W2765157093 hasConcept C199360897 @default.
- W2765157093 hasConcept C2777062904 @default.
- W2765157093 hasConcept C2777904410 @default.
- W2765157093 hasConcept C41008148 @default.
- W2765157093 hasConcept C4478048 @default.
- W2765157093 hasConcept C529173508 @default.
- W2765157093 hasConceptScore W2765157093C110251889 @default.
- W2765157093 hasConceptScore W2765157093C111065885 @default.
- W2765157093 hasConceptScore W2765157093C115903868 @default.
- W2765157093 hasConceptScore W2765157093C119857082 @default.
- W2765157093 hasConceptScore W2765157093C122944926 @default.
- W2765157093 hasConceptScore W2765157093C128942645 @default.
- W2765157093 hasConceptScore W2765157093C14185376 @default.
- W2765157093 hasConceptScore W2765157093C152877465 @default.
- W2765157093 hasConceptScore W2765157093C165825675 @default.
- W2765157093 hasConceptScore W2765157093C180152950 @default.
- W2765157093 hasConceptScore W2765157093C199360897 @default.
- W2765157093 hasConceptScore W2765157093C2777062904 @default.
- W2765157093 hasConceptScore W2765157093C2777904410 @default.
- W2765157093 hasConceptScore W2765157093C41008148 @default.
- W2765157093 hasConceptScore W2765157093C4478048 @default.
- W2765157093 hasConceptScore W2765157093C529173508 @default.
- W2765157093 hasLocation W27651570931 @default.
- W2765157093 hasOpenAccess W2765157093 @default.
- W2765157093 hasPrimaryLocation W27651570931 @default.
- W2765157093 hasRelatedWork W1510858002 @default.
- W2765157093 hasRelatedWork W1527042423 @default.
- W2765157093 hasRelatedWork W1585850508 @default.
- W2765157093 hasRelatedWork W2055146545 @default.
- W2765157093 hasRelatedWork W2308417994 @default.
- W2765157093 hasRelatedWork W2326168224 @default.
- W2765157093 hasRelatedWork W2336882285 @default.
- W2765157093 hasRelatedWork W2416169297 @default.
- W2765157093 hasRelatedWork W2471467496 @default.
- W2765157093 hasRelatedWork W2472899067 @default.
- W2765157093 hasRelatedWork W2507138404 @default.
- W2765157093 hasRelatedWork W2562604231 @default.
- W2765157093 hasRelatedWork W2634484225 @default.
- W2765157093 hasRelatedWork W2948452659 @default.
- W2765157093 hasRelatedWork W3094680805 @default.
- W2765157093 hasRelatedWork W3103182103 @default.
- W2765157093 hasRelatedWork W3127501250 @default.
- W2765157093 hasRelatedWork W3196049111 @default.
- W2765157093 hasRelatedWork W3199149012 @default.
- W2765157093 hasRelatedWork W615649978 @default.
- W2765157093 isParatext "false" @default.
- W2765157093 isRetracted "false" @default.
- W2765157093 magId "2765157093" @default.
- W2765157093 workType "article" @default.