Sökning: onr:"swepub:oai:DiVA.org:uu-72110" >
Specifying and Gene...
Specifying and Generating Test Cases Using Observer Automata
-
- Blom, Johan (författare)
- Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,Testing of Reactive Systems
-
- Hessel, Anders (författare)
- Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,Testing of Reactive Systems
-
- Jonsson, Bengt (författare)
- Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,Testing of Reactive Systems
-
visa fler...
-
- Pettersson, Paul (författare)
- Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,Testing of Reactive Systems
-
visa färre...
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
- 2004
- Engelska.
-
Ingår i: Proceedings of the 4th International Workshop on Formal Approaches to Testing of Software. - Berlin, Heidelberg : Springer Berlin Heidelberg. ; , s. 125-139
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Ämnesord
Stäng
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)