Author:
Brucker Achim D.,Wolff Burkhart
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Brucker, A.D., Wolff, B.: hol-Testgen 1.0.0 user guide. Technical Report 482, ETH Zurich (April 2005)
2. Lecture Notes in Computer Science;A.D. Brucker,2005
3. Lecture Notes in Computer Science;A.D. Brucker,2007
4. Lecture Notes in Computer Science;A.D. Brucker,2008
5. Brucker, A.D., Brügger, L., Wolff, B.: Verifying test-hypotheses: An experiment in test and proof. Electronic Notes in Theoretical Computer Science 220(1), 15–27 (2008); proceedings of the Fourth Workshop on Model Based Testing (MBT) (2008) ISSN 1571-0661, doi(10.1016/j.entcs, 11.003)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formalizing (Web) Standards;Tests and Proofs;2018
2. Fast Machine Words in Isabelle/HOL;Interactive Theorem Proving;2018
3. Testing the IPC Protocol for a Real-Time Operating System;Lecture Notes in Computer Science;2016
4. Directed Security Policies: A Stateful Network Implementation;Electronic Proceedings in Theoretical Computer Science;2014-05-03
5. On theorem prover-based testing;Formal Aspects of Computing;2013-09