default search action

combined dblp search
author search
venue search
publication search

ask others

4. FATES 2004: Linz, Austria

> Home > Conferences and Workshops > FATES

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fates/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/2004
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

- view
  authority control:
- export record
  dblp key:
  - conf/fates/FrantzenTW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/FrantzenTW04
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse:
Test Generation Based on Symbolic Specifications. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/fates/BruckerW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/BruckerW04
Achim D. Brucker, Burkhart Wolff:
Symbolic Test Case Generation for Primitive Recursive Functions. 16-32
- view
  authority control:
- export record
  dblp key:
  - conf/fates/Frutos-EscrigG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/Frutos-EscrigG04
David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Preserving Contexts for Soft Conformance Relation. 33-48

Testing Non-functional Properties

- view
  authority control:
- export record
  dblp key:
  - conf/fates/LopezNR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/LopezNR04
Natalia López, Manuel Núñez, Ismael Rodríguez:
Testing of Symbolic-Probabilistic Systems. 49-63
- view
  authority control:
- export record
  dblp key:
  - conf/fates/BrionesB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/BrionesB04
Laura Brandán Briones, Ed Brinksma:
A Test Generation Framework for quiescent Real-Time Systems. 64-78
- view
  authority control:
- export record
  dblp key:
  - conf/fates/LarsenMN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/LarsenMN04
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen:
Online Testing of Real-time Systems Using Uppaal. 79-94
- view
  authority control:
- export record
  dblp key:
  - conf/fates/BordbarO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/BordbarO04
Behzad Bordbar, Kozo Okano:
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach. 95-109

Test Development with Model Checking Techniques

- view
  authority control:
- export record
  dblp key:
  - conf/fates/HongU04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/HongU04
Hyoung Seok Hong, Hasan Ural:
Using Model Checking for Reducing the Cost of Test Generation. 110-124
- view
  authority control:
- export record
  dblp key:
  - conf/fates/BlomHJP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/BlomHJP04
Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson:
Specifying and Generating Test Cases Using Observer Automata. 125-139
- view
  authority control:
- export record
  dblp key:
  - conf/fates/ArtsCS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/ArtsCS04
Thomas Arts, Koen Claessen, Hans Svensson:
Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. 140-154
- view
  authority control:
- export record
  dblp key:
  - conf/fates/XieD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/XieD04
Gaoyan Xie, Zhe Dang:
An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components. 155-169

Test Optimization

- view
  authority control:
- export record
  dblp key:
  - conf/fates/Vouffo-FeudjioS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/Vouffo-FeudjioS04
Alain Vouffo-Feudjio, Ina Schieferdecker:
Test Patterns with TTCN-3. 170-179
- view
  authority control:
- export record
  dblp key:
  - conf/fates/Wu-Hen-ChangVBGC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/Wu-Hen-ChangVBGC04
Antal Wu-Hen-Chang, Dung Le Viet, Gabor Batori, Roland Gecse, Gyula Csopaki:
High-Level Restructuring of TTCN-3 Test Data. 180-194
- view
  authority control:
- export record
  dblp key:
  - conf/fates/KapoorB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/KapoorB04
Kalpesh Kapoor, Jonathan P. Bowen:
Ordering Mutants to Minimise Test Effort in Mutation Testing. 195-209
- view
  authority control:
- export record
  dblp key:
  - conf/fates/YoonKSC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/YoonKSC04
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.