Monadic Sequence Testing and Explicit Test-Refinements

Brucker, A.D. orcid.org/0000-0002-6355-1200 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

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Aichernig, B.K.
  • Furia, C.A.
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.

Dates:
  • Published: 21 June 2016
  • Accepted: 2 May 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: https://doi.org/10.1007/978-3-319-41135-4_2
Status: Published
Publisher: Springer, Cham
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: 10.1007/978-3-319-41135-4_2
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)