MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Tests and Proofs" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

234 documents found, showing 1 through 10. Next 10 →

ATOM

Testing, Proof and Automation. An Integrated Approach
by Simon Burton, John Clark, John McDermid, Heslington York — 2000 — In: Proceedings of the 1st international workshop of
…Testing, Proof and Automation. An Integrated Approach Simon Burton John Clark John Mc…
Cited by 5 (2 self) – Add To MetaCart

Towards Animation of Proofs --testing proofs by examples--
by Susumu Hayashi, Ryosuke Sumitomo, Ken-ichiro Shii
…Towards Animation of Proofs --testing proofs by examples-- Susumu Hayashi Department of Computer…
Cited by 6 (3 self) – Add To MetaCart

Making the most of formal specification through animation, testing and proof
by Juan Bicarregui, Jeremy Dick_, Brian Matthews, Eoin Wood
… Programming of formal specification through animation, testing and proof Juan Bicarreguiaab>*, Jeremy Dick…
Cited by 16 (5 self) – Add To MetaCart

Elementary proof of the Routh-Hurwitz test
by Gjerrit Meinsma — 1995 — Systems & Control Letters
…Elementary proof of the Routh-Hurwitz test Gjerrit Meinsma Department of Electrical and Computer…
Cited by 1 (0 self) – Add To MetaCart

Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems
by Nigel Tracey, John Clark, Keith Mander, John McDermid, Heslington York, Yo Dd — 1999 — Proceedings of the 4th Australian Workshop on Safety Critical Systems and Software; The Australian Computer Society
…Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems Nigel…
Cited by 2 (2 self) – Add To MetaCart

Test Case Extraction from Correctness Proofs Case for Support
by Previous Track Record, Savi Maharaj
…Test Case Extraction from Correctness Proofs Case for Support 1 Previous Track Record Savi Maharaj…
Add To MetaCart

Can proofs be animated by games?
by Susumu Hayashi — 2005 — . URZYCZYN ED., TLCA 2005, LNCS 3461
… errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although…
Cited by 3 (0 self) – Add To MetaCart

Validation of Extended Transition Networks Using GEDBLOG I
by Gedblog I, Stephen Cook, Patrizia Asirelli, Keith Jeffery, Ox Qx — 1996
… for the appropriate class of system, and a suitable environment for testing the proof. This paper builds on earlier…
Add To MetaCart

Abstract PROOFS Fault Simulation Algorithm
by unknown authors
… on certain ISCAS benchmark circuits. Keywords : VLSI Testing, PROOFS, Fault Simulators. 1 Introduction Gordon…
Add To MetaCart

unknown title
by unknown authors
… development, including simulations involving the networking code, regression tests, proof of race conditions…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB