<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10058916> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://purl.org/dc/terms/title> "We Need a Testability Transformation Semantics"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://purl.org/ontology/bibo/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."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://purl.org/dc/terms/date> "2018" .
<https://discovery.ucl.ac.uk/id/document/765352> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://purl.org/ontology/bibo/volume> "10886" .
<https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://xmlns.com/foaf/0.1/name> "Springer"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> .
<https://discovery.ucl.ac.uk/id/publication/ext-16113349> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<https://discovery.ucl.ac.uk/id/publication/ext-16113349> <http://xmlns.com/foaf/0.1/name> "SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2018"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-16113349> .
<https://discovery.ucl.ac.uk/id/publication/ext-16113349> <http://www.w3.org/2002/07/owl#sameAs> <urn:issn:16113349> .
<https://discovery.ucl.ac.uk/id/publication/ext-16113349> <http://purl.org/ontology/bibo/issn> "16113349" .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-f9a2d2d57513bd7d87bc85938328af55> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10058916#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10058916#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-f9a2d2d57513bd7d87bc85938328af55> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-06a617586778ef969cafaa4fb53e3c45> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10058916#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10058916#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-06a617586778ef969cafaa4fb53e3c45> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-c720921e149ee03f349663a7538b7780> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10058916#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10058916#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-c720921e149ee03f349663a7538b7780> .
<https://discovery.ucl.ac.uk/id/person/ext-c720921e149ee03f349663a7538b7780> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-c720921e149ee03f349663a7538b7780> <http://xmlns.com/foaf/0.1/givenName> "I"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-c720921e149ee03f349663a7538b7780> <http://xmlns.com/foaf/0.1/familyName> "Schaefer"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-c720921e149ee03f349663a7538b7780> <http://xmlns.com/foaf/0.1/name> "I Schaefer"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-f9a2d2d57513bd7d87bc85938328af55> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-f9a2d2d57513bd7d87bc85938328af55> <http://xmlns.com/foaf/0.1/givenName> "M"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-f9a2d2d57513bd7d87bc85938328af55> <http://xmlns.com/foaf/0.1/familyName> "Harman"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-f9a2d2d57513bd7d87bc85938328af55> <http://xmlns.com/foaf/0.1/name> "M Harman"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-06a617586778ef969cafaa4fb53e3c45> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-06a617586778ef969cafaa4fb53e3c45> <http://xmlns.com/foaf/0.1/givenName> "EB"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-06a617586778ef969cafaa4fb53e3c45> <http://xmlns.com/foaf/0.1/familyName> "Johnsen"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-06a617586778ef969cafaa4fb53e3c45> <http://xmlns.com/foaf/0.1/name> "EB Johnsen"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://purl.org/ontology/bibo/presentedAt> <https://discovery.ucl.ac.uk/id/event/ext-b49dacd4785f04252b6294852dc0502d> .
<https://discovery.ucl.ac.uk/id/event/ext-b49dacd4785f04252b6294852dc0502d> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Conference> .
<https://discovery.ucl.ac.uk/id/event/ext-b49dacd4785f04252b6294852dc0502d> <http://purl.org/dc/terms/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"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/event/ext-b49dacd4785f04252b6294852dc0502d> <http://purl.org/NET/c4dm/event.owl#place> <https://discovery.ucl.ac.uk/id/location/ext-9ea4b188db24a50d3dd29c10fa1c91b1> .
<https://discovery.ucl.ac.uk/id/event/ext-b49dacd4785f04252b6294852dc0502d> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/NET/c4dm/event.owl#Event> .
<https://discovery.ucl.ac.uk/id/event/ext-b49dacd4785f04252b6294852dc0502d> <http://purl.org/NET/c4dm/event.owl#place> <https://discovery.ucl.ac.uk/id/location/ext-9ea4b188db24a50d3dd29c10fa1c91b1> .
<https://discovery.ucl.ac.uk/id/location/ext-9ea4b188db24a50d3dd29c10fa1c91b1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing> .
<https://discovery.ucl.ac.uk/id/location/ext-9ea4b188db24a50d3dd29c10fa1c91b1> <http://www.w3.org/2000/01/rdf-schema#label> "Toulouse, FRANCE"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/document/765352> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/765352> <http://www.w3.org/2000/01/rdf-schema#label> "We Need a Testability Transformation Semantics (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://eprints.org/ontology/hasAccepted> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/document/765352> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10058916/7/Harman_We-Need-a-Testability-Transformation-Semantics.pdf> .
<https://discovery.ucl.ac.uk/id/document/765352> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10058916/7/Harman_We-Need-a-Testability-Transformation-Semantics.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10058916/7/Harman_We-Need-a-Testability-Transformation-Semantics.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Harman_We-Need-a-Testability-Transformation-Semantics.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/765353> .
<https://discovery.ucl.ac.uk/id/document/765353> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/765353> <http://www.w3.org/2000/01/rdf-schema#label> "We Need a Testability Transformation Semantics (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/765353> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/document/765353> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/document/765353> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/765354> .
<https://discovery.ucl.ac.uk/id/document/765354> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/765354> <http://www.w3.org/2000/01/rdf-schema#label> "We Need a Testability Transformation Semantics (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/765354> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/document/765354> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/document/765354> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/765355> .
<https://discovery.ucl.ac.uk/id/document/765355> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/765355> <http://www.w3.org/2000/01/rdf-schema#label> "We Need a Testability Transformation Semantics (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/765355> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/document/765355> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/document/765355> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/765356> .
<https://discovery.ucl.ac.uk/id/document/765356> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/765356> <http://www.w3.org/2000/01/rdf-schema#label> "We Need a Testability Transformation Semantics (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/765356> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/document/765356> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/document/765356> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/765357> .
<https://discovery.ucl.ac.uk/id/document/765357> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/765357> <http://www.w3.org/2000/01/rdf-schema#label> "We Need a Testability Transformation Semantics (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/765357> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/document/765357> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/document/765357> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/765352> .
<https://discovery.ucl.ac.uk/id/eprint/10058916> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10058916/> .
<https://discovery.ucl.ac.uk/id/eprint/10058916/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10058916 \n\nWe Need a Testability Transformation Semantics\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10058916/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10058916/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10058916> .