Search results for "protocol testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Xia Yin, Zhiliang Wang, Chuanming Jing, Xingang Shi	A TTCN-3-based protocol testing system and its extension.	Science in China Series F: Information Sciences	2008	DBLP DOI BibTeX RDF	PITSv3, TTCN-3, robustness testing, protocol testing
3	Dieter Hogrefe	Main issues in protocol testing.	STTT	2003	DBLP DOI BibTeX RDF	IPv6, SDL, MSC, Protocol testing, TTCN
2	Jialu Fan, Jiming Chen, Ruilong Deng, Youxian Sun, Xuemin (Sherman) Shen	PTFW: a protocol testing framework for wireless sensor networks.	IWCMC	2009	DBLP DOI BibTeX RDF	PTFW, sensor networks, client-server, FSM, protocol test
2	Anderson Nunes Paiva Morais, Eliane Martins, Ana R. Cavalli, Willy Jimenez	Security Protocol Testing Using Attack Trees.	CSE	2009	DBLP DOI BibTeX RDF
2	Jiri Tobola, Zdenek Kotásek, Jan Korenek, Tomás Martínek, Martin Straka	Online Protocol Testing for FPGA Based Fault Tolerant Systems.	DSD	2007	DBLP DOI BibTeX RDF
2	J. Jenny Li, Hong Liu, Rudolph E. Seviora	Constructing automated protocol testing oracles to accommodate specification nondeterminism.	ICCCN	1997	DBLP DOI BibTeX RDF	automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction
2	Gregor von Bochmann, Alexandre Petrenko	Protocol Testing: Review of Methods and Relevance for Software Testing.	ISSTA	1994	DBLP DOI BibTeX RDF	Lotos, OSI
2	Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi	Test Selection Based on Finite State Models.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	partial W-method, full fault-detection power, interaction parameters, reset function, software engineering, protocols, program testing, conformance testing, conformance testing, determinism, test suites, protocol implementations, protocol testing, test architectures, finite state models
2	Deepinder P. Sidhu, Ting-Kau Leung	Formal Methods for Protocol Testing: A Detailed Study.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	NBS Class 4 Transport Protocol, protocol-test-sequence generation techniques, real-world communication protocols, protocols, fault detection, fault coverage, fault coverage, conformance testing, Monte Carlo methods, Monte Carlo simulation, failure analysis, test sequences, protocol implementation, protocol testing
1	Xiaoshuang Wang, Vaibhav Nipunage, Umesh Deshpande, Kartik Gopalan	Automated and distributed protocol testing and debugging for wireless ad-hoc networks.	MOBIWAC	2011	DBLP DOI BibTeX RDF
1	Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle	KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment.	IPSN	2010	DBLP DOI BibTeX RDF	automated protocol testing, wireless sensor networks, experimentation, failure detection
1	Carlo Alberto Boano, Kay Römer, Zhitao He, Thiemo Voigt, Marco Antonio Zúñiga Zamalloa, Andreas Willig	Generation of controllable radio interference for protocol testing in wireless sensor networks.	SenSys	2009	DBLP DOI BibTeX RDF	interference generation, WSN, radio interference
1	Lee Pike, Geoffrey M. Brown, Alwyn Goodloe	Roll your own test bed for embedded real-time protocols: a haskell experience.	Haskell	2009	DBLP DOI BibTeX RDF	physical-layer protocol testing, functional programming, emulation
1	Tao Huang, Anthony Chung	Finding Narrow Input/Output (NIO) Sequences by Model Checking.	SERA	2008	DBLP DOI BibTeX RDF	Communication protoocls, model checking, protocol engineering, protocol testing
1	Zhiliang Wang, Xia Yin, Chuanming Jing	A formal method to real-time protocol interoperability testing.	Science in China Series F: Information Sciences	2008	DBLP DOI BibTeX RDF	real-time testing, timed input output automata (TIOA), test generation, interoperability testing, protocol testing
1	Huiming Wang, Xingang Shi, Zhiliang Wang, Xia Yin, Jianping Wu	Performance testing of Mobile IPv6 protocol.	ISCC	2008	DBLP DOI BibTeX RDF
1	Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo	CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	connectivity model, opportunistic systems, delay tolerant networking, protocol testing
1	Weidong Kuang, Casto Manuel Ibarra, Peiyi Zhao	Soft Error Hardening for Asynchronous Circuits.	DFT	2007	DBLP DOI BibTeX RDF
1	Sarah Salahuddin	Analysing the Impact of Change on Test Sets Using X-Machines.	ICSM	2007	DBLP DOI BibTeX RDF
1	Hai N. Pham, Dimosthenis Pediaditakis, Athanassios Boulis	From Simulation to Real Deployments in WSN and Back.	WOWMOM	2007	DBLP DOI BibTeX RDF
1	A. Buono, Tobia Castaldi, Lorenzo Miniero, Simon Pietro Romano	Design and Implementation of an Open Source IMS Enabled Conferencing Architecture.	NEW2AN	2007	DBLP DOI BibTeX RDF	Centralized Conferencing, IP Multimedia Subsystem, Floor Control
1	John Bresnahan, Rajkumar Kettimuthu, Ian T. Foster	XIOPerf: A Tool for Evaluating Network Protocols.	BROADNETS	2006	DBLP DOI BibTeX RDF
1	Manuel J. Fernández Iglesias, Juan C. Burguillo-Rial, Francisco J. González-Castaño, Martín Llamas Nistal	Wireless protocol testing and validation supported by formal methods. A hands-on report.	Journal of Systems and Software	2005	DBLP DOI BibTeX RDF
1	Raymond E. Miller, Dongluo Chen, David Lee, Ruibing Hao	Coping with Nondeterminism in Network Protocol Testing.	TestCom	2005	DBLP DOI BibTeX RDF
1	Pradipta De, Ashish Raniwala, Srikant Sharma, Tzi-cker Chiueh	MiNT: a miniaturized network testbed for mobile wireless research.	INFOCOM	2005	DBLP DOI BibTeX RDF
1	Hyung-Woo Lee, Sung-Hyun Yun, Jae-Sung Kim, Nam-Ho Oh, Do-Hyung Kim	IPv6/IPsec Conformance Test Management System with Formal Description Technique.	ICCSA	2005	DBLP DOI BibTeX RDF	Architecture. 1, Security, IPv6, Conformance Test, IPSec, Formal Description
1	Ismail Berrada, Richard Castanet, Patrick Félix	Testing Communicating Systems: a Model, a Methodology, and a Tool.	TestCom	2005	DBLP DOI BibTeX RDF
1	George Din	TTCN-3.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
1	Lechun Wang, Peidong Zhu, Zhenghu Gong	Systematic Robustness-Testing RI-Pro of BGP.	ISPA	2004	DBLP DOI BibTeX RDF
1	Ira Acharya, Hemendra Kumar Singh	Testing of 3G 1xEV-DV Stack - A Case Study.	TestCom	2003	DBLP DOI BibTeX RDF	testing challenges, IUT, 1xEV-DV, EV-DV, DV, reference implementation, 3GPP2, LAC, RLP, L2, L3, packet data channel, PDCHCF, Message Integrity, simulation, Testing, MAC, queues, behavior, task, video conferencing, SDL, formalism, 3G, Signaling, logging, conformance, test automation, formal description techniques, MSC, timers, protocol stack, test scripts, TTCN
1	Jianping Wu, Zhongjie Li, Xia Yin	Towards Modeling and Testing of IP Routing Protocols.	TestCom	2003	DBLP DOI BibTeX RDF
1	Richard Lai	A survey of communication protocol testing.	Journal of Systems and Software	2002	DBLP DOI BibTeX RDF
1	Ari Ahtiainen	Applying Formal Method in Mobile Protocol Testing.	TestCom	2002	DBLP BibTeX RDF
1	Yves-Marie Quemener	A Typical Testing Problem: Validating WML Cellphones.	SPIN	2002	DBLP DOI BibTeX RDF
1	Hussein Suleman	Enforcing interoperability with the open archives initiative repository explorer.	JCDL	2001	DBLP DOI BibTeX RDF	testing, protocol, interoperability, validation
1	Anthony Chung, Howard E. Motteler, Deepinder P. Sidhu	On undetected faults in homogeneous methods for protocol testing.	Computers and Their Applications	2000	DBLP BibTeX RDF
1	Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio	ConData: A Tool for Automating Specification-based Test Case Generation for Communication Systems. (PDF / PS)	HICSS	2000	DBLP DOI BibTeX RDF	communications protocol testing, EFSM-based testing, logic programming
1	Rob Glenn, Sheila Frankel, Doug Montgomery	IPsec-WIT: The NIST IPsec Web-Based Interoperability Test System. (PDF / PS)	WETICE	2000	DBLP DOI BibTeX RDF	IPsec, interoperability testing, protocol testing, IKE
1	T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das	A Matroid-Theoretic Solution to an Assignment Problem in the Conformance Testing of Communication Protocols.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	algorithms, communication, Protocol, graph theory, communication protocol, matroids, protocol testing
1	Guillermo A. Alvarez, Flaviu Cristian	Simulation-based Testing of Communication Protocols for Dependable Embedded Systems.	The Journal of Supercomputing	2000	DBLP DOI BibTeX RDF	fault tolerance, real-time systems, embedded systems, fault injection, architecture simulation, protocol testing
1	Judi Romijn, Jan Springintveld	Exploiting Symmetry in Protocol Testing.	FORTE	1998	DBLP BibTeX RDF
1	Roland Gecse	Conformance Testing Methodology of Internet Protocols Internet Application-Layer Protocol Testing - the Hypertext Transfer Protocol.	IWTCS	1998	DBLP BibTeX RDF
1	Jun Bi, Jianping Wu, X. Chen	A Concurrent TTCN based Approach to Conformance Testing of Distributed Routing Protocol OSPF v2.	ICCCN	1998	DBLP DOI BibTeX RDF	Concurrent TTCN, CEBE, Internet, Distributed Systems, Formal Methods, Computer Networks, Test Generation, Routing Protocol, Labeled Transition Systems, OSPF, Protocol Testing
1	P. Florschütz	Testing IN Protocol Implementation.	Services and Visualization: Towards User-Friendly Design	1998	DBLP DOI BibTeX RDF
1	Guillermo A. Alvarez, Flaviu Cristian	Centralized Failure Injection for Distributed, Fault-Tolerant Protocol Testing.	ICDCS	1997	DBLP BibTeX RDF
1	Alexandre Petrenko	Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing".	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF
1	T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das	Context Independent Unique Sequences Generation for Protocol Testing.	INFOCOM	1996	DBLP BibTeX RDF
1	Richard Lai, Wilfred Leung	Industrial and Academic Protocol Testing: the Gap and the Means of Convergence.	Computer Networks and ISDN Systems	1995	DBLP DOI BibTeX RDF
1	Milena Mihail, Christos H. Papadimitriou	On the Random Walk Method for Protocol Testing.	CAV	1994	DBLP DOI BibTeX RDF
1	Michel Diaz, Guy Juanole, Jean-Pierre Courtiat	Observer-A Concept for Formal On-Line Validation of Distributed Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	observer concept, formal online validation, self-checking distributed systems design, erroneous behavior detection, observable output level, continuous checking, formal verified model, quasi-self-checking observers, industrial LAN, broadcast service, virtual ring MAC protocol testing, OSI layering management, open system architecture, run-time validation, Petri net based models, layered distributed architectures, formal verification, distributed processing, local area networks, transport protocols, performance measurements, open systems, access protocols, formal description techniques, transport layer, reference, link layer, online operation
1	Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai	A modified transition tour protocol test method.	Journal of Systems Integration	1994	DBLP DOI BibTeX RDF	protocol testing and formal modeling, Computer networks, protocol engineering
1	Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu	Fault Coverage of UIO-based Methods for Protocol Testing.	Protocol Test Systems	1993	DBLP BibTeX RDF
1	Samuel T. Chanson, Hendra Dany, Myungchul Kim, Qin Li, Ying Lu, Son T. Vuong, Sijian Zhang, Limin Zhou, Jinsong Zhu	The UBC Protocol Testing Environment.	Protocol Test Systems	1993	DBLP BibTeX RDF
1	Sylvia C. Boyd, Hasan Ural	The Synchronization Problem in Protocol Testing and its Complexity.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
1	Klaus Echtle, Yinong Chen	Evaluation of Deterministic Fault Injection for Fault-Tolerant Protocol Testing.	FTCS	1991	DBLP DOI BibTeX RDF
1	Sylvia C. Boyd, Hasan Ural	On the Complexity of Generating Optimal Test Sequences.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	maximal overlapping, test subsequences, optimal test sequence generation, OTSG problem, computational complexity, protocols, NP-complete, finite state machine, program testing, communications protocols, finite automata, polynomial time, FSM, protocol testing
1	Fabrizio Lombardi, Yinan N. Shen, Hannu Kari	On a new approach for enhancing the fault coverage of conformance testing of protocols.	SPDP	1991	DBLP DOI BibTeX RDF
1	Michael Sample, Gerald W. Neufeld	Support for ASN.1 within a Protocol Testing Environment.	FORTE	1990	DBLP BibTeX RDF
1	Yinan N. Shen, Fabrizio Lombardi, Donatella Sciuto	Evaluation and improvement of fault coverage for verification and validation of protocols.	SPDP	1990	DBLP DOI BibTeX RDF
1	Hua-Xin Zeng, Samuel T. Chanson, Brian R. Smith	On Ferry Clip Approaches in Protocol Testing.	Computer Networks	1989	DBLP DOI BibTeX RDF
1	R. Isaac Chan, Brian R. Smith, Gerald W. Neufeld, Samuel T. Chanson, W. B. Davis, Son T. Vuong, H. L. See, S. Chan	A Software Environment for OSI Protocol Testing Systems.	PSTV	1989	DBLP BibTeX RDF
1	Behçet Sarikaya, Gregor von Bochmann, Eduard Cerny	A Test Design Methodology for Protocol Testing.	IEEE Trans. Software Eng.	1987	DBLP DOI BibTeX RDF
1	Baoyu Wang, David Hutchison	Protocol testing techniques.	Computer Communications	1987	DBLP DOI BibTeX RDF
1	Erwin P. Rathgeb, Christian Homann, Hong Linh Truong, Gerd Waldmann	Protocol Testing for the ISDN D-Channel Network Layer.	PSTV	1987	DBLP BibTeX RDF
1	Ian C. Davidson	OSI Protocol Testing at the Corporation for Open Systems.	PSTV	1987	DBLP BibTeX RDF
1	H. X. Zeng, D. Rayner	The impact of the Ferry concept on protocol testing.	PSTV	1985	DBLP BibTeX RDF
1	Robert P. Blanc	Protocol testing methdology development at NBS.	Computer Communication Review	1984	DBLP DOI BibTeX RDF
1	J. Stephen Nightingale	Protocol Testing Using A Reference Implementation.	PSTV	1982	DBLP BibTeX RDF