Search results for "TestCom"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Cédric Besse, Ana R. Cavalli, Myungchul Kim, Fatiha Zaïdi	Automated Generation of Interoperability Tests.	TestCom	2002	DBLP BibTeX RDF
1	Claude Jard	Principles of Distributed Test Synthesis based on True-concurrency Models.	TestCom	2002	DBLP BibTeX RDF
1	Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko 0001	Fault Detection within a Component of a System of Communicating FSMs.	TestCom	2002	DBLP BibTeX RDF
1	Endre Horváth	Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation.	TestCom	2002	DBLP BibTeX RDF
1	János Zoltán Szabó	Experiences of TTCN-3 Test Executor Development.	TestCom	2002	DBLP BibTeX RDF
1	Tapio Heikkilä, Petri Tenno, Jarmo Väänänen	Position Statement: Testing Automation with Computer Aided Test Case Generation.	TestCom	2002	DBLP BibTeX RDF
1	Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener	Test Generation for CEFSM Combining Specification and Fault Coverage.	TestCom	2002	DBLP BibTeX RDF
1	Burak Serdar, Kuo-Chung Tai	A New Approach To Checking Sequence Generation for Finite State Machines.	TestCom	2002	DBLP BibTeX RDF
1	Richard Castanet, Davy Rouillard	Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis.	TestCom	2002	DBLP BibTeX RDF
1	Ousmane Koné	Compliance of Wireless Application Protocols.	TestCom	2002	DBLP BibTeX RDF
1	Wolfgang Sachse	Position Statement: Making TTCN-3 testing a success.	TestCom	2002	DBLP BibTeX RDF
1	Khaled El-Fakih, Nina Yevtushenko 0001, Gregor von Bochmann	FSM-based Re-Testing Methods.	TestCom	2002	DBLP BibTeX RDF
1	Ina Schieferdecker, Hartmut König, Adam Wolisz (eds.)	Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002	TestCom	2002	DBLP BibTeX RDF
1	Andreas Gehring	Testing of IP Services & Applications in a Service Provider Environment.	TestCom	2002	DBLP BibTeX RDF
1	Carlos Veciana-Nogués, Albert Cabellos-Aparicio, Jordi Domingo-Pascual, Josep Solé-Pareta	Verifying IP Meters from Sampled Measurements.	TestCom	2002	DBLP BibTeX RDF
1	Mikael Marche, Yves-Marie Quemener, Roland Groz	Testing Mobile Agents.	TestCom	2002	DBLP BibTeX RDF
1	Alan W. Williams, Robert L. Probert	Formulation of the Interaction Test Coverage Problem as an Integer Program.	TestCom	2002	DBLP BibTeX RDF
1	Carlos Parada, Jorge Carapinha, Francisco Fontes, Solange Rito Lima, Paulo Carvalho 0002	Testing IP Differentiated Services Implementations.	TestCom	2002	DBLP BibTeX RDF
1	René G. de Vries, Axel Belinfante, Jan Feenstra	Automated Testing in Practice: The Highway Tolling System.	TestCom	2002	DBLP BibTeX RDF
1	Lydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries	Formal Test Automation: The Conference Protocol with TGV/TORX.	TestCom	2000	DBLP BibTeX RDF
1	Mariusz A. Fecko, Paul D. Amer, M. Ümit Uyar, Ali Y. Duale	Test Generation in the Presence of Conflicting Timers.	TestCom	2000	DBLP BibTeX RDF
1	Jiwon Ryu, Myungchul Kim 0001, Sungwon Kang, Soonuk Seol	Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques.	TestCom	2000	DBLP BibTeX RDF
1	Giulio Maggiore, Silvio Valeau, José Pons	The Test Sub Group (TSG): A Cooperative Approach to Improve the Release Quality before Type Acceptance.	TestCom	2000	DBLP BibTeX RDF
1	Daniel Amyot, Luigi Logrippo	Structural Coverage For LOTOS - a Probe Insertion Technique.	TestCom	2000	DBLP BibTeX RDF
1	Endre Horváth, Axel Manthey	Functional Testing GPRS Support Nodes Using TTCN.	TestCom	2000	DBLP BibTeX RDF
1	Ali Y. Duale, M. Ümit Uyar	Generation of Feasible Test Sequences for EFSM Models.	TestCom	2000	DBLP BibTeX RDF
1	Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko 0001	Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs.	TestCom	2000	DBLP BibTeX RDF
1	Alexandre Petrenko, Andreas Ulrich	Verification and Testing of Concurrent Systems with Action Races.	TestCom	2000	DBLP BibTeX RDF
1	Toshihiko Kato, Tomohiko Ogishi, Hiroyuki Shinbo, Yutaka Miyake, Akira Idoue, Kenji Suzuki 0003	Interoperability Testing System of TCP/IP Based Systems in Operational Environment.	TestCom	2000	DBLP BibTeX RDF
1	Jens Grabowski, Anthony Wiles, Colin Willcock, Dieter Hogrefe	On the Design of the New Testing Language TTCN-3.	TestCom	2000	DBLP BibTeX RDF
1	Claude Jard, Thierry Jéron, Pierre Morel	Verification of Test Suites.	TestCom	2000	DBLP BibTeX RDF
1	Lex Heerink, Jan Feenstra, Jan Tretmans	Formal Test Automation: The Conference Protocol with PHACT.	TestCom	2000	DBLP BibTeX RDF
1	Hasan Ural, Robert L. Probert, Gregor von Bochmann (eds.)	Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada	TestCom	2000	DBLP BibTeX RDF
1	Roland Gecse, Péter Krémer, János Zoltán Szabó	HTTP Performance Evaluation with TTCN.	TestCom	2000	DBLP BibTeX RDF
1	Tibor Csöndes, Sarolta Dibuz, Péter Krémer	Experiments on IPv6 Testing.	TestCom	2000	DBLP BibTeX RDF
1	Alan W. Williams	Determination of Test Configurations for Pair-Wise Interaction Coverage.	TestCom	2000	DBLP BibTeX RDF
1	Alexey Mednonogov, Hannu H. Kari, Olli Martikainen, Jari Malinen	Conformance Testing of CORBA Services Using TTCN.	TestCom	2000	DBLP BibTeX RDF
1	Ina Schieferdecker, Mang Li, Axel Rennoch	Incremental Testing at System Reference Points.	TestCom	2000	DBLP BibTeX RDF
1	Ahmed Khoumsi, Mehdi Akalay, Rachida Dssouli, Abdeslam En-Nouaary, Louis Granger	An Approach for Testing Real Time Protocol Entities.	TestCom	2000	DBLP BibTeX RDF

Publications at "TestCom"( http://dblp.L3S.de/Venues/TestCom )