The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Conformance with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1986 (19) 1987-1989 (28) 1990-1991 (34) 1992 (29) 1993 (17) 1994 (26) 1995 (16) 1996 (23) 1997-1998 (32) 1999 (38) 2000 (39) 2001 (55) 2002 (43) 2003 (77) 2004 (86) 2005 (131) 2006 (124) 2007 (117) 2008 (132) 2009 (100) 2010 (55) 2011 (65) 2012 (55) 2013 (63) 2014 (75) 2015 (59) 2016 (62) 2017 (47) 2018 (57) 2019 (52) 2020 (72) 2021 (66) 2022 (75) 2023 (59) 2024 (12)
Publication types (Num. hits)
article(534) book(5) incollection(17) inproceedings(1455) phdthesis(29)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1454 occurrences of 786 keywords

Results
Found 2040 publication records. Showing 2040 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
78Ronald W. Brower, Kenneth S. Stevens Congruent Weak Conformance, a Partial Order among Processes. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
70Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl Requirements Coverage as an Adequacy Measure for Conformance Testing. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
70Dae-Kyoo Kim Evaluating Conformance of UML Models to Design Patterns. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF pattern specification, pattern tools, UML, Design pattern, object-oriented model
70Yi Luo, Zhiyong Peng, Zhe Shan 0001, Qing Li 0001 Semantics Based Conformance Assessment of ebXML Business Processes. Search on Bibsonomy WISE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
70Zhe Shan 0001, Qing Li 0001, Kamalakar Karlapalem Enacting Conformance Assessment of Business Processes - An ebXML Based Approach in E-ADOME. Search on Bibsonomy COMPSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
70Mikael Marche, Yves-Marie Quemener A Model for Conformance Testing of Mobile Agents in a MASIF Framework. Search on Bibsonomy FAABS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
67David Polock, Dieter Zöbel Conformance testing of priority inheritance protocols. Search on Bibsonomy RTCSA The full citation details ... 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
62David de Frutos-Escrig, Carlos Gregorio-Rodríguez Preserving Contexts for Soft Conformance Relation. Search on Bibsonomy FATES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
62Tien Nhut Nguyen, Ethan V. Munson A Model for Conformance Analysis of Software Documents. Search on Bibsonomy IWPSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
62Lukasz Garstecki Generation of conformance test suites for parallel and distributed languages and APIs. Search on Bibsonomy PDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
62Philippe Cousin Interoperabolity Events Complementing Conformance Testing Activities. Search on Bibsonomy TestCom The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
58Sean Thompson, Torab Torabi Towards Formalizing Resource Based Non-conformance in Business. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF process resources, process non-conformance detection, resource non-conformance detection, process deviation, process improvement
54Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella Verifying Protocol Conformance for Logic-Based Communicating Agents. Search on Bibsonomy CLIMA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
54Tien Nhut Nguyen, Ethan V. Munson A Formalism for Conformance Analysis and Its Applications. Search on Bibsonomy SEFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
54Chris Horn Conformance, Genericity, Inheritance and Enhancement. Search on Bibsonomy ECOOP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
53Klaudia Dussa-Zieger, Markus Ettl, Richard Hofmann, O. Preissler Monitoring and modelling of a distributed ISDN test system. Search on Bibsonomy PDP The full citation details ... 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
52Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001 Framework composition conformance via refinement checking. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF conformance notions, framework composition, refinement, CSP
52Jitian Xiao, Chiou Peng Lam, Huaizhong Li, Jun Wang Reformulation of the generation of conformance testing sequences to the asymmetric travelling salesman problem. Search on Bibsonomy GECCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Wp method, TSP, conformance testing, test sequence
52Wil M. P. van der Aalst Business alignment: using process mining as a tool for Delta analysis and conformance testing. Search on Bibsonomy Requir. Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Business alignment, Delta analysis, Workflow management, Business process management, Conformance testing, Process mining
52Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. Search on Bibsonomy EPEW/WS-FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF web service interaction protocols, formal verification, conformance test, finite state automata
52Hyung-Woo Lee, Sung-Hyun Yun, Jae-Sung Kim, Nam-Ho Oh, Do-Hyung Kim IPv6/IPsec Conformance Test Management System with Formal Description Technique. Search on Bibsonomy ICCSA (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Architecture. 1, Security, IPv6, Conformance Test, IPSec, Formal Description
52Diego Latella, Mieke Massink On testing and conformance relations for UML statechart diagrams behaviours. Search on Bibsonomy ISSTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF UML statechart diagrams, formal testing theory, conformance testing, formal semantics, testing theory
52Ahmed Khoumsi A Method for Testing the Conformance of Real Time Systems. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF GeneralizedWp-Method, Timed Automata (TA), se-FSA, Exp, Real-time systems, Conformance testing, Test cases generation, Set, Test architecture
52Robert S. Matthews, K. H. Muralidhar, Steven Sparks MAP 2.1 Conformance Testing Tools. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
51Gang Luo, Gregor von Bochmann, Alexandre Petrenko Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
50David H. Pitt, David Freestone The Derivation of Conformance Tests from LOTOS Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
48Ganesh Gopalakrishnan, Erik Brunvand, Nick Michell, Steven M. Nowick A correctness criterion for asynchronous circuit validation and optimization. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
47Stephen E. Levy, Carl Gutwin Improving understanding of website privacy policies with fine-grained policy anchors. Search on Bibsonomy WWW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF APPEL, conformance conflicts, e-commerce, privacy policies, P3P, user agents, privacy preferences
46Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Shengqiong Wang Conformance Testing of Network Simulators Based on Metamorphic Testing Technique. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
46Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff Metamodel-based model conformance and multiview consistency checking. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multiview consistency, formal methods, Metamodeling, automated verification
46Dae-Kyoo Kim, Wuwei Shen An approach to evaluating structural pattern conformance of UML models. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
46Michiel van Osch Hybrid Input-Output Conformance and Test Generation. Search on Bibsonomy FATES/RV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
46Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti Verification of Protocol Conformance and Agent Interoperability. Search on Bibsonomy CLIMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof Stuck-Free Conformance. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
46Dongsoo Kim, Jung-Hee Yun Development of an ebXML Conformance Test System for e-Business Solutions. Search on Bibsonomy EC-Web The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
46Sriram K. Rajamani, Jakob Rehof Conformance Checking for Models of Asynchronous Message Passing Software. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Marwan Abi-Antoun, Jonathan Aldrich Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF architectural extraction, component-and-connector view, conformance analysis, points-to analysis, object graphs, object diagram, runtime architecture
44Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca A passive conformance testing approach for a MANET routing protocol. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MANET, routing protocols, conformance testing
44Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel Run-time conformance checking of mobile and distributed systems using executable models. Search on Bibsonomy PADTAD The full citation details ... 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
44Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Nirmit Desai, Viviana Patti, Munindar P. Singh Choice, interoperability, and conformance in interaction protocols and service choreographies. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF web services, interoperability, choreographies, interaction protocols, conformance
44Dae-Kyoo Kim, Wuwei Shen Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Pattern conformance, RBML, UML, Design pattern
44Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang 0001, Anne Rozinat, Eric Verbeek 0001 Conformance checking of service behavior. Search on Bibsonomy ACM Trans. Internet Techn. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ProM, Web services, Petri nets, BPEL, conformance
44Marwan Abi-Antoun, Jonathan Aldrich Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF conformance checking, runtime architecture
44Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam Conformance Testing of Distributed Concurrent Systems with Executable Designs. Search on Bibsonomy FMCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF concolic execution, Creol, Model-based testing, conformance testing, Maude
44Jacek Rosik, Andrew Le Gear, Jim Buckley, Muhammad Ali Babar 0001 An industrial case study of architecture conformance. Search on Bibsonomy ESEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF architectural drift, architecture conformance, reflexion modelling, industrial experience
44João Paulo A. Almeida, Maria-Eugenia Iacob, Pascal van Eck Requirements traceability in model-driven development: Applying model and transformation conformance. Search on Bibsonomy Inf. Syst. Frontiers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Assessment, Model transformation, Conformance, Requirements traceability, Model-driven design
44Dave Arnold, Jean-Pierre Corriveau, Vojislav D. Radonjic Open framework for conformance testing via scenarios. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF metrics, scenarios, contracts, conformance testing, non-functional requirements
44Federico Chesani, Paola Mello, Marco Montali, Sergio Storari Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. Search on Bibsonomy AIME The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Careflow management, Conformance verification, Computational logic, Clinical practice guidelines
44Vlad Rusu, Hervé Marchand, Thierry Jéron Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF symbolic test generation, verification, conformance testing
44Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko Practical Approach to Specification and Conformance Testing of Distributed Network Applications. Search on Bibsonomy ISAS The full citation details ... 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
44Mang Li, Axel Rennoch, Ina Schieferdecker, Dorota Witaszek, O. Halabi, Alain Vouffo, Aihong Yin Experience Report on Conformance Tests for CORBA ORBs. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Static and dynamic analysis, CORBA, Conformance testing, Testability, Testing tools
44René G. de Vries, Jan Tretmans On-the-fly Conformance Testing using SPIN. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Spin verification tool, Formal methods, Conformance testing, Test automation, Test generation algorithms
42Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. Search on Bibsonomy ICST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF symbolic input-output conformance, symbolic test case generation, model-based testing, conformance testing, symbolic execution
42Gregor von Bochmann, Rachida Dssouli, J. R. Zhao Trace Analysis for Conformance and Arbitration Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
39Jonathan Aldrich Using Types to Enforce Architectural Structure. Search on Bibsonomy WICSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF communication integrity, verification, software architecture, static analysis, programming language, type system, conformance, ownership
38Florian Deissenboeck, Lars Heinemann, Benjamin Hummel, Elmar Jürgens Flexible architecture conformance assessment with ConQAT. Search on Bibsonomy ICSE (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
38René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst Static Validation of Licence Conformance Policies. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF static analysis, open systems, policy enforcement
38Jaeyong Park, David C. Rine, Elizabeth White Assessing conformance of pattern-based design in UML. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pattern-based design, UML, design pattern, profile, assessment
38Laura Giordano 0001, Alberto Martelli Verifying Agents' Conformance with Multiparty Protocols. Search on Bibsonomy CLIMA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Chien-Min Wang, Chi-Chang Huang, Hsi-Min Chen, Shun-Te Wang Conformance Checking of Running Programs in Dynamic Aspect-Oriented Systems. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Laura Giordano 0001, Alberto Martelli Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. Search on Bibsonomy AI*IA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Dick A. C. Quartel, Marten van Sinderen On Interoperability and Conformance Assessment in Service Composition. Search on Bibsonomy EDOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Jenny Bhuiyan, Surya Nepal, John J. Zic Checking Conformance between Business Processes and Web Service Contract in Service Oriented Applications. Search on Bibsonomy ASWEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. Search on Bibsonomy ICSOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Moez Krichen, Stavros Tripakis Interesting Properties of the Real-Time Conformance Relation. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Amit K. Chopra, Munindar P. Singh Producing Compliant Interactions: Conformance, Coverage, and Interoperability. Search on Bibsonomy DALT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Dario Fischbein, Sebastián Uchitel, Víctor A. Braberman A foundation for behavioural conformance in software product line architectures. Search on Bibsonomy ROSATEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Raman Kazhamiakin, Marco Pistore Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. Search on Bibsonomy WS-FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Hylke W. van Dijk, Bas Graaf, Rob Boerman On the Systematic Conformance Check of Software Artefacts. Search on Bibsonomy EWSA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Boonserm Kulvatunyou, Nenad Ivezic, Albert T. Jones Content-Level Conformance Testing: An Information Mapping Case Study. Search on Bibsonomy TestCom The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Jun 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. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Joan Ruiz, Alex Vallejo, Jaume Abella 0002 IPv6 Conformance and Interoperability Testing. Search on Bibsonomy ISCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans Audition of Web Services for Testing Conformance to Open Specified Protocols. Search on Bibsonomy Architecting Systems with Trustworthy Components The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Sriram K. Rajamani, Jakob Rehof Models for Contract Conformance. Search on Bibsonomy ISoLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Moez Krichen, Stavros Tripakis Black-Box Conformance Testing for Real-Time Systems. Search on Bibsonomy SPIN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Paresh Jain, Amresh Paresh Jain Validating Wireless Protocol Conformance Test Cases. Search on Bibsonomy SAM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Xin Xiang, Yuanchun Shi, Ling Guo A Conformance Test Suite of Localized LOM Model. Search on Bibsonomy ICALT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni Aspects of protocol conformance in inter-agent dialogue. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF logic-based agents, agent communication protocols
38Bin Zhou, Tomohiro Yoneda, Bernd-Holger Schlingloff Conformance and mirroring for timed asychronous circuits. Search on Bibsonomy ASP-DAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs. Search on Bibsonomy ICOIN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38C. Geldrez, Stan Matwin, Johanne Morin, Robert L. Probert An Application of Explanation-Based Learning to Protocol Conformance Testing. Search on Bibsonomy IEEE Expert The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
37James F. Leathrum, K. A. Liburdy A formal approach to requirements based testing in open systems standards. Search on Bibsonomy ICRE The full citation details ... 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
37John H. Baumert Process Assessment with a Project Focus. Search on Bibsonomy IEEE Softw. The full citation details ... 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
37Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi Test Selection Based on Finite State Models. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
36Moez Krichen, Stavros Tripakis Conformance testing for real-time systems. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability
36John-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. Search on Bibsonomy Int. J. Soc. Robotics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bio-robotics and biomedical robotics, Artificial skin, Skin compliance, Finite element method, Conformance, Hysteresis, Prosthetics
36Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli Observability and Controllability Issues in Conformance Testing of Web Service Compositions. Search on Bibsonomy TestCom/FATES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF observability and controllability, verdict testing report, Web Service composition, Conformance testing
36Wissam Mallouli, Bachar Wehbi, Ana R. Cavalli Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking. Search on Bibsonomy ADHOC-NOW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Trace Collection and Correlation, Nomad Logic, Ad Hoc Networks, Monitoring, Conformance Testing, Security Analysis
36Marwan Abi-Antoun Static extraction and conformance checking of the runtime architecture of object-oriented systems. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF architectural extraction, ownership types, conformance checking, runtime architecture
36Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J. Sullivan Automatic modularity conformance checking. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF modularity, conformance checking
36Marek Kopel, Aleksander Zgrzywa The Consistency and Conformance of Web Document Collection Based on Heterogeneous DAC Graph. Search on Bibsonomy IEA/AIE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Web document collection, heterogeneous graph, consistency, relationship, conformance
36Jihyeon Jang, Stephen J. Elliott, Hakil Kim Implementation of BioAPI Conformance Test Suite Using BSP Testing Model. Search on Bibsonomy WISA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF BioAPI, Conformance Test Suite, Biometric Service Pro- vider
36Pemadeep Ramsokul, Arcot Sowmya A Sniffer Based Approach to WS Protocols Conformance Checking. Search on Bibsonomy ISPDC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF sniffer, web services, protocols, interoperability, conformance checking
36Ahmed Khoumsi A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF real-time discrete event systems (RTDES), conformance relation tioco, Set-Exp-Automata, timed automata, supervisory control
36Steve 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. Search on Bibsonomy SIGCOMM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
36Rachel Cardell-Oliver Conformance Tests for Real-Time Systems with Timed Automata Specifications. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Real-time systems, Timed automata, Conformance testing, Test selection
36Robert M. Hierons, Mark Harman Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Design for test conditions, Quasi-non-determinism, Testing, Conformance, Non-determinism, Stream X-machine
32Guy-Vincent Jourdan, Gregor von Bochmann On Testing 1-Safe Petri Nets. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Stefania Gnesi, Diego Latella, Mieke Massink Formal Test-Case Generation for UML Statecharts. Search on Bibsonomy ICECCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan Correct Passive Testing Algorithms and Complete Fault Coverage. Search on Bibsonomy FORTE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2040 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license