SwePub
Sök i SwePub databas

  Extended search

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

Search: L773:9783319076010 OR L773:9783319076027

  • Result 1-1 of 1
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Noroozi, Neda, et al. (author)
  • On the Complexity of Input Output Conformance Testing
  • 2014
  • In: Formal Aspects of Component Software. - Heidelberg : Springer. - 9783319076010 - 9783319076027 ; , s. 291-309
  • Conference paper (peer-reviewed)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
  • Result 1-1 of 1
Type of publication
conference paper (1)
Type of content
peer-reviewed (1)
Author/Editor
Mousavi, Mohammad Re ... (1)
Noroozi, Neda (1)
Willemse, Tim A.C. (1)
University
Halmstad University (1)
Language
English (1)
Research subject (UKÄ/SCB)
Natural sciences (1)
Year
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 Close

Copy and save the link in order to return to this view