Conferences in DBLP

International Workshop on Formal Approaches to Testing of Software (fates)
2003 (conf/fates/2003)

1. Benjamin Tyler, Neelam Soundarajan
   Black-Box Testing of Grey-Box Behavior. [Citation Graph (0, 0)][DBLP]
   FATES, 2003, pp:1-14 [Conf]
   
2. Alper Sen, Vijay K. Garg
   On Checking Whether a Predicate Definitely Holds. [Citation Graph (0, 0)][DBLP]
   FATES, 2003, pp:15-29 [Conf]
   
3. Reiner Hähnle, Angela Wallenburg
   Using a Software Testing Technique to Improve Theorem Proving. [Citation Graph (0, 0)][DBLP]
   FATES, 2003, pp:30-41 [Conf]
   
4. Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao
   Auto-generating Test Sequences Using Model Checkers: A Case Study. [Citation Graph (0, 0)][DBLP]
   FATES, 2003, pp:42-59 [Conf]
   
5. Tao Xie, David Notkin
   Mutually Enhancing Test Generation and Specification Inference. [Citation Graph (0, 0)][DBLP]
   FATES, 2003, pp:60-69 [Conf]
   
6. Guoqing Xu, Zongyuang Yang
   JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit. [Citation Graph (0, 0)][DBLP]
   FATES, 2003, pp:70-85 [Conf]
   
7. Machiel van der Bijl, Arend Rensink, Jan Tretmans
   Compositional Testing with ioco. [Citation Graph (0, 0)][DBLP]
   FATES, 2003, pp:86-100 [Conf]
   
8. Timo Aaltonen
   Defining Observation Objectives for Reactive and Distributed Systems. [Citation Graph (0, 0)][DBLP]
   FATES, 2003, pp:101-113 [Conf]
   
9. Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
   Time-Optimal Real-Time Test Case Generation Using Uppaal. [Citation Graph (0, 0)][DBLP]
   FATES, 2003, pp:114-130 [Conf]
   
10. Ahmed Khoumsi, Thierry Jéron, Hervé Marchand
    Test Cases Generation for Nondeterministic Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:131-146 [Conf]
    
11. Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
    Property Oriented Test Case Generation. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:147-163 [Conf]
    
12. Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
    Computing Unique Input/Output Sequences Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:164-177 [Conf]
    
13. Olaf Henniger, Miao Lu, Hasan Ural
    Automatic Generation of Test Purposes for Testing Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:178-191 [Conf]
    
14. Ahyoung Sung, Byoungju Choi
    Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:192-204 [Conf]
    
15. Harm M. A. van Beek, Sjouke Mauw
    Automatic Conformance Testing of Internet Applications. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:205-222 [Conf]
    
16. Mourad Badri, Linda Badri, Marius Naha
    A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:223-235 [Conf]
    
17. Sita Ramakrishnan
    VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:236-251 [Conf]
    
18. Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Towards a Tool Environment for Model-Based Testing with AsmL. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:252-266 [Conf]