eprintid: 10058916
rev_number: 23
eprint_status: archive
userid: 608
dir: disk0/10/05/89/16
datestamp: 2018-10-25 09:03:38
lastmod: 2021-12-20 23:29:40
status_changed: 2018-10-25 09:03:38
type: proceedings_section
metadata_visibility: show
creators_name: Harman, M
title: We Need a Testability Transformation Semantics
ispublished: pub
divisions: UCL
divisions: B04
divisions: C05
divisions: F48
note: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
abstract: This paper (This paper is a brief outline of some of the content of the keynote by the author at the   16th  International Conference on Software Engineering and Formal Methods (SEFM 2018) in Toulouse, France; 27th–29th June 2018.) briefly reviews Testability Transformation, its formal definition, and the open problem of constructing a set of formal test adequacy semantics to underpin the current practice of deploying transformations to help testing and verification activities.
date: 2018
date_type: published
publisher: Springer
official_url: https://doi.org/10.1007/978-3-319-92970-5_1
oa_status: green
full_text_type: other
language: eng
primo: open
primo_central: open_green
verified: verified_manual
elements_id: 1591454
doi: 10.1007/978-3-319-92970-5_1
isbn_13: 978-3-319-92969-9
lyricists_name: Harman, Mark
lyricists_id: MHARM36
actors_name: Novi, Maya
actors_id: MNOVI52
actors_role: owner
full_text_status: public
series: Lecture Notes in Computer Science
publication: SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2018
volume: 10886
place_of_pub: Cham, Switzerland
pagerange: 3-17
pages: 15
event_title: 16th International Conference on Software Engineering and Formal Methods (SEFM) Held as Part of Conference on Software Technologies - Applications and Foundations (STAF), 27–29 June 2018, Toulouse, France
event_location: Toulouse, FRANCE
event_dates: 25 June 2018 - 29 June 2018
institution: 16th International Conference on Software Engineering and Formal Methods (SEFM) Held as Part of Conference on Software Technologies - Applications and Foundations (STAF)
issn: 1611-3349
book_title: Software Engineering and Formal Methods
editors_name: Johnsen, EB
editors_name: Schaefer, I
citation:        Harman, M;      (2018)    We Need a Testability Transformation Semantics.                     In: Johnsen, EB and Schaefer, I, (eds.) Software Engineering and Formal Methods.  (pp. pp. 3-17).  Springer: Cham, Switzerland.       Green open access   
 
document_url: https://discovery.ucl.ac.uk/id/eprint/10058916/7/Harman_We-Need-a-Testability-Transformation-Semantics.pdf