Search the dblp DataBase

Publications of Author

1. Patrícia D. L. Machado
   Testing from Structured Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
   AMAST, 2000, pp:529-544 [Conf]
   
2. Patrícia D. L. Machado
   On Oracles for Interpreting Test Results against Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
   AMAST, 1998, pp:502-518 [Conf]
   
3. Patrícia D. L. Machado, Donald Sannella
   Unit Testing for C88 ASL Architectural Specifications. [Citation Graph (0, 0)][DBLP]
   MFCS, 2002, pp:506-518 [Conf]
   
4. Patrícia D. L. Machado
   The Rôle of Normalisation in Testing from Structured Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
   WADT, 1999, pp:459-476 [Conf]
   
5. Patrícia D. L. Machado, Silvio Romero de Lemos Meira
   On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks. [Citation Graph (0, 0)][DBLP]
   ZUM, 1995, pp:63-82 [Conf]
   
6. Ana Cavalcanti, Patrícia D. L. Machado
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:1-2 [Journal]
   
7. Patrícia D. L. Machado, Elthon A. S. Oliveira, Paulo E. S. Barbosa, Cássio L. Rodrigues
   Testing from Structured Algebraic Specifications: The Veritas Case Study. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:235-261 [Journal]
   
8. Daniel Aguiar da Silva, Patrícia D. L. Machado
   Towards Test Purpose Generation from CTL Properties for Reactive Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:4, pp:29-40 [Journal]
   
9. Patrícia D. L. Machado
   Formal testing from structured algebraic specifications: normalisationand the oracle problem. [Citation Graph (0, 0)][DBLP]
   RITA, 2000, v:7, n:1, pp:89-108 [Journal]
   
10. Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota
    Towards Property Oriented Testing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:3-19 [Journal]
    
11. 
    Weighting Influence of User Behavior in Software Validation. [Citation Graph (, )][DBLP]
    
    
12. 
    Automated Test Case Selection Based on a Similarity Function. [Citation Graph (, )][DBLP]
    
    
13. 
    The Oracle Problem for Testing against Quantified Properties. [Citation Graph (, )][DBLP]
    
    
14. 
    LTS-BT: a tool to generate and select functional test cases for embedded systems. [Citation Graph (, )][DBLP]
    
    
15. 
    An experimental evaluation of approaches to feature testing in the mobile phone applications domain. [Citation Graph (, )][DBLP]
    
    
16. 
    Test case generation by means of UML sequence diagrams and labeled transition systems. [Citation Graph (, )][DBLP]
    
    
17. 
    Component-based integration testing from UML interaction diagrams. [Citation Graph (, )][DBLP]
    
    
18. 
    Interruption Testing of Reactive Systems. [Citation Graph (, )][DBLP]
    
    
19. 
    Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. [Citation Graph (, )][DBLP]
    
    
20. 
    Preface. [Citation Graph (, )][DBLP]