http://www.kannel.org.
http://www.wirelessdevnet.com/channels/lbs/features/mobilepositioning.html.
Wireless application protocol architecture specification. Technical report, WAP Forum, April 1998. http://www.wapforum.org/.
Cédric Besse, Ana Cavalli, Myungchul Kim, and Fatiha Zaïdi. Automated generation of interoperability tests. In Kluwer,Testing Internet Technologies and Services, Berlin, March 2002.
R. Castanet and O. Kone. Deriving coordinated testers for interoperability.Protocol Test Systems, VI (C-19): 331–345, 1994. Elsevier Science Publisher B. V.(North-Holland).
A. Cavalli, D. Lee, Ch. Rinderknecht, and F. Zaïdi. Hit-or-Jump: An Algorithm for Embedded Testing with Applications to IN Services. InProceedings of FORTE/PSTV’99, Beijing, China, Octobre 1999.
A. R. Cavalli, B. Chin, and K. Chon. Testing methods for SDL Systems. InComputer Networks and ISDN Systems, volume 28, pages 1669–1683, 1996.
The PLATONIS Consortium. The platonis project. InFirst International Workshop on Services Applications in the Wireless Public Infrastructur, Mai 2001. http://www-lor.int-evry.fr/platonis.
N. Griffeth, R. Hao, D. Lee, and R. K. Sinha. Integrated system interoperability testing with applications to VOIP. InFORTE/PSTV’00, October 2000.
ITU.Recommendation Z.100: CCITT Specification and Description Language (SDL), 1992.
S. Kang and M. Kim. Interoperability test suite derivation for symmetric communication protocols. InFORTE/PSTV’97, 1997.
D. Lee, K. Sabnani, D. Kristol, and S. Paul. Conformance Testing of Protocols Specified as Communicating Finite State Machines — A Guided Random Walk Based Approach. InIEEE Transactions on Communications, volume 44, No.5, May 1996.
D. Lee and M. Yannakakis. Principles and Methods of Testing Finite State Machines — A Survey.Proc. of the IEEE, 84(8): 1090–1123, august 1996.
Article
Google Scholar
O.Dubuisson.ASN.1. Springer, 1999.
O. Rafiq and R. Castanet. From conformance testing to interoperability testing.The 3rd Int. Workshop on Protocol Test Systems, 1990.
M. Clatin, R. Groz, M. Phalippou, and R. Thummel. Two approaches linking test generation with verification techniques. In A. Cavalli and S. Budkowski, editors, Protocol Test Systems VII. Chapman & Hall, 1996.
http://www.telelogic.com
WAP Forum WAPTM WSP Version 4-May-2000. http://www.wapforum.org/.
Digital cellular telecommunications system (Phase 2+): General Packet Radio Service (GPRS), Service description; Stage 2 (GSM 03.60), version 7.4.1 Release 1998, GSM 03.60, ETSI, Sophia Antipolis Cedex.
3GPP TS 25.305 version 3.7.0 Release 1999. “Universal mobile telecommunications system (UMTS);stage 2 functional specification of UE positioning in UTRAN”. Technical report, ETSI TS 125 305 V8.3.0 (2001–10), January 2002.