Effectively Testing of Timed Composite Systems using Test Case Prioritization. | 0 | 0.34 | 2016 |
Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP. | 0 | 0.34 | 2015 |
Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System. | 2 | 0.37 | 2014 |
A Framework for Distributed Testing of Timed Composite Systems | 3 | 0.40 | 2014 |
Passive conformance testing of service choreographies | 2 | 0.38 | 2012 |
A symbolic framework for the conformance checking of value-passing choreographies | 5 | 0.43 | 2012 |
Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing | 3 | 0.40 | 2012 |
An Early Technical Evaluation of Convergence between Cellular and Broadcast Media | 2 | 0.53 | 2006 |