Skip to main content
Article thumbnail
Location of Repository

Towards a formalization of viewpoints testing

By Marius C. Bujorianu, Savitri Maharaj and Manuela L. Bujorianu
Topics: QA76
Publisher: INRIA
Year: 2002
OAI identifier: oai:kar.kent.ac.uk:13752

Suggested articles

Citations

  1. (1995). An Experimental Evaluation of Formal Testing and Statistical Testing, IV. Fault Removal. Section C., doi
  2. Boiten Consistency Checking and Unification of Partial Specifications Using Category Theory submitted.
  3. (1996). Bowman The Specification and Conformance of ODP Systems. doi
  4. (2002). Bujorianu Linear Logic: From Stochastic Analysis to Software Testing
  5. (1998). Carrington Testing MATIS: a Case Study on Specification-based Testing of Interactive Systems Formal Aspects of Human Computer Interaction Workshop, doi
  6. Derrick A Constructive Framework for Partial Specification EPSRC Fast Stream Research Proposal Case for Support http://www.cs.ukc.ac.uk/research/tcs/framework/
  7. (1998). Easterbrook Management of Evolving Specifications Using Category Theory doi
  8. (1996). Extra Theory Morphisms for Institutions: Logical Semantics for Multi-paradigm Languages.
  9. (1989). General Logics. doi
  10. (1992). Goedicke.VIEWPOINTS: a Framework for Integrating Multiple Perspectives doi
  11. (1991). Marre Software Testing Based on Formal Specifications: a Theory and a Tool Software Engineering Journal, doi
  12. (1991). Marre Software Testing Based on Formal Specifications: aT h e o r ya n daT o o lSoftware Engineering Journal, doi
  13. (1999). o w m a n ,E .A .B o i t e n ,J .D e r r i c k doi
  14. (1999). On Oracles for Interpreting Test Results Against Algebraic Specifications. doi
  15. On the Hilbert Machines Quantitative Computational Model QAPL’01 Workshop on Quantitative Aspects of Programming Laguages, Satellite Event of PLI’02,
  16. (1995). r r e ,P .T h é v e n o d - F o s s e ,H .W a e s e l y n c k ,P .L eG a l le tY
  17. (2000). Ritchie Supporting Co-Use of VDM and B by Translation In
  18. Rosu Institution Morphisms to appear in Formal Aspects of Computing. doi
  19. (1997). Sommerville VOCAL: A Framework For Test Identification & Deployment doi
  20. (1999). Strategies for Consistency Checking Based on Unification. doi
  21. (1990). Strecker Abstract and Concrete Categories Wiley, doi
  22. (1994). Structured Theory Presentations and Logic Representations. doi
  23. (2000). Test Case Extraction from Correctness Proofs Case for Support
  24. (1998). Testing Algebraic Data Types and Processes: A Unifying Theory. doi
  25. (1994). Testing Can Be Formal, doi
  26. Towards a Method of Test Case Extraction from
  27. (1999). Towards a Method of Test Case Extraction from Correctness Proofs.
  28. (1992). VIEWPOINTS: a Framework for Integrating Multiple Perspectives doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.