Search results for "TestCom"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Florentin Ipate	Bounded Sequence Testing from Non-deterministic Finite State Machines.	TestCom	2006	DBLP DOI BibTeX RDF
1	Abdelghani Benharref, Rachida Dssouli, Roch H. Glitho, Mohamed Adel Serhani	Towards the Testing of Composed Web Services in 3rd Generation Networks.	TestCom	2006	DBLP DOI BibTeX RDF
1	Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener	Application of Two Test Generation Tools to an Industrial Case Study.	TestCom	2006	DBLP DOI BibTeX RDF	telephonic service, service testing, test generation tools, formal specification, conformance testing, Case study, automatic test generation, extended finite state machine
1	Luis Fernando Llana Díaz, Manuel Núñez 0001, Ismael Rodríguez	Customized Testing for Probabilistic Systems.	TestCom	2006	DBLP DOI BibTeX RDF
1	Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah	Test Case Minimization for Real-Time Systems Using Timed Bound Traces.	TestCom	2006	DBLP DOI BibTeX RDF
1	Emmanuel de Rosière, Claude Jard, Benoit Parreaux	LaTe, a Non-fully Deterministic Testing Language.	TestCom	2006	DBLP DOI BibTeX RDF
1	Zhiliang Wang, Jianping Wu, Xia Yin, Xingang Shi, Beihang Tian	Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems.	TestCom	2006	DBLP DOI BibTeX RDF
1	Reinhard Gotzhein, Ferhat Khendek	Compositional Testing of Communication Systems.	TestCom	2006	DBLP DOI BibTeX RDF
1	Jessica Chen, Hasan Ural	Detecting Observability Problems in Distributed Testing.	TestCom	2006	DBLP DOI BibTeX RDF	distributed test architecture, testing, controllability, Finite state machine, observability
1	Guoqiang Shu, David Lee 0001	Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking.	TestCom	2006	DBLP DOI BibTeX RDF
1	Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko 0001	FSM Test Translation Through Context.	TestCom	2006	DBLP DOI BibTeX RDF
1	Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez 0001	A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.	TestCom	2006	DBLP DOI BibTeX RDF
1	George Din, Sorin Tolea, Ina Schieferdecker	Distributed Load Tests with TTCN-3.	TestCom	2006	DBLP DOI BibTeX RDF
1	Rachid Bouaziz, Ousmane Koné	Symbolic and on the Fly Testing with Real-Time Observers.	TestCom	2006	DBLP DOI BibTeX RDF
1	Ralf Lämmel, Wolfram Schulte	Controllable Combinatorial Coverage in Grammar-Based Testing.	TestCom	2006	DBLP DOI BibTeX RDF
1	Máté J. Csorba, Sándor Palugyai, Sarolta Dibuz, Gyula Csopaki	Performance Analysis of Concurrent PCOs in TTCN-3.	TestCom	2006	DBLP DOI BibTeX RDF
1	Andreas Johan Nyberg	Use of TTCN-3 for Software Module Testing.	TestCom	2006	DBLP DOI BibTeX RDF	concurrent software, Software testing, TTCN-3, mock objects
1	Hasan Ural, Fan Zhang 0001	Reducing the Lengths of Checking Sequences by Overlapping.	TestCom	2006	DBLP DOI BibTeX RDF
1	Mahadevan Subramaniam, Zoltán Pap	Analyzing the Impact of Protocol Changes on Tests.	TestCom	2006	DBLP DOI BibTeX RDF	test consistency, protocol, evolution, Changes, communicating finite state machines
1	M. Cihan Yalcin, Hüsnü Yenigün	Using Distinguishing and UIO Sequences Together in a Checking Sequence.	TestCom	2006	DBLP DOI BibTeX RDF
1	M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko (eds.)	Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings	TestCom	2006	DBLP DOI BibTeX RDF
1	ChangSup Keum, Sungwon Kang, In-Young Ko, Jongmoon Baik, Young-Il Choi	Generating Test Cases for Web Services Using Extended Finite State Machine.	TestCom	2006	DBLP DOI BibTeX RDF
1	Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Test Purpose Definition.	TestCom	2006	DBLP DOI BibTeX RDF	Input/Output Symbolic Transition Systems, Conformance testing, Symbolic Execution, Coverage Criteria, Test Purposes
1	Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier	Test Generation for Network Security Rules.	TestCom	2006	DBLP DOI BibTeX RDF
1	Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko	Multiplexing of Partially Ordered Events.	TestCom	2005	DBLP DOI BibTeX RDF
1	T. S. E. Maibaum	The Epistemology of Validation and Verification Testing.	TestCom	2005	DBLP DOI BibTeX RDF
1	Ferhat Khendek, Rachida Dssouli (eds.)	Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings	TestCom	2005	DBLP DOI BibTeX RDF
1	Alexandra Desmoulin, César Viho	Quiescence Management Improves Interoperability Testing.	TestCom	2005	DBLP DOI BibTeX RDF
1	Gabor Batori, Domonkos Asztalos	Using TTCN-3 for Testing Platform Independent Models.	TestCom	2005	DBLP DOI BibTeX RDF
1	Arno Puder, Limei Wang	Cross-Language Functional Testing for Middleware.	TestCom	2005	DBLP DOI BibTeX RDF
1	Annie Floch, Frédéric Roudaut, Ariel Sabiguero, César Viho	Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing.	TestCom	2005	DBLP DOI BibTeX RDF	RIPng, IPv6, Conformance testing, TTCN-3
1	Hyoung Seok Hong, Hasan Ural	Dependence Testing: Extending Data Flow Testing with Control Dependence.	TestCom	2005	DBLP DOI BibTeX RDF
1	Huaizhong Li, Chiou Peng Lam	Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams.	TestCom	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	Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon	A Model-Based Approach for Robustness Testing.	TestCom	2005	DBLP DOI BibTeX RDF
1	Jung Youp Lee, Seok Won Jung, Jongin Lim 0001	Detecting Trapdoors in Smart Cards Using Timing and Power Analysis.	TestCom	2005	DBLP DOI BibTeX RDF	Trapdoor, Smart Card, Timing Analysis, Power Analysis
1	Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün	Eliminating Redundant Tests in a Checking Sequence.	TestCom	2005	DBLP DOI BibTeX RDF
1	Keqin Li 0002, David Lee	Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms.	TestCom	2005	DBLP DOI BibTeX RDF
1	Stefan Wagner 0001, Jan Jürjens, Claudia Koller, Peter Trischberger	Comparing Bug Finding Tools with Reviews and Tests.	TestCom	2005	DBLP DOI BibTeX RDF
1	Justyna Zander, Zhen Ru Dai, Ina Schieferdecker, George Din	From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing.	TestCom	2005	DBLP DOI BibTeX RDF	UML 2.0 Testing Profile, UML, Testing, MDA, Model transformation, MOF, TTCN-3, QVT
1	Zoltán Pap, Gyula Csopaki, Sarolta Dibuz	On FSM-Based Fault Diagnosis.	TestCom	2005	DBLP DOI BibTeX RDF	output fault, transfer fault, fault diagnosis, Finite state machine, fault localization
1	Diana Senn, David A. Basin, Germano Caronni	Firewall Conformance Testing.	TestCom	2005	DBLP DOI BibTeX RDF
1	Boonserm Kulvatunyou, Nenad Ivezic, Albert T. Jones	Content-Level Conformance Testing: An Information Mapping Case Study.	TestCom	2005	DBLP DOI BibTeX RDF
1	Machiel van der Bijl, Arend Rensink, Jan Tretmans	Action Refinement in Conformance Testing.	TestCom	2005	DBLP DOI BibTeX RDF
1	Caixia Chi, Ruibing Hao	Test Generation for Interaction Detection in Feature-Rich Communication Systems.	TestCom	2005	DBLP DOI BibTeX RDF
1	M. Ümit Uyar, Yu Wang 0012, Samrat S. Batth, Adriana Wise, Mariusz A. Fecko	Timing Fault Models for Systems with Multiple Timers.	TestCom	2005	DBLP DOI BibTeX RDF	Timer Constraints, Fault Modeling, Timed Automata, Conformance Testing, Multiple Faults
1	Moez Krichen, Stavros Tripakis	State Identification Problems for Timed Automata.	TestCom	2005	DBLP DOI BibTeX RDF
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	Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli	Passive Testing - A Constrained Invariant Checking Approach.	TestCom	2005	DBLP DOI BibTeX RDF	invariant checking, SCP, invariants, constraint solving, passive testing
1	Moez Krichen, Stavros Tripakis	An Expressive and Implementable Formal Framework for Testing Real-Time Systems.	TestCom	2005	DBLP DOI BibTeX RDF
1	Tatiana Sugeta, José Carlos Maldonado, W. Eric Wong	Mutation Testing Applied to Validate SDL Specifications.	TestCom	2004	DBLP DOI BibTeX RDF	SDL, Mutation Testing, Specification Testing
1	Helmut Neukirchen, Zhen Ru Dai, Jens Grabowski	Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing.	TestCom	2004	DBLP DOI BibTeX RDF
1	Roland Groz, Robert M. Hierons (eds.)	Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings	TestCom	2004	DBLP DOI BibTeX RDF
1	Jiale Huo, Alexandre Petrenko	On Testing Partially Specified IOTS through Lossless Queues.	TestCom	2004	DBLP DOI BibTeX RDF
1	Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko 0001	FSM Based Interoperability Testing Methods for Multi Stimuli Model.	TestCom	2004	DBLP DOI BibTeX RDF
1	Sarolta Dibuz, Tibor Szabó, Zsolt Torpis	BCMP Performance Test with TTCN-3 Mobile Node Emulator.	TestCom	2004	DBLP DOI BibTeX RDF
1	Stephan Schulz 0002	Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols.	TestCom	2004	DBLP DOI BibTeX RDF
1	Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet	From Safety Verification to Safety Testing.	TestCom	2004	DBLP DOI BibTeX RDF
1	Harold J. Batteram, Wim Hellenthal, Willem A. Romijn, Andreas Hoffmann 0001, Axel Rennoch, Alain Vouffo	Implementation of an Open Source Toolset for CCM Components and Systems Testing.	TestCom	2004	DBLP DOI BibTeX RDF
1	Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Holger Pals	From Design to Test with UML: Applied to a Roaming Algorithm for Bluetooth Devices.	TestCom	2004	DBLP DOI BibTeX RDF
1	Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Pierre Combes, Wei Monin, Richard Castanet, Marcien MacKaya, Patrice Laurençot	A Multi-service and Multi-protocol Validation Platform-Experimentation Results.	TestCom	2004	DBLP DOI BibTeX RDF
1	Tilo Mücke, Michaela Huhn	Generation of Optimized Testsuites for UML Statecharts with Time.	TestCom	2004	DBLP DOI BibTeX RDF
1	Theofanis Vassiliou-Gioles, George Din, Ina Schieferdecker	Execution of External Applications using TTCN-3.	TestCom	2004	DBLP DOI BibTeX RDF
1	Zhongjie Li, Jianping Wu, Xia Yin	Testing Multi Input/Output Transition System with All-Observer.	TestCom	2004	DBLP DOI BibTeX RDF
1	Giulio Maggiore, Letterio Pirrone, Gaethan Donlap Kouang, Federico Piovan, Biagio Ricco Galluzzo	Soip Over Satellite Testing - TIM Experience.	TestCom	2004	DBLP DOI BibTeX RDF
1	Naina Mittal, Ira Acharya	An Open Framework for Managed Regression Testing.	TestCom	2003	DBLP DOI BibTeX RDF	managed testing, networking equipment, test bench, hierarchical test case management, test plan tree, framework deployment, test-cycle reduction, testing tool collaboration, regression testing, black-box testing, Test automation, test framework, test planning, test execution, test scripts
1	Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko	An Automata-Based Approach to Property Testing in Event Traces.	TestCom	2003	DBLP DOI BibTeX RDF	distributed traces, monitoring, SDL, passive testing, property checking
1	Olaf Bergengruen	UMTS Terminal Testing: A Practical Perspective.	TestCom	2003	DBLP DOI BibTeX RDF
1	Alexandre Petrenko, Nina Yevtushenko 0001, Jiale Huo	Testing Transition Systems with Input and Output Testers.	TestCom	2003	DBLP DOI BibTeX RDF	input/output transition system, test generation, fault model, conformance testing
1	Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen	T911IMED TTCN-3 Based Graphical Real-Time Test Specification.	TestCom	2003	DBLP DOI BibTeX RDF
1	Roland Gecse, Sarolta Dibuz	An Intuitive TTCN-3 Data Presentation Format.	TestCom	2003	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	Abdeslam En-Nouaary, Rachida Dssouli	A Guided Method for Testing Timed Input Output Automata.	TestCom	2003	DBLP DOI BibTeX RDF	Timed Input Output Automata, Real-Time Systems, Testing, Test Purposes
1	M. Ranganathan, Olivier Deruelle, Doug Montgomery	Testing SIP Call Flows Using XML Protocol Templates.	TestCom	2003	DBLP DOI BibTeX RDF
1	Ana R. Cavalli, Edgardo Montes de Oca, Manuel Núñez 0001	TestNet: Let's Test Together!.	TestCom	2003	DBLP DOI BibTeX RDF
1	Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko 0001, Gregor von Bochmann	Fault Diagnosis in Extended Finite State Machines.	TestCom	2003	DBLP DOI BibTeX RDF
1	Ina Schieferdecker, Theofanis Vassiliou-Gioles	Realizing Distributed TTCN-3 Test Systems with TCI.	TestCom	2003	DBLP DOI BibTeX RDF
1	Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, Axel Rennoch	The UML 2.0 Testing Profile and Its Relation to TTCN-3.	TestCom	2003	DBLP DOI BibTeX RDF
1	José Antonio Arnedo, Ana R. Cavalli, Manuel Núñez 0001	Fast Testing of Critical Properties through Passive Testing.	TestCom	2003	DBLP DOI BibTeX RDF
1	Markus Lepper 0001, Baltasar Trancón y Widemann, Jacob Wieland	TUB-TCI An Architecture for Dynamic Deployment of Test Components.	TestCom	2003	DBLP DOI BibTeX RDF	XML based configuration, Conformance Testing, Dynamic Deployment
1	Jianping Wu, Zhongjie Li, Xia Yin	Towards Modeling and Testing of IP Routing Protocols.	TestCom	2003	DBLP DOI BibTeX RDF
1	Dieter Hogrefe, Anthony Wiles (eds.)	Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings	TestCom	2003	DBLP DOI BibTeX RDF
1	Maximilian Frey, Bernd-Holger Schlingloff	Conformance of Distributed Systems.	TestCom	2003	DBLP DOI BibTeX RDF
1	Vadim Trenkaev, Myungchul Kim 0001, Soonuk Seol	Interoperability Testing Based on a Fault Model for a System of Communicating FSMs.	TestCom	2003	DBLP DOI BibTeX RDF
1	Sarolta Dibuz, Péter Krémer	Framework and Model for Automated Interoperability Test and Its Application to ROHC.	TestCom	2003	DBLP DOI BibTeX RDF
1	Philippe Cousin	Interoperabolity Events Complementing Conformance Testing Activities.	TestCom	2003	DBLP DOI BibTeX RDF
1	Elaine J. Weyuker	Prediction = Power.	TestCom	2003	DBLP DOI BibTeX RDF	scalability, metrics, prediction, regression testing, risk, fault-prone, Architecture review
1	Hasan Ural, Craig Williams	Generating Checking Sequences for a Distributed Test Architecture.	TestCom	2003	DBLP DOI BibTeX RDF
1	Zoltán Ádám Mann, Jacques Calmet, Peter Kullmann	Testing Access to External Information Sources in a Mediator Environment.	TestCom	2002	DBLP BibTeX RDF
1	Ari Ahtiainen	Applying Formal Method in Mobile Protocol Testing.	TestCom	2002	DBLP BibTeX RDF
1	Michael Ebner, Aihong Yin, Mang Li	A Definition and Utilization of OMG IDL to TTCN-3 Mappings.	TestCom	2002	DBLP BibTeX RDF
1	Stephan Schulz 0002, Theofanis Vassiliou-Gioles	Implementation of TTCN-3 Test Systems using the TRI.	TestCom	2002	DBLP BibTeX RDF
1	Jan Bredereke, Bernd-Holger Schlingloff	An Automated, Flexible Testing Environment for UMTS.	TestCom	2002	DBLP BibTeX RDF
1	Tomohiko Ogishi, Toru Hasegawa, Toshihiko Kato, Kenji Suzuki 0003	A TCP Test System Specifying only Exceptional Packet Sequences.	TestCom	2002	DBLP BibTeX RDF
1	Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen	Timed TTCN-3 - A Real-time Extension for TTCN-3.	TestCom	2002	DBLP BibTeX RDF
1	Soonuk Seol, Myungchul Kim 0001, Samuel T. Chanson	Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle.	TestCom	2002	DBLP BibTeX RDF
1	Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans	Test Selection, Trace Distance and Heuristics.	TestCom	2002	DBLP BibTeX RDF
1	Georg Rößler, Thomas Steinert	A Flexible Traffic Generator for Testing PABX and Call Center Performance.	TestCom	2002	DBLP BibTeX RDF
1	Robert V. Binder	Achieving High Reliability for Ubiquitous Information Technology.	TestCom	2002	DBLP BibTeX RDF
1	Jan Peleska 0001	Hardware/Software Integration Testing for the new Airbus Aircraft Families.	TestCom	2002	DBLP BibTeX RDF

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