SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Mousavi Mohammad Reza) ;pers:(Khosravi Ramtin)"

Sökning: WFRF:(Mousavi Mohammad Reza) > Khosravi Ramtin

  • Resultat 1-3 av 3
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  • Noroozi, Neda, et al. (författare)
  • Synchronizing Asynchronous Conformance Testing
  • 2011
  • Ingår i: Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011). - Berlin : Springer Berlin/Heidelberg. - 9783642246890 ; , s. 334-349
  • Konferensbidrag (refereegranskat)abstract
    • We present several theorems and their proofs which enable using synchronous testing techniques such as input output conformance testing (ioco ) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test-cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction with the implementation under test. © 2011 Springer-Verlag.
  •  
3.
  • Noroozi, Neda, et al. (författare)
  • Synchrony and asynchrony in conformance testing
  • 2015
  • Ingår i: Software and Systems Modeling. - Heidelberg : Springer. - 1619-1366 .- 1619-1374. ; 14:1, s. 149-172
  • Tidskriftsartikel (refereegranskat)abstract
    • We present and compare different notions of conformance testing based on labeled transition systems. We formulate and prove several theorems which enable using synchronous conformance testing techniques such as input–output conformance testing (ioco) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction with the implementation under test. © 2015, Springer-Verlag Berlin Heidelberg.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-3 av 3
Typ av publikation
konferensbidrag (2)
tidskriftsartikel (1)
Typ av innehåll
refereegranskat (3)
Författare/redaktör
Khosravi, Ramtin (3)Ta bort avgränsningen
Noroozi, Neda (3)
Mousavi, Mohammad Re ... (2)
Mousavi, Mohammad Re ... (1)
Asadi, Hamid Reza (1)
Willemse, Tim (1)
visa fler...
Willemse, Tim A.C. (1)
visa färre...
Lärosäte
Högskolan i Halmstad (3)
Språk
Engelska (3)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (3)

År

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