|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 66 occurrences of 51 keywords
|
|
|
|
|
Results
Found 67 publication records. Showing 67 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi |
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.  |
TestCom/FATES  |
2009 |
DBLP DOI BibTeX RDF |
Service composition, symbolic execution, test-case generation, orchestration, transition systems, WS-BPEL, formal testing |
| 1 | Bastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld |
Debugging into Examples. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
Program comprehension, dynamic analysis, test coverage |
| 1 | Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes |
Model-Based Testing of Web Applications Using NModel. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen |
Interaction Coverage Meets Path Coverage by SMT Constraint Solving. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap |
An Approach for Test Selection for EFSMs Using a Theorem Prover. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Zeiss, Jens Grabowski |
Analyzing Response Inconsistencies in Test Suites. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaled El-Fakih, Nina Yevtushenko 0001, Hacène Fouchal |
Testing Timed Finite State Machines with Guaranteed Fault Coverage. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez 0001, Paul Baker, Mercedes G. Merayo (eds.) |
Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristóf Szabados |
Structural Analysis of Large TTCN-3 Projects. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Gecse |
Towards Automatic Generation of a Coherent TTCN-3 Template Framework. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hervé Marchand, Jérémy Dubreil, Thierry Jéron |
Automatic Testing of Access Control for Security Properties. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Guo 0001, John Derrick, Neil Walkinshaw |
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
FBT, Structural Coverage, Testing, Transformation, Erlang |
| 1 | Paulo R. F. Nunes, Simone Hanazumi, Ana Cristina Vieira de Melo |
OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | 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 |
| 1 | Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko 0001 |
Generating Reduced Tests for FSMs with Extra States. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth 0001, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker |
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
Service Choreography Models, Model Checking, Formal Methods, Model-based Testing, Integration Testing |
| 1 | Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich |
Implementing MSC Tests with Quiescence Observation. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
sound tests, test implementations, fault detection power, Message Sequence Charts, Distributed testing |
| 1 | Klaus Havelund |
Runtime Verification of C Programs. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | Adenilso da Silva Simão, Alexandre Petrenko |
Generating Checking Sequences for Partial Reduced Finite State Machines. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqiang Shu, Dongluo Chen, Zhijun Liu, Na Li, Lifeng Sang, David Lee 0001 |
VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
Virtualization, Network Modeling, Test Automation, Network Emulation, Security Testing |
| 1 | Farn Wang, Geng-Dian Huang |
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001 |
Implementation Relations for the Distributed Test Architecture. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yutaka Yasuda |
All-IP Based Ultra 3G Network/Service Development in a Competitive Market. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
FMBC, Modular Development, All-IP Networks |
| 1 | Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini |
Model-Based Generation of Testbeds for Web Services. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Jääskeläinen, Mika Katara, Antti Kervinen, Henri Heiskanen, Mika Maunumaa, Tuula Pääkkönen |
Model-Based Testing Service on the Web. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Groz, Keqin Li 0002, Alexandre Petrenko, Muzammil Shahbaz |
Modular System Verification by Inference, Testing and Reachability Analysis. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (eds.) |
Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana Alina Serbanescu, Victoria Molovata, George Din, Ina Schieferdecker, Ilja Radusch |
Real-Time Testing with TTCN-3. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Baker |
Models and Testing - A Recipe for Improved Effectiveness?. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | Jürgen Großmann, Ina Schieferdecker, Hans-Werner Wiesbrock |
Modeling Property Based Stream Templates with TTCN-3. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Victor V. Kuliamin |
Test Construction for Mathematical Functions. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez |
THOTL: A Timed Extension of HOTL. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang 0001, Tarik Nahhal |
Using Disparity to Enhance Test Generation for Hybrid Systems. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | George Din, Ina Schieferdecker, Razvan Petre |
Performance Test Design Process and Its Implementation Patterns for Multi-services Systems. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Luukkala, Ian Oliver |
Model Based Testing of an Embedded Session and Transport Protocol. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh |
A Bounded Incremental Test Generation Algorithm for Finite State Machines. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
finite state machine, conformance testing, incremental algorithms, test generation algorithms |
| 1 | Cyril Grepet, Stéphane Maag |
Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Muzammil Shahbaz, Keqin Li 0002, Roland Groz |
Learning and Integration of Parameterized Components Through Testing. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Diana Vega, Ina Schieferdecker, George Din |
Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Schulz 0002, Anthony Wiles, Steve Randall |
TPLan-A Notation for Expressing Test Purposes. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko 0001 |
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
separability relation, testing nondeterministic FSMs |
| 1 | Helmut Neukirchen, Martin Bisanz |
Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Huima |
Implementing Conformiq Qtronic. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cebrián, Valentín Valero Ruiz, Fernando Cuartero |
Automation of Avionic Systems Testing. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
grammar testing, Real time systems, Testing, Avionics systems |
| 1 | Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (eds.) |
Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson |
Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
Fault distribution, Testing, Software, Fault Classification |
| 1 | Przemyslaw Plesowicz, Mieczyslaw Metzger |
Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
TCP/IP communication testing, Ethernet TCP/IP, network-based feedback control, networks |
| 1 | Sergey V. Zelenov, Sophia A. Zelenova |
Model-Based Testing of Optimizing Compilers. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
compiler testing, formalization of requirements, formal data model, model based testing, test data generation |
| 1 | Alain Faivre, Christophe Gaston, Pascale Le Gall |
Symbolic Model Based Testing for Component Oriented Systems. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
ioco-based conformance testing, input/output symbolic transition system, symbolic execution, component based system |
| 1 | Maxim Gromov, Tim A. C. Willemse |
Testing and Model-Checking Techniques for Diagnosis. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Desmoulin, César Viho |
A New Method for Interoperability Test Generation. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier |
A Compositional Testing Framework Driven by Partial Specifications. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Camille Constant, Bertrand Jeannet, Thierry Jéron |
Automatic Test Generation from Interprocedural Specifications. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hasan Ural, Zhi Xu |
An EFSM-Based Passive Fault Detection Approach. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luiz Kawakami, André Knabben, Douglas Rechia, Denise Gasques Bastos, Otavio Pereira, Ricardo Pereira e Silva, Luiz C. V. dos Santos |
An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
Software metrics, Software reusability, Software verification |
| 1 | Sebastian Schmerl, Hartmut König |
Towards Systematic Signature Testing. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | Stefan Haar, Claude Jard, Guy-Vincent Jourdan |
Testing Input/Output Partial Order Automata. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | László Gönczy, Reiko Heckel, Dániel Varró |
Model-Based Testing of Service Infrastructure Components. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
Fault-Tolerant Services, Model Checking, Model-based testing, Graph Transformation |
| 1 | Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch H. Glitho |
New Approach for EFSM-Based Passive Testing of Web Services. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
EFSM-based passive testing, Web Services testing |
Displaying result #1 - #67 of 67 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license