The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Patrícia D. L. Machado: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002