default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19. TestCom 7. FATES 2007: Tallinn, Estonia
- Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp:
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. Lecture Notes in Computer Science 4581, Springer 2007, ISBN 978-3-540-73065-1 - Antti Huima:
Implementing Conformiq Qtronic. 1-12 - Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch H. Glitho:
New Approach for EFSM-Based Passive Testing of Web Services. 13-27 - David Cebrián, Valentín Valero Ruiz, Fernando Cuartero:
Automation of Avionic Systems Testing. 28-40 - Camille Constant, Bertrand Jeannet, Thierry Jéron:
Automatic Test Generation from Interprocedural Specifications. 41-57 - Alexandra Desmoulin, César Viho:
A New Method for Interoperability Test Generation. 58-73 - Sigrid Eldh
, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson:
Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware. 74-89 - Alain Faivre, Christophe Gaston, Pascale Le Gall:
Symbolic Model Based Testing for Component Oriented Systems. 90-106 - Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier:
A Compositional Testing Framework Driven by Partial Specifications. 107-122 - Cyril Grepet, Stéphane Maag:
Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols. 123-137 - Maxim Gromov, Tim A. C. Willemse:
Testing and Model-Checking Techniques for Diagnosis. 138-154 - László Gönczy, Reiko Heckel, Dániel Varró:
Model-Based Testing of Service Infrastructure Components. 155-170 - Stefan Haar, Claude Jard, Guy-Vincent Jourdan:
Testing Input/Output Partial Order Automata. 171-185 - Tamás Horváth, Tibor Sulyán:
A Framework for Testing AIS Implementations. 186-198 - 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. 199-211 - Vesa Luukkala, Ian Oliver:
Model Based Testing of an Embedded Session and Transport Protocol. 212-227 - Helmut Neukirchen, Martin Bisanz:
Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites. 228-243 - 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. 244-259 - Przemyslaw Plesowicz, Mieczyslaw Metzger:
Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control. 260-275 - Sebastian Schmerl, Hartmut König:
Towards Systematic Signature Testing. 276-291 - Stephan Schulz, Anthony Wiles, Steve Randall:
TPLan-A Notation for Expressing Test Purposes. 292-304 - Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko:
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. 305-318 - Muzammil Shahbaz, Keqin Li, Roland Groz:
Learning and Integration of Parameterized Components Through Testing. 319-334 - Hasan Ural, Zhi Xu:
An EFSM-Based Passive Fault Detection Approach. 335-350 - Diana Vega, Ina Schieferdecker, George Din:
Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3. 351-364 - Sergey V. Zelenov, Sophia A. Zelenova:
Model-Based Testing of Optimizing Compilers. 365-377
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-12 20:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
