Verifying Test-Hypotheses: An Experiment in Test and Proof

Metadata only

Author

Date

2008

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Journal / series

Electronic Notes in Theoretical Computer Science

Volume

220(1)

Pages / Article No.

15 - 27

Publisher

Elsevier

Event

4th Workshop on Model Based Testing (MBT 2008), Budapest, Hungary, March 30, 2008

Subject

Symbolic test case generations; Black box testing; Theorem proving; Formal verification; Isabelle/HOL

Organisational unit

03634 - Basin, David / Basin, David

Notes

Available online 3 December 2008.

More

ETH Bibliography

yes

Altmetrics

Research Collection