Picture of classic books on shelf

Literary linguistics: Open Access research in English language

Strathprints makes available Open Access scholarly outputs by English Studies at Strathclyde. Particular research specialisms include literary linguistics, the study of literary texts using techniques drawn from linguistics and cognitive science.

The team also demonstrates research expertise in Renaissance studies, researching Renaissance literature, the history of ideas and language and cultural history. English hosts the Centre for Literature, Culture & Place which explores literature and its relationships with geography, space, landscape, travel, architecture, and the environment.

Explore all Strathclyde Open Access research...

Testability transformation - program transformation to improve testability

Harman, M. and Baresel, A. and Binkley, D. and Hierons, R. M. and Hu, L. and Korel, B. and McMinn, P. and Roper, M. (2008) Testability transformation - program transformation to improve testability. In: Formal Methods and Testing. Lecture Notes in Computer Science . Springer, pp. 320-344. ISBN 978-3-540-78916-1

Full text not available in this repository. Request a copy from the Strathclyde author

Abstract

Testability transformation is a new form of program transformation in which the goal is not to preserve the standard semantics of the program, but to preserve test sets that are adequate with respect to some chosen test adequacy criterion. The goal is to improve the testing process by transforming a program to one that is more amenable to testing while remaining within the same equivalence class of programs defined by the adequacy criterion. The approach to testing and the adequacy criterion are parameters to the overall approach. The transformations required are typically neither more abstract nor are they more concrete than standard “meaning preserving transformations”. This leads to interesting theoretical questions. but also has interesting practical implications. This chapter provides an introduction to testability transformation and a brief survey of existing results.