SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "L773:9783319076010 OR L773:9783319076027 "

Sökning: L773:9783319076010 OR L773:9783319076027

  • Resultat 1-1 av 1
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Noroozi, Neda, et al. (författare)
  • On the Complexity of Input Output Conformance Testing
  • 2014
  • Ingår i: Formal Aspects of Component Software. - Heidelberg : Springer. - 9783319076010 - 9783319076027 ; , s. 291-309
  • Konferensbidrag (refereegranskat)abstract
    • Input-output conformance (ioco) testing is a well-known approach to model-based testing. In this paper, we study the complexity of checking ioco. We show that the problem of checking ioco is PSPACE-complete. To provide a more efficient algorithm, we propose a more restricted setting for checking ioco, namely with deterministic models and show that in this restricted setting ioco checking can be performed in polynomial time. © 2014 Springer International Publishing Switzerland.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-1 av 1
Typ av publikation
konferensbidrag (1)
Typ av innehåll
refereegranskat (1)
Författare/redaktör
Mousavi, Mohammad Re ... (1)
Noroozi, Neda (1)
Willemse, Tim A.C. (1)
Lärosäte
Högskolan i Halmstad (1)
Språk
Engelska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)
År
2014 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy