Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-7 av 7

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