default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. TestCom 2000: Ottawa, Ontario, Canada
- Hasan Ural, Robert L. Probert, Gregor von Bochmann:
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. IFIP Conference Proceedings 176, Kluwer 2000, ISBN 0-7923-7921-7
Test Suite Coverage and Verification
- Claude Jard, Thierry Jéron, Pierre Morel:
Verification of Test Suites. TestCom 2000: 3-18 - Daniel Amyot, Luigi Logrippo:
Structural Coverage For LOTOS - a Probe Insertion Technique. TestCom 2000: 19-34 - Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko:
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. TestCom 2000: 35-
Testability and Test Feasibility
- Alan W. Williams:
Determination of Test Configurations for Pair-Wise Interaction Coverage. TestCom 2000: 59-74 - Ina Schieferdecker, Mang Li, Axel Rennoch:
Incremental Testing at System Reference Points. TestCom 2000: 75-90 - Ali Y. Duale, M. Ümit Uyar:
Generation of Feasible Test Sequences for EFSM Models. TestCom 2000: 91-
Interoperability Testing of Internet Protocols
- Tibor Csöndes, Sarolta Dibuz, Péter Krémer:
Experiments on IPv6 Testing. TestCom 2000: 113-126 - Jiwon Ryu, Myungchul Kim, Sungwon Kang, Soonuk Seol:
Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques. TestCom 2000: 127-142 - Toshihiko Kato, Tomohiko Ogishi, Hiroyuki Shinbo, Yutaka Miyake, Akira Idoue, Kenji Suzuki:
Interoperability Testing System of TCP/IP Based Systems in Operational Environment. TestCom 2000: 143-
TTCN Evolution and Applications
- Jens Grabowski, Anthony Wiles, Colin Willcock, Dieter Hogrefe:
On the Design of the New Testing Language TTCN-3. TestCom 2000: 161-176 - Roland Gecse, Péter Krémer, János Zoltán Szabó:
HTTP Performance Evaluation with TTCN. TestCom 2000: 177-192 - Alexey Mednonogov, Hannu H. Kari, Olli Martikainen, Jari Malinen:
Conformance Testing of CORBA Services Using TTCN. TestCom 2000: 193-
Test Automation and Industrial Testing Experience
- Lex Heerink, Jan Feenstra, Jan Tretmans:
Formal Test Automation: The Conference Protocol with PHACT. TestCom 2000: 211-220 - 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: 221-228 - Endre Horváth, Axel Manthey:
Functional Testing GPRS Support Nodes Using TTCN. TestCom 2000: 229-238 - Giulio Maggiore, Silvio Valeau, José Pons:
The Test Sub Group (TSG): A Cooperative Approach to Improve the Release Quality before Type Acceptance. TestCom 2000: 239-
Real-Time Testing
- Alexandre Petrenko, Andreas Ulrich:
Verification and Testing of Concurrent Systems with Action Races. TestCom 2000: 261-280 - Ahmed Khoumsi, Mehdi Akalay, Rachida Dssouli, Abdeslam En-Nouaary, Louis Granger:
An Approach for Testing Real Time Protocol Entities. TestCom 2000: 281-300 - Mariusz A. Fecko, Paul D. Amer, M. Ümit Uyar, Ali Y. Duale:
Test Generation in the Presence of Conflicting Timers. TestCom 2000: 301-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-25 22:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
