|
|
English
version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|
|
|
|
|
|
|
|
2019
|
1. |
Ahishakiye, Faustin; Stolz, Volker; Jaksic, Svetlana; Lange, Felix Dino; Schmitz, Malte; Thoma, Daniel. Non-intrusive MC/DC measurement based on traces. Guilin, China: Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), IEEE 2019 (ISBN 978-1-7281-3342-3) 7 s. HVL
Untitled
|
|
2. |
Ahishakiye, Faustin; Stolz, Volker; Kristensen, Lars Michael. Generating test cases satisfying MC/DC from BDDs. Tallinn, Estonia: Proceedings of the 31st Nordic Workshop on Programming Theory 2019 2019 (ISBN 978-9949-83-520-1) 3 s. HVL
Untitled
|
|
3. |
Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Viroli, Mirko. On Distributed Runtime Verification by Aggregate Computing. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2019 ;Volum 302. s. 47-61 HVL
Untitled
|
|
4. |
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker. Operational semantics of a weak memory model with channel synchronization. Journal of Logical and Algebraic Methods in Programming 2019 ;Volum 103. s. 1-30 UiO HVL
Untitled
|
|
5. |
Liu, Zhiming; Stolz, Volker. Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems. Bergen, Norway: HVL 2019 566 s. HVL
Untitled
|
|
6. |
Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael; Stolz, Volker. Visualization and abstractions for execution paths in model-based software testing. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11918. HVL
Untitled
|
|
7. |
Wang, Rui; Kristensen, Lars Michael; Meling, Hein; Stolz, Volker. Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. Journal of Logical and Algebraic Methods in Programming 2019 ;Volum 104. s. 254-273 HVL UIS
Untitled
|
|