An Automated Passive Testing Approach for the IMS PoC Service
2009Vol. 2708, pp. 535–539
Citations Over TimeTop 10% of 2009 papers
Abstract
International audience
Related Papers
- → ABTOOLS: another B tool(2004)6 cited
- → Alneelain: A formal specification language(2017)2 cited
- → Using formal specification and observers to specify and validate the ATM signaling protocols(2003)2 cited
- Implementing E-learning Specifications with Conformance Testing: Profiling for IMS Learning Design(2005)
- → Introduction to theIPMultimedia Subsystem (IMS)(2018)