Search results for "conformance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni	Logic-Based Agent Communication Protocols.	Workshop on Agent Communication Languages	2003	DBLP DOI BibTeX RDF
32	In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee	Testing of Concurrent Programs Based on Message Sequence Charts.	PDSE	1999	DBLP DOI BibTeX RDF	Concurrent Program Testing, Constraints-based Testing, Message Sequence Charts
31	Thao Dang 0001, Tarik Nahhal	Coverage-guided test generation for continuous and hybrid systems.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Test generation, Hybrid systems, Model-based testing, Conformance testing, Test coverage
31	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
31	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
31	Frédéric Dadeau, Marie-Laure Potet, Régis Tissot	A B Formal Framework for Security Developments in the Domain of Smart Card Applications.	SEC	2008	DBLP DOI BibTeX RDF	Conformance Relation, Access Control, Traceability, Security Model, B Method, Common Criteria
31	Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil	Test Purpose Concretization through Symbolic Action Refinement.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Symbolic Conformance Testing, Test Purpose Concretisation, Model Based Testing, Action Refinement, Test Purpose
31	Johann Eder, Horst Pichler, Amirreza Tahamtan	Probabilistic Time Management of Choreographies.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Probabilistic Time Management, Temporal Conformance, Web Services, Orchestration, Choreography
31	Ralph Foorthuis, Sjaak Brinkkemper, Rik Bos	An Artifact Model for Projects Conforming to Enterprise Architecture.	PoEM	2008	DBLP DOI BibTeX RDF	project conformance, analysis and design artifacts, projects, enterprise architecture, systems development
31	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
31	Tamás Horváth 0004, Tibor Sulyán	A Framework for Testing AIS Implementations.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	Application Interface Specification (AIS), Conformance Testing, Functional Testing, Service Availability
31	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
31	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
31	Claude Jard, Thierry Jéron	TGV: theory, principles and algorithms.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Test generation/synthesis, Model-checking, Protocols, Reactive systems, Conformance testing, Transition systems
31	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
31	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
31	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
31	Deepinder P. Sidhu, Ting-Kau Leung	Formal Methods for Protocol Testing: A Detailed Study.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	NBS Class 4 Transport Protocol, protocol-test-sequence generation techniques, real-world communication protocols, protocols, fault detection, fault coverage, fault coverage, conformance testing, Monte Carlo methods, Monte Carlo simulation, failure analysis, test sequences, protocol implementation, protocol testing
30	Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota 0001	Compositional Verification of Input-Output Conformance via CSP Refinement Checking.	ICFEM	2009	DBLP DOI BibTeX RDF
30	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
30	Li Li 0001, Wu Chou	An Abstract GFSM Model for Optimal and Incremental Conformance Testing of Web Services.	ICWS	2009	DBLP DOI BibTeX RDF
30	Martin Weiglhofer, Franz Wotawa	Asynchronous Input-Output Conformance Testing.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
30	Matthias Woehrle, Kai Lampka, Lothar Thiele	Exploiting Timed Automata for Conformance Testing of Power Measurements.	FORMATS	2009	DBLP DOI BibTeX RDF
30	Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund	Automatic Coding Rule Conformance Checking Using Logic Programming.	PADL	2008	DBLP DOI BibTeX RDF	Coding rule checking, Declarative domain-specific languages and applications, Logic programming, Programming environments
30	Dirk Seifert	Conformance Testing Based on UML State Machines.	ICFEM	2008	DBLP DOI BibTeX RDF
30	Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath	Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques.	ISCC	2008	DBLP DOI BibTeX RDF
30	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
30	Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet	A Verifiable Conformance Relationship between Smart Card Applets and B Security Models.	ABZ	2008	DBLP DOI BibTeX RDF
30	Slawomir Zielski, Janusz Sosnowski	The SCSI interface conformance tests generation.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
30	Javier Poncela-González, Juan Gómez-Salvador, Carlos Valero-Roldán, Unai Fernández-Plazaola	Using TTCN for Radio Conformance Test Systems.	SDL Forum	2007	DBLP DOI BibTeX RDF
30	Jing Li 0062, Huibiao Zhu, Geguang Pu	Conformance Validation between Choreography and Orchestration.	TASE	2007	DBLP DOI BibTeX RDF
30	Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis	Checking the Conformance of Java Classes Against Algebraic Specifications.	ICFEM	2006	DBLP DOI BibTeX RDF
30	Wolfhard Lawrence	Standard Module Conformance Testing.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
30	Avik Sinha, Amit M. Paradkar	Model-based functional conformance testing of web services operating on persistent data.	TAV-WEB	2006	DBLP DOI BibTeX RDF
30	John A. Stewart, Sarah J. Dumoulin, Sylvie Noël	X3D Conformance Testing Factors in Creating Aviable Test Suite.	CCECE	2006	DBLP DOI BibTeX RDF
30	Viraj Kumar, Mahesh Viswanathan 0001	Conformance testing in the presence of multiple faults.	SODA	2005	DBLP BibTeX RDF
30	Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova	Data Abstraction and Constraint Solving for Conformance Testing.	APSEC	2005	DBLP DOI BibTeX RDF
30	Anne Rozinat, Wil M. P. van der Aalst	Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models.	Business Process Management Workshops	2005	DBLP DOI BibTeX RDF
30	Bob Spencer	The Value of Conformance Testing and a Look at the SAF Test Project.	ISAS	2005	DBLP DOI BibTeX RDF
30	Alexandre Petrenko, Nina Yevtushenko 0001	Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.	FATES	2005	DBLP DOI BibTeX RDF
30	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
30	Angelo Gargantini	Conformance Testing.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
30	Walter R. Bischofberger, Jan Kühl, Silvio Löffler	Sotograph - A Pragmatic Approach to Source Code Architecture Conformance Checking.	EWSA	2004	DBLP DOI BibTeX RDF
30	Francis Tam, Kari Ahvanainen	First Experience of Conformance Testing an Application Interface Specification Implementation.	ISAS	2004	DBLP DOI BibTeX RDF
30	Lukasz Garstecki	Generating Reliable Conformance Test Suites for Parallel and Distributed Languages, Libraries, and APIs.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	parallel data-driven languages, Software testing
30	Yujun Zhang, Zhongcheng Li	IPV6 Conformance Testing: Theory and Practice.	ITC	2004	DBLP DOI BibTeX RDF
30	Chang Xu 0001, Beihong Jin	Conformance Test of Distributed Transaction Service.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
30	Harm M. A. van Beek, Sjouke Mauw	Automatic Conformance Testing of Internet Applications.	FATES	2003	DBLP DOI BibTeX RDF
30	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
30	Thomas Baar	Executable and Symbolic Conformance Tests for Implementation Models.	OOIS Workshops	2002	DBLP DOI BibTeX RDF
30	Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell	Automatic Generation of Conformance Tests from Message Sequence Charts.	SAM	2002	DBLP DOI BibTeX RDF
30	Hacène Fouchal	Conformance Testing Techniques for Timed Systems.	SOFSEM	2002	DBLP DOI BibTeX RDF
30	Eric Meyer, Thomas Santen	Behavioral Conformance Verification in an Integrated Approach Using UML and B.	IFM	2000	DBLP DOI BibTeX RDF
30	Hakim Kahlouche, César Viho, Massimo Zendri	Hardware Testing Using a Communication Protocol Conformance Testing Tool.	TACAS	1999	DBLP DOI BibTeX RDF
30	Ina Schieferdecker, Mang Li, Andreas Hoffmann 0001	Conformance Testing of TINA Service Components - The TTCN/ CORBA Gateway.	IS&N	1998	DBLP DOI BibTeX RDF
30	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
30	Neel Madhav	Testing Ada 95 Programs for Conformance to Rapide Architectures.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Software architecture, Ada 95, program instrumentation, run time monitoring
30	Ming Yu Yao, Gregor von Bochmann	Testing for a Conformance Relation Based on Acceptance.	TAPSOFT	1993	DBLP DOI BibTeX RDF
30	Behçet Sarikaya	Formal specification-based conformance testing.	SIGCOMM	1986	DBLP DOI BibTeX RDF	OSI
30	David Rayner	Methodology and Framework for OSI Conformance Testing.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
29	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
29	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
28	Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee Bhattarakosol	Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking.	ICWS	2011	DBLP DOI BibTeX RDF	Conformance verification, Model checking, Web service composition, Learning algorithm, Choreography
28	Arya Adriansyah, Boudewijn F. van Dongen, Wil M. P. van der Aalst	Conformance Checking Using Cost-Based Fitness Analysis.	EDOC	2011	DBLP DOI BibTeX RDF	fitness analysis, Business process management, process mining, business process analysis, conformance checking
28	Indranil Saha, Kuntal Chakraborty, Suman Roy 0001, 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
28	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
28	Johann Eder, Amirreza Tahamtan	Temporal Conformance of Federated Choreographies.	DEXA	2008	DBLP DOI BibTeX RDF	Temporal Conformance, Web Services, Composition, Orchestration, Choreographies
28	Ali Y. Duale, M. Ümit Uyar	A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	test generation, VHDL, Conformance testing, FSM, Estelle, EFSM
28	Rachel Cardell-Oliver	Conformance test experiments for distributed real-time systems.	ISSTA	2002	DBLP DOI BibTeX RDF	Lego RCX, design for testability, timed automata, conformance testing, distributed real-time systems, Uppaal
27	Michael Grohs, Jana-Rebecca Rehse	Attribute-Based Conformance Diagnosis: Correlating Trace Attributes with Process Conformance.	ICPM Workshops	2022	DBLP DOI BibTeX RDF
27	Wai Lam Jonathan Lee, Andrea Burattin, Jorge Munoz-Gama, Marcos Sepúlveda	Orientation and conformance: A HMM-based approach to online conformance checking.	Inf. Syst.	2021	DBLP DOI BibTeX RDF
27	Anja F. Syring, Niek Tax, Wil M. P. van der Aalst	Evaluating Conformance Measures in Process Mining using Conformance Propositions (Extended version).	CoRR	2019	DBLP BibTeX RDF
27	Anja F. Syring, Niek Tax, Wil M. P. van der Aalst	Evaluating Conformance Measures in Process Mining Using Conformance Propositions.	Trans. Petri Nets Other Model. Concurr.	2019	DBLP DOI BibTeX RDF
27	Wai Lam Jonathan Lee, H. M. W. Verbeek, Jorge Munoz-Gama, Wil M. P. van der Aalst, Marcos Sepúlveda	Recomposing conformance: Closing the circle on decomposed alignment-based conformance checking in process mining.	Inf. Sci.	2018	DBLP DOI BibTeX RDF
24	Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos	Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.	RV	2009	DBLP DOI BibTeX RDF
24	Paula Herber, Florian Friedemann, Sabine Glesner	Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF
24	Madhu Gopinathan, Sriram K. Rajamani	Enforcing object protocols by combining static and runtime analysis.	OOPSLA	2008	DBLP DOI BibTeX RDF	aspect oriented programming, program verification, invariants
24	Giorgio Brajnik	A comparative test of web accessibility evaluation methods.	ASSETS	2008	DBLP DOI BibTeX RDF	accessibility evaluation method, web accessibility, quality assessment
24	Tiago Massoni, Rohit Gheyi, Paulo Borba	Formal Model-Driven Program Refactoring.	FASE	2008	DBLP DOI BibTeX RDF
24	Cédric Fournet, Andy Gordon 0001, Sergio Maffeis	A Type Discipline for Authorization in Distributed Systems.	CSF	2007	DBLP DOI BibTeX RDF
24	Zhiming Chang, XinJun Mao, Zhichang Qi	An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style.	TASE	2007	DBLP DOI BibTeX RDF
24	Tanya Goette, Caroline Collier, Jennifer Daniels White	An exploratory study of the accessibility of state government Web sites.	Univers. Access Inf. Soc.	2006	DBLP DOI BibTeX RDF	Web site accessibility, State Web sites
24	Koichi Aritomi, Ryosuke Shibasaki, Nobuyoshi Yabuki	The Construction Management Cooperated with Clients Using a Parametric Information Design Method.	CDVE	2005	DBLP DOI BibTeX RDF
24	Christophe Gaston, Dirk Seifert	Evaluating Coverage Based Testing.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
24	Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab	Modeling Behavior in Compositions of Software Architectural Primitives.	ASE	2004	DBLP DOI BibTeX RDF
24	Nicolae Goga	Comparing TorX, Autolink, TGV and UIO Test Algorithms.	SDL Forum	2001	DBLP DOI BibTeX RDF
24	Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young	Compiler and tool support for debugging object protocols.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	protocols, debugging, sequencing constraints
24	Alexandre Petrenko	Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography.	MOVEP	2000	DBLP DOI BibTeX RDF
24	Michael J. Wooldridge	Verifiable Semantics for Agent Communication Languages.	ICMAS	1998	DBLP DOI BibTeX RDF
24	Mazen Malek, Sarolta Dibuz	Pragmatic Method for Interoperability Test Suite Derivation.	EUROMICRO	1998	DBLP DOI BibTeX RDF
24	Howard D. Owens, Baxter F. Womack, Mario J. Gonzalez	Software Error Classification using Purify.	ICSM	1996	DBLP DOI BibTeX RDF	Purify, maintenance, detection, Defects
24	Tilmann F. W. Bruckhaus	Towards a computer-aided process engineering environment.	CASCON	1992	DBLP BibTeX RDF
22	Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan	Testing Systems Specified as Partial Order Input/Output Automata.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Testing distributed systems, conformance relations, partial order automata, HMSC, partial order, finite state automata
22	Bas van der Raadt, Hans van Vliet	Designing the Enterprise Architecture Function.	QoSA	2008	DBLP DOI BibTeX RDF	Organizational, Management, Enterprise Architecture, Governance, Function, Reference Model, Conformance
22	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
22	Lihua Duan, Yan Wang 0014, Jessica Chen	Enhanced Traverse of Web Pages.	HASE	2007	DBLP DOI BibTeX RDF	web applications, conformance testing, test sequence
22	Eric Velleman, Christophe Strobbe, Johannes Koch, Carlos A. Velasco, Mikael Snaprud	A Unified Web Evaluation Methodology Using WCAG.	HCI (7)	2007	DBLP DOI BibTeX RDF	unified web evaluation methodology, uwem, web accessibility, certification, conformance
22	Sébastien Baehni, João Pedro Barreto 0002, Patrick Eugster, Rachid Guerraoui	Efficient distributed subtyping tests.	DEBS	2007	DBLP DOI BibTeX RDF	Java, event, type, subtype, conformance
22	Jens Knodel, Daniel Popescu 0001	A Comparison of Static Architecture Compliance Checking Approaches.	WICSA	2007	DBLP DOI BibTeX RDF	access rules, architecture compliance checking, conformance rules, SAVE, software architecture, static analysis, architecture evaluation
22	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