|
|
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 |
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 |
Displaying result #101 - #200 of 2040 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|