Search results for "conformance testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	David Polock, Dieter Zöbel	Conformance testing of priority inheritance protocols.	RTCSA	2000	DBLP DOI BibTeX RDF	priority inheritance protocols, priority inversion problem, protocol interfaces, predictability criteria, scheduling, real-time systems, real time systems, protocols, operating systems, conformance testing, conformance testing, run-time systems, test suites, application programmer
3	Moez Krichen, Stavros Tripakis	Conformance testing for real-time systems.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability
3	Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca	A passive conformance testing approach for a MANET routing protocol.	SAC	2009	DBLP DOI BibTeX RDF	MANET, routing protocols, conformance testing
3	Jitian Xiao, Chiou Peng Lam, Huaizhong Li, Jun Wang	Reformulation of the generation of conformance testing sequences to the asymmetric travelling salesman problem.	GECCO	2006	DBLP DOI BibTeX RDF	Wp method, TSP, conformance testing, test sequence
3	Wil M. P. van der Aalst	Business alignment: using process mining as a tool for Delta analysis and conformance testing.	Requir. Eng.	2005	DBLP DOI BibTeX RDF	Business alignment, Delta analysis, Workflow management, Business process management, Conformance testing, Process mining
3	Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough	Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.	SIGCOMM	2005	DBLP DOI BibTeX RDF	specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
3	Vlad Rusu, Hervé Marchand, Thierry Jéron	Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems.	FM	2005	DBLP DOI BibTeX RDF	symbolic test generation, verification, conformance testing
3	Victor V. Kuliamin, Nick V. Pakoulin, Alexandre Petrenko	Practical Approach to Specification and Conformance Testing of Distributed Network Applications.	ISAS	2005	DBLP DOI BibTeX RDF	asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
3	René G. de Vries, Jan Tretmans	On-the-fly Conformance Testing using SPIN.	STTT	2000	DBLP DOI BibTeX RDF	Spin verification tool, Formal methods, Conformance testing, Test automation, Test generation algorithms
3	Klaudia Dussa-Zieger, Markus Ettl, Richard Hofmann, O. Preissler	Monitoring and modelling of a distributed ISDN test system.	PDP	1995	DBLP DOI BibTeX RDF	distributed ISDN test system, OSI specification, ISDN D-channel signalling, ISDN protocol testers, process scheduling strategy, performance evaluation, discrete event simulation, transport protocols, communication protocols, conformance testing, conformance testing, performance study, ISDN
3	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
3	Robert S. Matthews, K. H. Muralidhar, Steven Sparks	MAP 2.1 Conformance Testing Tools.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	MAP 2.1 conformance testing tools, run-time components, high-level control tool, document handling tools, manufacturing computer control, protocols, monitoring, software tools, program testing, program testing, ISO, test engines
2	Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa	When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving.	ICST	2010	DBLP DOI BibTeX RDF	symbolic input-output conformance, symbolic test case generation, model-based testing, conformance testing, symbolic execution
2	Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Shengqiong Wang	Conformance Testing of Network Simulators Based on Metamorphic Testing Technique.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
2	Indranil Saha, Kuntal Chakraborty, Suman Roy, B. VishnuVardhan Reddy, Venkatappaiah Kurapati, Vishesh Sharma	An approach to reverse engineering of C programs to simulink models with conformance testing.	ISEC	2009	DBLP DOI BibTeX RDF	reverse engineering, c, conformance testing, simulink
2	Matthias Woehrle, Kai Lampka, Lothar Thiele	Exploiting Timed Automata for Conformance Testing of Power Measurements.	FORMATS	2009	DBLP DOI BibTeX RDF
2	Martin Weiglhofer, Franz Wotawa	Asynchronous Input-Output Conformance Testing.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli	Observability and Controllability Issues in Conformance Testing of Web Service Compositions.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	observability and controllability, verdict testing report, Web Service composition, Conformance testing
2	Zhiliang Wang, Xia Yin, Yang Xiang, Ruiping Zhu, Shirui Gao, Xin Wu, Shijian Liu, Song Gao, Li Zhou, Peng Li	TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
2	Li Li, Wu Chou	An Abstract GFSM Model for Optimal and Incremental Conformance Testing of Web Services.	ICWS	2009	DBLP DOI BibTeX RDF
2	Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel	Run-time conformance checking of mobile and distributed systems using executable models.	PADTAD	2009	DBLP DOI BibTeX RDF	distributed event simulation, executable specification formalisms, Java, mobility, mobile agents, software testing, process algebra, conformance testing, ?-calculus, runtime monitoring, Aglets
2	Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni	Testing Real-Time Systems Using TINA.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	Prioritized Time Petri Nets, time optimal test cases, Real-time system, conformance testing
2	Gregor von Bochmann, Guy-Vincent Jourdan	Testing k-Safe Petri Nets.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	k -safe Petri nets, free-choice Petri nets, fault model, Conformance testing, automatic test generation
2	Thao Dang, Tarik Nahhal	Coverage-guided test generation for continuous and hybrid systems.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	Test generation, Hybrid systems, Model-based testing, Conformance testing, Test coverage
2	Dirk Seifert	Conformance Testing Based on UML State Machines.	ICFEM	2008	DBLP DOI BibTeX RDF
2	Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl	Requirements Coverage as an Adequacy Measure for Conformance Testing.	ICFEM	2008	DBLP DOI BibTeX RDF
2	Pham Ngoc Hung, Takuya Katayama	Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.	APSEC	2008	DBLP DOI BibTeX RDF
2	Julien Schmaltz, Jan Tretmans	On Conformance Testing for Timed Systems.	FORMATS	2008	DBLP DOI BibTeX RDF
2	Achim D. Brucker, Lukas Brügger, Burkhart Wolff	Model-Based Firewall Conformance Testing.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Model-based Testing, Firewall, Conformance Testing, Security Testing
2	Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam	Conformance Testing of Distributed Concurrent Systems with Executable Designs.	FMCO	2008	DBLP DOI BibTeX RDF	Creol, Model-based testing, conformance testing, Maude, concolic execution
2	Hongxin Hu, Gail-Joon Ahn	Enabling verification and conformance testing for access control model.	SACMAT	2008	DBLP DOI BibTeX RDF	model-based verification, access control, model-based testing, alloy, SAT solver
2	Harry Gros-Desormeaux, Hacène Fouchal, Philippe Hunel	Test Generation with DHT Networks.	ITNG	2008	DBLP DOI BibTeX RDF	master-slave paradigm, DHTs, conformance testing, distributed environments
2	Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa	Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods.	SEFM	2007	DBLP DOI BibTeX RDF
2	Dave Arnold, Jean-Pierre Corriveau, Vojislav D. Radonjic	Open framework for conformance testing via scenarios.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	metrics, scenarios, contracts, conformance testing, non-functional requirements
2	Lihua Duan, Yan Wang, Jessica Chen	Enhanced Traverse of Web Pages.	HASE	2007	DBLP DOI BibTeX RDF	web applications, conformance testing, test sequence
2	Lihua Duan, Jessica Chen	Alternative B-Sequences.	QSIC	2007	DBLP DOI BibTeX RDF	finite state machine, conformance testing, distinguishing sequence, checking sequence
2	Lihua Duan, Jessica Chen	Reducing Test Sequence Length Using Invertible Sequences.	ICFEM	2007	DBLP DOI BibTeX RDF	UIO sequence, finite state machine, conformance testing, test sequence
2	Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Refinement Testing.	TAP	2007	DBLP DOI BibTeX RDF	symbolic transition system, refinement, conformance testing, symbolic execution
2	John A. Stewart, Sarah J. Dumoulin, Sylvie Noël	X3D Conformance Testing Factors in Creating Aviable Test Suite.	CCECE	2006	DBLP DOI BibTeX RDF
2	Rob Nadolski, Owen O'Neill, Wim van der Vegt, Rob Koper	Conformance Testing, the Elixer within the Chain for Learning Scenarios and Objects.	ICALT	2006	DBLP DOI BibTeX RDF
2	José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino, Francisco C. Perez, Victoria Morillo	An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing.	ISoLA	2006	DBLP DOI BibTeX RDF
2	Yan Liu, Xia Yin, Jianping Wu	Experience of Conformance Testing on IPv6 Protocols.	ISCC	2006	DBLP DOI BibTeX RDF
2	Jessica Chen, Lihua Duan	Optimal Synchronizable Test Sequence from Test Segments.	QSIC	2006	DBLP DOI BibTeX RDF	unique input/output sequence, finite state machine, conformance testing, test sequence, distributed testing
2	Ergün Eraslan, Diyar Akay, Mustafa Kurt	Usability Ranking of Intercity Bus Passenger Seats Using Fuzzy Axiomatic Design Theory.	CDVE	2006	DBLP DOI BibTeX RDF	Fuzzy Axiomatic Design, Usability, Conformance Testing, Cooperative Engineering
2	Jessica Chen, Lihua Duan	Conditions for Avoiding Controllability Problems in Distributed Testing.	ICFEM	2006	DBLP DOI BibTeX RDF	unique input/output sequence, controllability, finite state machine, Conformance testing, test sequence
2	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
2	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
2	Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova	Data Abstraction and Constraint Solving for Conformance Testing.	APSEC	2005	DBLP DOI BibTeX RDF
2	Mao Zheng, Vangalur S. Alagar	Conformance Testing of BDI Properties in Agent-based Software Systems.	APSEC	2005	DBLP DOI BibTeX RDF
2	Jun Wang, Jitian Xiao, Chiou Peng Lam, Huaizhong Li	A Bipartite Graph Approach to Generate Optimal Test Sequences for Protocol Conformance Testing using the Wp-method.	APSEC	2005	DBLP DOI BibTeX RDF
2	Viraj Kumar, Mahesh Viswanathan	Conformance testing in the presence of multiple faults.	SODA	2005	DBLP DOI BibTeX RDF
2	Boonserm Kulvatunyou, Nenad Ivezic, Albert Jones	Content-Level Conformance Testing: An Information Mapping Case Study.	TestCom	2005	DBLP DOI BibTeX RDF
2	Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen	On the Correspondence Between Conformance Testing and Regular Inference.	FASE	2005	DBLP DOI BibTeX RDF
2	Bob Spencer	The Value of Conformance Testing and a Look at the SAF Test Project.	ISAS	2005	DBLP DOI BibTeX RDF
2	Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes	Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation.	QSIC	2005	DBLP DOI BibTeX RDF
2	Hacène Fouchal, Sébastien Gruson, Ludovic Pierre, Cyril Rabat, Antoine Rollet	Integrated Tool for Testing Timed Systems.	ISSADS	2005	DBLP DOI BibTeX RDF	Validation, Timed Automata, Conformance Testing, Automata Theory, Protocol Engineering
2	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
2	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
2	Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann	FSM-Based Incremental Conformance Testing Methods.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
2	Yujun Zhang, Zhongcheng Li	IPV6 Conformance Testing: Theory and Practice.	ITC	2004	DBLP DOI BibTeX RDF
2	Angelo Gargantini	Conformance Testing.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
2	Moez Krichen, Stavros Tripakis	Black-Box Conformance Testing for Real-Time Systems.	SPIN	2004	DBLP DOI BibTeX RDF
2	Francis Tam, Kari Ahvanainen	First Experience of Conformance Testing an Application Interface Specification Implementation.	ISAS	2004	DBLP DOI BibTeX RDF
2	Eliane Martins, Maria de Fátima Mattiello-Francisco	A Tool for Fault Injection and Conformance Testing of Distributed Systems.	LADC	2003	DBLP DOI BibTeX RDF
2	Philippe Cousin	Interoperabolity Events Complementing Conformance Testing Activities.	TestCom	2003	DBLP DOI BibTeX RDF
2	Harm M. A. van Beek, Sjouke Mauw	Automatic Conformance Testing of Internet Applications.	FATES	2003	DBLP DOI BibTeX RDF
2	Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian	Computing Unique Input/Output Sequences Using Genetic Algorithms.	FATES	2003	DBLP DOI BibTeX RDF	UIOs, Genetic Algorithms, Optimisation, Conformance Testing, FSMs
2	Manuel Núñez, Ismael Rodríguez	Towards Testing Stochastic Timed Systems.	FORTE	2003	DBLP DOI BibTeX RDF	Conformance testing, performance testing, test theory
2	Markus Lepper, 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
2	Alexandre Petrenko, Nina Yevtushenko, 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
2	Gábor Kovács, Zoltán Pap, Dung Le Viet, Antal Wu-Hen-Chang, Gyula Csopaki	Applying Mutation Analysis to SDL Specifications.	SDL Forum	2003	DBLP DOI BibTeX RDF	Test Generation, Conformance Testing, SDL, Mutation Analysis, MSC, Test Selection
2	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	Using static analysis to improve automatic test generation.	STTT	2003	DBLP DOI BibTeX RDF	Static analysis, Bisimulation, Conformance testing, Slicing, Asynchronous systems
2	Mikael Marche, Yves-Marie Quemener	A Model for Conformance Testing of Mobile Agents in a MASIF Framework.	FAABS	2002	DBLP DOI BibTeX RDF
2	Hacène Fouchal	Conformance Testing Techniques for Timed Systems.	SOFSEM	2002	DBLP DOI BibTeX RDF
2	Vlad Rusu	Verification Using Test Generation Techniques.	FME	2002	DBLP DOI BibTeX RDF	electronic purse, Formal verification, conformance testing
2	Ahmed Khoumsi	A Method for Testing the Conformance of Real Time Systems.	FTRTFT	2002	DBLP DOI BibTeX RDF	GeneralizedWp-Method, Timed Automata (TA), se-FSA, Exp, Real-time systems, Conformance testing, Test cases generation, Set, Test architecture
2	Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli	A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs. (PDF / PS)	ICOIN	2001	DBLP DOI BibTeX RDF
2	Gusztáv Adamis, Katalin Tarnay	Frame-Based Self-adaptive Test Case Selection.	IWSAS	2001	DBLP DOI BibTeX RDF	frame representation, self-adaptive, conformance testing, WAP, TTCN
2	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
2	Rim Belhassine-Cherif, Abderrazak Ghedamsi	Diagnostic Tests for Communicating Nondeterministic Finite State Machines.	ISCC	2000	DBLP DOI BibTeX RDF	diagnostic, symptom, Protocol conformance testing
2	Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli	Testing embedded real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product
2	Ahmed Khoumsi	A new method for testing real time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time systems testing, test sequence executability, test sequence execution, real-time systems, constraints, automatic test pattern generation, program testing, timed automata, conformance testing, conformance testing, sequences, test case generation, automata theory, state explosion, test architecture, test sequence generation, continuous-time systems
2	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	Using Static Analysis to Improve Automatic Test Generation.	TACAS	2000	DBLP DOI BibTeX RDF	static analysis, bisimulation, conformance testing, slicing, asynchronous systems
2	Hakim Kahlouche, César Viho, Massimo Zendri	Hardware Testing Using a Communication Protocol Conformance Testing Tool.	TACAS	1999	DBLP DOI BibTeX RDF
2	Ed Brinksma	Formal Methods for Conformance Testing: Theory Can Be Practical.	CAV	1999	DBLP DOI BibTeX RDF
2	Ina Schieferdecker, Mang Li, Andreas Hoffmann	Conformance Testing of TINA Service Components - The TTCN/ CORBA Gateway.	IS&N	1998	DBLP DOI BibTeX RDF
2	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
2	Lynne Rosenthal, Mark Skall, Mary Brady, Carmelo Montanez-Rivera	Web-based conformance testing for VRML.	ACM StandardView	1997	DBLP DOI BibTeX RDF
2	Alexandre Petrenko	Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing".	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF
2	Daisuke Teratani, Yoshiaki Kakuda, Tohru Kikuno	A New Model with Time Constraints for Conformance Testing of Communication Protocols.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF
2	Gang Luo, Gregor von Bochmann, Alexandre Petrenko	Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing
2	Gregor von Bochmann, Rachida Dssouli, J. R. Zhao	Trace Analysis for Conformance and Arbitration Testing.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	arbitration testing, implementation under test, IUT, communication protocol implementations, distributed test architectures, partial input/output traces, local observers, error-detection power, global knowledge, automated construction, trace analysis modules, reference specification, open systems interconnection, formal specification, protocols, transport protocol, program testing, open systems, conformance testing, conformance testing, OSI
2	David Rayner	Methodology and Framework for OSI Conformance Testing.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	Hubert Zimmermann	European Harmonization of OSI Usage and Conformance Testing Services.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
2	Behçet Sarikaya	Formal specification-based conformance testing.	SIGCOMM	1986	DBLP DOI BibTeX RDF	OSI
1	Monika Kapus-Kolar	New state-recognition patterns for conformance testing of finite state machine implementations.	Computer Standards & Interfaces	2012	DBLP DOI BibTeX RDF
1	Moez Krichen	A formal framework for black-box conformance testing of distributed real-time systems.	IJCCBS	2012	DBLP DOI BibTeX RDF
1	Xinchang Zhang, Meihong Yang, Guanggang Geng, Wanming Luo	A DFSM-Based Protocol Conformance Testing and Diagnosing Method.	Informatica, Lith. Acad. Sci.	2011	DBLP BibTeX RDF
1	Natallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist	Input-output Conformance Testing for Channel-based Service Connectors	PACO	2011	DBLP DOI BibTeX RDF
1	Haitao Dan, Robert M. Hierons	Conformance Testing from Message Sequence Charts.	ICST	2011	DBLP DOI BibTeX RDF