Publications RSS Feed

Automatic Testing from Formal Specifications

Satpathy, M., Butler, M., Leuschel, M. and Ramesh, S. (2007) Automatic Testing from Formal Specifications. In Proceedings of International Conference on Tests And Proofs (TAP) (in press), ETH Zurich, Switzerland.


pdfPDF - Requires Adobe Acrobat Reader or other PDF viewer.212Kb



ECS staff and postgraduates may modify this record.


Download Statistics

Last month

Last year

Members of ECS may view the download statistics dashboard for this record.


Metadata available via OAI as: oai_dc (unqualified dublin core)

The ECS EPrints Repository supports OAI 2.0 with a base URL of

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.
  Welcome from Deputy Head of School (Research) Research Prospectus New Research Students Notes for Guidance New Research Students Notes for Guidance