Search results for "Conformance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
78	Ronald W. Brower, Kenneth S. Stevens	Congruent Weak Conformance, a Partial Order among Processes.	FORTE	2002	DBLP DOI BibTeX RDF
70	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
70	Dae-Kyoo Kim	Evaluating Conformance of UML Models to Design Patterns.	ICECCS	2005	DBLP DOI BibTeX RDF	pattern specification, pattern tools, UML, Design pattern, object-oriented model
70	Yi Luo, Zhiyong Peng, Zhe Shan 0001, Qing Li 0001	Semantics Based Conformance Assessment of ebXML Business Processes.	WISE	2004	DBLP DOI BibTeX RDF
70	Zhe Shan 0001, Qing Li 0001, Kamalakar Karlapalem	Enacting Conformance Assessment of Business Processes - An ebXML Based Approach in E-ADOME.	COMPSAC	2004	DBLP DOI BibTeX RDF
70	Mikael Marche, Yves-Marie Quemener	A Model for Conformance Testing of Mobile Agents in a MASIF Framework.	FAABS	2002	DBLP DOI BibTeX RDF
67	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
62	David de Frutos-Escrig, Carlos Gregorio-Rodríguez	Preserving Contexts for Soft Conformance Relation.	FATES	2004	DBLP DOI BibTeX RDF
62	Tien Nhut Nguyen, Ethan V. Munson	A Model for Conformance Analysis of Software Documents.	IWPSE	2003	DBLP DOI BibTeX RDF
62	Lukasz Garstecki	Generation of conformance test suites for parallel and distributed languages and APIs.	PDP	2003	DBLP DOI BibTeX RDF
62	Philippe Cousin	Interoperabolity Events Complementing Conformance Testing Activities.	TestCom	2003	DBLP DOI BibTeX RDF
58	Sean Thompson, Torab Torabi	Towards Formalizing Resource Based Non-conformance in Business.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	process resources, process non-conformance detection, resource non-conformance detection, process deviation, process improvement
54	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella	Verifying Protocol Conformance for Logic-Based Communicating Agents.	CLIMA	2004	DBLP DOI BibTeX RDF
54	Tien Nhut Nguyen, Ethan V. Munson	A Formalism for Conformance Analysis and Its Applications.	SEFM	2004	DBLP DOI BibTeX RDF
54	Chris Horn	Conformance, Genericity, Inheritance and Enhancement.	ECOOP	1987	DBLP DOI BibTeX RDF
53	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
52	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001	Framework composition conformance via refinement checking.	SAC	2008	DBLP DOI BibTeX RDF	conformance notions, framework composition, refinement, CSP
52	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
52	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
52	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella	Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF	web service interaction protocols, formal verification, conformance test, finite state automata
52	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 (2)	2005	DBLP DOI BibTeX RDF	Architecture. 1, Security, IPv6, Conformance Test, IPSec, Formal Description
52	Diego Latella, Mieke Massink	On testing and conformance relations for UML statechart diagrams behaviours.	ISSTA	2002	DBLP DOI BibTeX RDF	UML statechart diagrams, formal testing theory, conformance testing, formal semantics, testing theory
52	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
52	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
51	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
50	David H. Pitt, David Freestone	The Derivation of Conformance Tests from LOTOS Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	formal description technique LOTOS, International Standards Organization, basic LOTOS operators, theoretical notion, canonical testers, finite test suites, test suite design, formal specification, protocols, standards, communication protocols, open systems, formal languages, conformance tests, conformance testing, OSI, protocol specifications, test processes
48	Ganesh Gopalakrishnan, Erik Brunvand, Nick Michell, Steven M. Nowick	A correctness criterion for asynchronous circuit validation and optimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
47	Stephen E. Levy, Carl Gutwin	Improving understanding of website privacy policies with fine-grained policy anchors.	WWW	2005	DBLP DOI BibTeX RDF	APPEL, conformance conflicts, e-commerce, privacy policies, P3P, user agents, privacy preferences
46	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
46	Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff	Metamodel-based model conformance and multiview consistency checking.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	multiview consistency, formal methods, Metamodeling, automated verification
46	Dae-Kyoo Kim, Wuwei Shen	An approach to evaluating structural pattern conformance of UML models.	SAC	2007	DBLP DOI BibTeX RDF
46	Michiel van Osch	Hybrid Input-Output Conformance and Test Generation.	FATES/RV	2006	DBLP DOI BibTeX RDF
46	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti	Verification of Protocol Conformance and Agent Interoperability.	CLIMA	2005	DBLP DOI BibTeX RDF
46	Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof	Stuck-Free Conformance.	CAV	2004	DBLP DOI BibTeX RDF
46	Dongsoo Kim, Jung-Hee Yun	Development of an ebXML Conformance Test System for e-Business Solutions.	EC-Web	2003	DBLP DOI BibTeX RDF
46	Sriram K. Rajamani, Jakob Rehof	Conformance Checking for Models of Asynchronous Message Passing Software.	CAV	2002	DBLP DOI BibTeX RDF
44	Marwan Abi-Antoun, Jonathan Aldrich	Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations.	OOPSLA	2009	DBLP DOI BibTeX RDF	architectural extraction, component-and-connector view, conformance analysis, points-to analysis, object graphs, object diagram, runtime architecture
44	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
44	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
44	Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Nirmit Desai, Viviana Patti, Munindar P. Singh	Choice, interoperability, and conformance in interaction protocols and service choreographies.	AAMAS (2)	2009	DBLP BibTeX RDF	web services, interoperability, choreographies, interaction protocols, conformance
44	Dae-Kyoo Kim, Wuwei Shen	Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	Pattern conformance, RBML, UML, Design pattern
44	Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang 0001, Anne Rozinat, Eric Verbeek 0001	Conformance checking of service behavior.	ACM Trans. Internet Techn.	2008	DBLP DOI BibTeX RDF	ProM, Web services, Petri nets, BPEL, conformance
44	Marwan Abi-Antoun, Jonathan Aldrich	Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	conformance checking, runtime architecture
44	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	concolic execution, Creol, Model-based testing, conformance testing, Maude
44	Jacek Rosik, Andrew Le Gear, Jim Buckley, Muhammad Ali Babar 0001	An industrial case study of architecture conformance.	ESEM	2008	DBLP DOI BibTeX RDF	architectural drift, architecture conformance, reflexion modelling, industrial experience
44	João Paulo A. Almeida, Maria-Eugenia Iacob, Pascal van Eck	Requirements traceability in model-driven development: Applying model and transformation conformance.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	Assessment, Model transformation, Conformance, Requirements traceability, Model-driven design
44	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
44	Federico Chesani, Paola Mello, Marco Montali, Sergio Storari	Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic.	AIME	2007	DBLP DOI BibTeX RDF	Careflow management, Conformance verification, Computational logic, Clinical practice guidelines
44	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
44	Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. 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
44	Mang Li, Axel Rennoch, Ina Schieferdecker, Dorota Witaszek, O. Halabi, Alain Vouffo, Aihong Yin	Experience Report on Conformance Tests for CORBA ORBs.	APAQS	2001	DBLP DOI BibTeX RDF	Static and dynamic analysis, CORBA, Conformance testing, Testability, Testing tools
44	René G. de Vries, Jan Tretmans	On-the-fly Conformance Testing using SPIN.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Spin verification tool, Formal methods, Conformance testing, Test automation, Test generation algorithms
42	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
42	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
39	Jonathan Aldrich	Using Types to Enforce Architectural Structure.	WICSA	2008	DBLP DOI BibTeX RDF	communication integrity, verification, software architecture, static analysis, programming language, type system, conformance, ownership
38	Florian Deissenboeck, Lars Heinemann, Benjamin Hummel, Elmar Jürgens	Flexible architecture conformance assessment with ConQAT.	ICSE (2)	2010	DBLP DOI BibTeX RDF
38	René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst	Static Validation of Licence Conformance Policies.	ARES	2008	DBLP DOI BibTeX RDF	static analysis, open systems, policy enforcement
38	Jaeyong Park, David C. Rine, Elizabeth White	Assessing conformance of pattern-based design in UML.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	pattern-based design, UML, design pattern, profile, assessment
38	Laura Giordano 0001, Alberto Martelli	Verifying Agents' Conformance with Multiparty Protocols.	CLIMA	2008	DBLP DOI BibTeX RDF
38	Chien-Min Wang, Chi-Chang Huang, Hsi-Min Chen, Shun-Te Wang	Conformance Checking of Running Programs in Dynamic Aspect-Oriented Systems.	APSEC	2007	DBLP DOI BibTeX RDF
38	Laura Giordano 0001, Alberto Martelli	Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic.	AI*IA	2007	DBLP DOI BibTeX RDF
38	Dick A. C. Quartel, Marten van Sinderen	On Interoperability and Conformance Assessment in Service Composition.	EDOC	2007	DBLP DOI BibTeX RDF
38	Jenny Bhuiyan, Surya Nepal, John J. Zic	Checking Conformance between Business Processes and Web Service Contract in Service Oriented Applications.	ASWEC	2006	DBLP DOI BibTeX RDF
38	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti	A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments.	ICSOC	2006	DBLP DOI BibTeX RDF
38	Moez Krichen, Stavros Tripakis	Interesting Properties of the Real-Time Conformance Relation.	ICTAC	2006	DBLP DOI BibTeX RDF
38	Amit K. Chopra, Munindar P. Singh	Producing Compliant Interactions: Conformance, Coverage, and Interoperability.	DALT	2006	DBLP DOI BibTeX RDF
38	Dario Fischbein, Sebastián Uchitel, Víctor A. Braberman	A foundation for behavioural conformance in software product line architectures.	ROSATEA	2006	DBLP DOI BibTeX RDF
38	Raman Kazhamiakin, Marco Pistore	Choreography Conformance Analysis: Asynchronous Communications and Information Alignment.	WS-FM	2006	DBLP DOI BibTeX RDF
38	Hylke W. van Dijk, Bas Graaf, Rob Boerman	On the Systematic Conformance Check of Software Artefacts.	EWSA	2005	DBLP DOI BibTeX RDF
38	Boonserm Kulvatunyou, Nenad Ivezic, Albert T. Jones	Content-Level Conformance Testing: An Information Mapping Case Study.	TestCom	2005	DBLP DOI BibTeX RDF
38	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
38	Joan Ruiz, Alex Vallejo, Jaume Abella 0002	IPv6 Conformance and Interoperability Testing.	ISCC	2005	DBLP DOI BibTeX RDF
38	Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans	Audition of Web Services for Testing Conformance to Open Specified Protocols.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
38	Sriram K. Rajamani, Jakob Rehof	Models for Contract Conformance.	ISoLA	2004	DBLP DOI BibTeX RDF
38	Moez Krichen, Stavros Tripakis	Black-Box Conformance Testing for Real-Time Systems.	SPIN	2004	DBLP DOI BibTeX RDF
38	Paresh Jain, Amresh Paresh Jain	Validating Wireless Protocol Conformance Test Cases.	SAM	2004	DBLP DOI BibTeX RDF
38	Xin Xiang, Yuanchun Shi, Ling Guo	A Conformance Test Suite of Localized LOM Model.	ICALT	2003	DBLP DOI BibTeX RDF
38	Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni	Aspects of protocol conformance in inter-agent dialogue.	AAMAS	2003	DBLP DOI BibTeX RDF	logic-based agents, agent communication protocols
38	Bin Zhou, Tomohiro Yoneda, Bernd-Holger Schlingloff	Conformance and mirroring for timed asychronous circuits.	ASP-DAC	2001	DBLP DOI BibTeX RDF
38	Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli	A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs.	ICOIN	2001	DBLP DOI BibTeX RDF
38	C. Geldrez, Stan Matwin, Johanne Morin, Robert L. Probert	An Application of Explanation-Based Learning to Protocol Conformance Testing.	IEEE Expert	1990	DBLP DOI BibTeX RDF
37	James F. Leathrum, K. A. Liburdy	A formal approach to requirements based testing in open systems standards.	ICRE	1996	DBLP DOI BibTeX RDF	requirements based testing, IEEE POSIX arena, open systems standards, full scale conformance test suite development, executable tests, Clemson Automated Testing System, design taxonomy, IEEE Std 10035-The Ada Language Binding to POSIX, formal specification, testing, systems analysis, open systems, conformance testing, IEEE standards, software standards, automatic translation, test requirements, formal approach
37	John H. Baumert	Process Assessment with a Project Focus.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	project focus, Computer Science Corporation, software process audit method, software capability evaluations, project level, organizational level, process-audit approach, CSC, process audit, standards, software quality, project management, process improvement, conformance testing, auditing, capability maturity model, CMM, SCA, conformance, SPA, process assessment, process maturity, software process assessments, Software Engineering Institute, SEI
37	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
36	Moez Krichen, Stavros Tripakis	Conformance testing for real-time systems.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability
36	John-John Cabibihan, Stéphane Pattofatto, Moez Jomâa, Ahmed Benallal, Maria Chiara Carrozza	Towards Humanlike Social Touch for Sociable Robotics and Prosthetics: Comparisons on the Compliance, Conformance and Hysteresis of Synthetic and Human Fingertip Skins.	Int. J. Soc. Robotics	2009	DBLP DOI BibTeX RDF	Bio-robotics and biomedical robotics, Artificial skin, Skin compliance, Finite element method, Conformance, Hysteresis, Prosthetics
36	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
36	Wissam Mallouli, Bachar Wehbi, Ana R. Cavalli	Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking.	ADHOC-NOW	2008	DBLP DOI BibTeX RDF	Trace Collection and Correlation, Nomad Logic, Ad Hoc Networks, Monitoring, Conformance Testing, Security Analysis
36	Marwan Abi-Antoun	Static extraction and conformance checking of the runtime architecture of object-oriented systems.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	architectural extraction, ownership types, conformance checking, runtime architecture
36	Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J. Sullivan	Automatic modularity conformance checking.	ICSE	2008	DBLP DOI BibTeX RDF	modularity, conformance checking
36	Marek Kopel, Aleksander Zgrzywa	The Consistency and Conformance of Web Document Collection Based on Heterogeneous DAC Graph.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Web document collection, heterogeneous graph, consistency, relationship, conformance
36	Jihyeon Jang, Stephen J. Elliott, Hakil Kim	Implementation of BioAPI Conformance Test Suite Using BSP Testing Model.	WISA	2007	DBLP DOI BibTeX RDF	BioAPI, Conformance Test Suite, Biometric Service Pro- vider
36	Pemadeep Ramsokul, Arcot Sowmya	A Sniffer Based Approach to WS Protocols Conformance Checking.	ISPDC	2006	DBLP DOI BibTeX RDF	sniffer, web services, protocols, interoperability, conformance checking
36	Ahmed Khoumsi	A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	real-time discrete event systems (RTDES), conformance relation tioco, Set-Exp-Automata, timed automata, supervisory control
36	Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, 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
36	Rachel Cardell-Oliver	Conformance Tests for Real-Time Systems with Timed Automata Specifications.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Real-time systems, Timed automata, Conformance testing, Test selection
36	Robert M. Hierons, Mark Harman	Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Design for test conditions, Quasi-non-determinism, Testing, Conformance, Non-determinism, Stream X-machine
32	Guy-Vincent Jourdan, Gregor von Bochmann	On Testing 1-Safe Petri Nets.	TASE	2009	DBLP DOI BibTeX RDF
32	Stefania Gnesi, Diego Latella, Mieke Massink	Formal Test-Case Generation for UML Statecharts.	ICECCS	2004	DBLP DOI BibTeX RDF
32	Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan	Correct Passive Testing Algorithms and Complete Fault Coverage.	FORTE	2003	DBLP DOI BibTeX RDF