Monadic Sequence Testing and Explicit Test-Refinements

Brucker, A.D. and Wolff, B. (2016) Monadic Sequence Testing and Explicit Test-Refinements. In: Aichernig, B.K. and Furia, C.A., (eds.) TAP 2016: Tests and Proofs. 10th International Conference, TAP 2016, Held as Part of STAF 2016, July 5-7, 2016, Vienna, Austria. Lecture Notes in Computer Science, 9762 . Springer, Cham , pp. 17-36. ISBN 978-3-642-38915-3



Copyright, Publisher and Additional Information: © Springer International Publishing Switzerland 2016. This is an author produced version of a paper subsequently published in Lecture Notes in Computer Science. Uploaded in accordance with the publisher's self-archiving policy.
  • Accepted: 2 May 2016
  • Published: 21 June 2016
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 09 Mar 2017 15:32
Last Modified: 18 Jul 2017 12:45
Published Version:
Status: Published
Publisher: Springer, Cham
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number:
Related URLs:

Share / Export