default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. FATES 2004: Linz, Austria
- Jens Grabowski, Brian Nielsen:
Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3395, Springer 2005, ISBN 3-540-25109-X
Symbolic Test Generation
- Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
:
Test Generation Based on Symbolic Specifications. 1-15 - Achim D. Brucker, Burkhart Wolff:
Symbolic Test Case Generation for Primitive Recursive Functions. 16-32 - David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Preserving Contexts for Soft Conformance Relation. 33-48
Testing Non-functional Properties
- Natalia López, Manuel Núñez, Ismael Rodríguez:
Testing of Symbolic-Probabilistic Systems. 49-63 - Laura Brandán Briones, Ed Brinksma:
A Test Generation Framework for quiescent Real-Time Systems. 64-78 - Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen:
Online Testing of Real-time Systems Using Uppaal. 79-94 - Behzad Bordbar, Kozo Okano:
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach. 95-109
Test Development with Model Checking Techniques
- Hyoung Seok Hong, Hasan Ural:
Using Model Checking for Reducing the Cost of Test Generation. 110-124 - Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson:
Specifying and Generating Test Cases Using Observer Automata. 125-139 - Thomas Arts, Koen Claessen, Hans Svensson:
Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. 140-154 - Gaoyan Xie, Zhe Dang:
An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components. 155-169
Test Optimization
- Alain Vouffo-Feudjio, Ina Schieferdecker:
Test Patterns with TTCN-3. 170-179 - Antal Wu-Hen-Chang, Dung Le Viet, Gabor Batori, Roland Gecse, Gyula Csopaki:
High-Level Restructuring of TTCN-3 Test Data. 180-194 - Kalpesh Kapoor, Jonathan P. Bowen:
Ordering Mutants to Minimise Test Effort in Mutation Testing. 195-209 - Hoijin Yoon, Eunhee Kim, Jooyoung Seo, Byoungju Choi:
Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study. 210-224
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 2025-01-28 22:18 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:
