Search results for "conformance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Lihua Duan, Jessica Chen	Alternative B-Sequences.	QSIC	2007	DBLP DOI BibTeX RDF	finite state machine, conformance testing, distinguishing sequence, checking sequence
22	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
22	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
22	Kai Chen 0009, Fan Jiang 0005, Chuan-dong Huang	A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences.	SAC	2006	DBLP DOI BibTeX RDF	output-shifting faults, synchronization problems, distributed system, conformance testing, FSM
22	K. N. Gopinath, Pravin Bhagwat, K. Gopinath	An empirical analysis of heterogeneity in IEEE 802.11 MAC protocol implementations and its implications.	WINTECH	2006	DBLP DOI BibTeX RDF	device signature, performance models, IEEE 802.11, MAC, heterogeneity, conformance
22	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
22	César Viho	Test distribution: a solution for complex network system testing.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Test, Protocols, Interoperability, Distribution, Conformance
22	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
22	Emilia Katz, Shmuel Katz	Verifying Scenario-Based Aspect Specifications.	FM	2005	DBLP DOI BibTeX RDF	convenient executions, model-checking, scenarios, Aspects, conformance
22	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
22	Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann	Online testing with model programs.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	conformance testing, runtime verification, interface automata
22	Ulle Endriss	Temporal logics for normative agent communication protocols.	AAMAS	2005	DBLP DOI BibTeX RDF	protocol conformance, model checking
22	Ana R. Cavalli, Cyril Grepet, Stéphane Maag, Vincent Tortajada	A Validation Model for the DSR Protocol.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF	routing protocol, conformance testing, SDL, Ad hoc wireless networks, DSR
22	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	Using static analysis to improve automatic test generation.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Static analysis, Bisimulation, Conformance testing, Slicing, Asynchronous systems
22	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
22	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
22	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
22	Qiang Guo 0001, 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
22	Ahmed Khoumsi, Thierry Jéron, Hervé Marchand	Test Cases Generation for Nondeterministic Real-Time Systems.	FATES	2003	DBLP DOI BibTeX RDF	Conformance test cases generation, Determinizable Timed Automata (DTA), Set-Exp-Automata (SEA), Real-time systems, Test architecture
22	Manuel Núñez 0001, Ismael Rodríguez	Towards Testing Stochastic Timed Systems.	FORTE	2003	DBLP DOI BibTeX RDF	Conformance testing, performance testing, test theory
22	Vlad Rusu	Verification Using Test Generation Techniques.	FME	2002	DBLP DOI BibTeX RDF	electronic purse, Formal verification, conformance testing
22	K. Chandra Sekharaiah, D. Janaki Ram	Object Schizophrenia Problem in Object Role System Design.	OOIS	2002	DBLP DOI BibTeX RDF	Object Schizophrenia (OS), Object Schizophrenia Problem (OSP), Role Modeling Problem (RMP), Subject Oriented Programming (SOP), Whole-Part Association (WPA), Role Paradigm Conformance Model (RPCM)
22	Wen-Huei Chen, Cho-Ching Lu	Executable test sequence for the protocol control and data flow property with overlapping.	ISCC	2002	DBLP DOI BibTeX RDF	SCP tour, Conformance testing, EFSM
22	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
22	Rim Belhassine-Cherif, Abderrazak Ghedamsi	Diagnostic Tests for Communicating Nondeterministic Finite State Machines.	ISCC	2000	DBLP DOI BibTeX RDF	diagnostic, symptom, Protocol conformance testing
22	Kim Mens, Roel Wuyts, Theo D'Hondt	Declaratively Codifying Software Architectures Using Virtual Software Classifications.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	software classification, declarative reasoning, software architecture, software engineering tool, conformance checking
22	Anna Mikhajlova	Consistent Extension of Components in the Presence of Explicit Invariants.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	semantic conformance, component extensions, explicit invariants, refinement, consistency, inheritance, forwarding
22	Gautier Koscielny, Salah Sadou	Dynamic Reuse of Services in Distributed Systems.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	dynamic reuse, type conformance, coordination, open distributed systems, late binding
22	Dick A. C. Quartel, Marten van Sinderen, Luís Ferreira Pires	Service Creation: A Model-Based Approach.	FTDCS	1999	DBLP DOI BibTeX RDF	behavior refinement, conformance assessment, software components, behavior modeling, service creation
22	Patricia A. Billingsley	Ergonomic Standards Go Beyond Hardware.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	ergonomic standards, worker health, EC directive, European Community, European developers, US developers, conformance issues, usability standards, software companies, user interfaces, standards, user-interface design, safety, ergonomics, ISO standards, government policies, ISO 9000, ISO 9241, global market
22	Andreas Höfer, Marc Philipp	An Empirical Study on the TDD Conformance of Novice and Expert Pair Programmers.	XP	2009	DBLP DOI BibTeX RDF	experts and novices, test-driven development, pair programming, quasi-experiment
22	Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio	A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance.	AIME	2009	DBLP DOI BibTeX RDF
22	Gregorio Díaz 0001, Ismael Rodríguez	Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
22	Nabil Hameurlain	Compatibility and Conformance of Role-Based Interaction Components in MAS.	KES-AMSTA	2009	DBLP DOI BibTeX RDF
22	Giorgio Brajnik	Beyond Conformance: The Role of Accessibility Evaluation Methods.	WISE Workshops	2008	DBLP DOI BibTeX RDF
22	Pham Ngoc Hung, Takuya Katayama	Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.	APSEC	2008	DBLP DOI BibTeX RDF
22	Nikhil Dinesh, Aravind K. Joshi, Insup Lee 0001, Oleg Sokolsky	Checking Traces for Regulatory Conformance.	RV	2008	DBLP DOI BibTeX RDF
22	Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis	Implementation of the Conformance Relation for Incremental Development of Behavioural Models.	MoDELS	2008	DBLP DOI BibTeX RDF
22	Nikhil Dinesh, Aravind K. Joshi, Insup Lee 0001, Oleg Sokolsky	Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking.	DEON	2008	DBLP DOI BibTeX RDF
22	Wil M. P. van der Aalst	Discovery, Verification and Conformance of Workflows with Cancellation.	ICGT	2008	DBLP DOI BibTeX RDF	Reset Nets, Verification, Petri Nets, Soundness, Process Mining
22	Julien Schmaltz, Jan Tretmans	On Conformance Testing for Timed Systems.	FORMATS	2008	DBLP DOI BibTeX RDF
22	Mario Bravetti, Gianluigi Zavattaro	Contract Compliance and Choreography Conformance in the Presence of Message Queues.	WS-FM	2008	DBLP DOI BibTeX RDF
22	Ernesto Damiani, Gabriele Gianini	A Non-invasive Method for the Conformance Assessment of Pair Programming Practices Based on Hierarchical Hidden Markov Models.	XP	2007	DBLP DOI BibTeX RDF
22	Jennifer L. H. Webb	HRD Conformance for Real-time H.264 Video Encoding.	ICIP (5)	2007	DBLP DOI BibTeX RDF
22	Nikhil Dinesh, Aravind K. Joshi, Insup Lee 0001, Oleg Sokolsky	Logic-Based Regulatory Conformance Checking.	Monterey Workshop	2007	DBLP DOI BibTeX RDF
22	Amit M. Paradkar, Avik Sinha, Clay Williams, Robert D. Johnson, Susan Outterson, Charles Shriver, Carol Liang	Automated Functional Conformance Test Generation for Semantic Web Services.	ICWS	2007	DBLP DOI BibTeX RDF
22	Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie 0001	Conformance Checking of Access Control Policies Specified in XACML.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
22	Harald Meyer	Calculating the Semantic Conformance of Processes.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF
22	Mario Bravetti, Gianluigi Zavattaro	Towards a Unifying Theory for Choreography Conformance and Contract Compliance.	SC@ETAPS	2007	DBLP DOI BibTeX RDF
22	Marwan Abi-Antoun, Daniel Wang, Peter Torr	Checking threat modeling data flow diagrams for implementation conformance and security.	ASE	2007	DBLP DOI BibTeX RDF	reflexion models, denial of service, security analysis, threat modeling, data flow diagrams, information disclosure, tampering, spoofing
22	Evan Tan, Jing Chen	Towards a Stringent Bit-Rate Conformance for Frame-Layer Rate Control in H.264/AVC.	PCM	2007	DBLP DOI BibTeX RDF	frame-layer, linear R-Q model, H.264/AVC, rate control, complexity measure, bit allocation
22	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
22	Mercedes G. Merayo, Manuel Núñez 0001	Testing conformance on Stochastic Stream X-Machines.	SEFM	2007	DBLP DOI BibTeX RDF
22	Umesh Bellur	On using OO techniques to establish workflow conformance.	SAC	2006	DBLP DOI BibTeX RDF
22	José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino 0001, 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
22	Cyril Grepet, Stéphane Maag	Conformance and Interoperability Testing of an Ad Hoc Routing Protocol.	MDM	2006	DBLP DOI BibTeX RDF
22	Yan Liu, Xia Yin, Jianping Wu	Experience of Conformance Testing on IPv6 Protocols.	ISCC	2006	DBLP DOI BibTeX RDF
22	Fritjof Boger Engelhardtsen, Andreas Prinz 0001	Application of Stuck-Free Conformance to Service-Role Composition.	SAM	2006	DBLP DOI BibTeX RDF
22	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
22	João Paulo A. Almeida, Pascal van Eck, Maria-Eugenia Iacob	Requirements Traceability and Transformation Conformance in Model-Driven Development.	EDOC	2006	DBLP DOI BibTeX RDF	con-formance, assessment, model transformation, requirements traceability, model-driven design
22	Harald Fuchs, Nikolaus Färber	ISMA Interoperability and Conformance.	IEEE Multim.	2005	DBLP DOI BibTeX RDF
22	Sagar Chaki, Edmund M. Clarke, Nishant Sinha 0001, Prasanna Thati	Automated Assume-Guarantee Reasoning for Simulation Conformance.	CAV	2005	DBLP DOI BibTeX RDF
22	Diana Senn, David A. Basin, Germano Caronni	Firewall Conformance Testing.	TestCom	2005	DBLP DOI BibTeX RDF
22	Mao Zheng, Vangalur S. Alagar	Conformance Testing of BDI Properties in Agent-based Software Systems.	APSEC	2005	DBLP DOI BibTeX RDF
22	Joseph Vanderwaart, Karl Crary	Automated and certified conformance to responsiveness policies.	TLDI	2005	DBLP DOI BibTeX RDF	grid computing, typed assembly language, certified code
22	Frode Hansen, Vladimir A. Oleshchuk	Conformance Checking of RBAC Policy and its Implementation.	ISPEC	2005	DBLP DOI BibTeX RDF
22	Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko 0001	An Improved Conformance Testing Method.	FORTE	2005	DBLP DOI BibTeX RDF
22	Therese Berg, Olga Grinchtein, Bengt Jonsson 0001, Martin Leucker, Harald Raffelt, Bernhard Steffen	On the Correspondence Between Conformance Testing and Regular Inference.	FASE	2005	DBLP DOI BibTeX RDF
22	Reiko Heckel, Leonardo Mariani	Automatic Conformance Testing of Web Services.	FASE	2005	DBLP DOI BibTeX RDF
22	Khaled El-Fakih, Nina Yevtushenko 0001, Gregor von Bochmann	FSM-Based Incremental Conformance Testing Methods.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
22	Stephan Schulz 0002	Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols.	TestCom	2004	DBLP DOI BibTeX RDF
22	Luís Felipe Santos Silva, Guilherme Horta Travassos	Tool-Supported Unobtrusive Evaluation of Software Engineering Process Conformance.	ISESE	2004	DBLP DOI BibTeX RDF
22	Thierry J.-F. Omnés, Gerard Postuma, Jos Verhaegh, Marleen Boonen, Nick Gatherer	Using SSDE for USB2.0 conformance co-verification.	MEMOCODE	2003	DBLP DOI BibTeX RDF
22	G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv	Deriving Specialized Program Analyses for Certifying Component-Client Conformance.	PLDI	2002	DBLP DOI BibTeX RDF	model checking, static analysis, abstract interpretation, software components, predicate abstraction
22	Steffen Helke, Thomas Santen	Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries.	FME	2001	DBLP DOI BibTeX RDF
22	Lukasz Garstecki, Pawel Kaczmarek, Jacques Chassin de Kergommeaux, Henryk Krawczyk, Bogdan Wiszniewski	Testing for Conformance of Parallel Programming Pattern Languages.	PPAM	2001	DBLP DOI BibTeX RDF
22	Richard F. Paige, Jonathan S. Ostroff	Metamodelling and Conformance Checking with PVS.	FASE	2001	DBLP DOI BibTeX RDF
22	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
22	Arata Koike	TCP Conformance for Network-Based Control.	INTERWORKING	2000	DBLP DOI BibTeX RDF
22	Béatrice Bérard, Laurent Fribourg	Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol.	CAV	1999	DBLP DOI BibTeX RDF
22	Ed Brinksma	Formal Methods for Conformance Testing: Theory Can Be Practical.	CAV	1999	DBLP DOI BibTeX RDF
22	Jean-François Monin, Francis Klay	Correctness Proof of the Standardized Algorithm for ABR Conformance.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
22	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
22	Lynne Rosenthal, Mark Skall, Mary Brady, Carmelo Montanez-Rivera	Web-based conformance testing for VRML.	ACM Stand.	1997	DBLP DOI BibTeX RDF
22	Alexandre Petrenko	Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing".	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF
22	Fabrizio Lombardi, Yinan N. Shen, Hannu H. Kari	On a new approach for enhancing the fault coverage of conformance testing of protocols.	SPDP	1991	DBLP DOI BibTeX RDF
22	Bo Yang, Hasan Ural	Protocol Conformance Test Generation Using Multiple UIO Sequences With Overlapping.	SIGCOMM	1990	DBLP DOI BibTeX RDF
22	Hubert Zimmermann	European Harmonization of OSI Usage and Conformance Testing Services.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
16	Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez 0001, Ana R. Cavalli	A Statistical Approach to Test Stochastic and Probabilistic Systems.	ICFEM	2009	DBLP DOI BibTeX RDF
16	Margus Veanes, Nikolaj S. Bjørner	Input-Output Model Programs.	ICTAC	2009	DBLP DOI BibTeX RDF
16	Martin Feilkas, Daniel Ratiu, Elmar Jürgens	The loss of architectural knowledge during system evolution: An industrial case study.	ICPC	2009	DBLP DOI BibTeX RDF
16	Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca, Fatiha Zaïdi	A Formal Passive Testing Approach to test a MANET Routing Protocol.	PerCom Workshops	2009	DBLP DOI BibTeX RDF
16	Artur Boronat, José Meseguer 0001	Algebraic Semantics of OCL-Constrained Metamodel Specifications.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	OCL invariants, MOF metamodel, static and dynamic analysis of models, Membership equational logic
16	Jens R. Calamé, Jaco van de Pol	Applying Model-Based Testing to HTML Rendering Engines - A Case Study.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
16	Waldemar Pires, João Brunet, Franklin Ramalho	UML-based design test generation.	SAC	2008	DBLP DOI BibTeX RDF	design test, code generation, MDA, UML class diagram
16	Vibhore Kumar, Karsten Schwan, Subu Iyer, Yuan Chen 0001, Akhil Sahai	A state-space approach to SLA based management.	NOMS	2008	DBLP DOI BibTeX RDF
16	Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou	Testing Real-Time Systems Using UPPAAL.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
16	Qi Cui, Wenchang Shi	An Approach for Compliance Validation of Trusted Computing Applications.	WKDD	2008	DBLP DOI BibTeX RDF
16	Graham Hughes, Tevfik Bultan, Muath Alkhalaf	Client and server verification for web services using interface grammars.	TAV-WEB	2008	DBLP DOI BibTeX RDF	interface grammars, web services
16	Stephen Cranefield, Michael Winikoff	Verifying Social Expectations by Model Checking Truncated Paths.	COIN@AAMAS&AAAI	2008	DBLP DOI BibTeX RDF