Publications

Off

Conference and Workshop Papers

  • Maciej Gazda and Robert M. Hierons. Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics. 36th Annual Symposium on Logic in Computer Science , to appear
  • Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru. . 13th International Conference on Tests and Proofs (). Lecture Notes in Computer Science, vol 11823, 21-38. Springer, Cham, 2019
  • Raluca Lefticaru, Rob Hierons and Manuel Núñez. . 17th International Conference on Software Engineering and Formal Methods (). Lecture Notes in Computer Science, vol 11724, 393-409. Springer, Cham, 2019

A global reputation

ºù«Ӱҵ is a world top-100 research university with a global reputation for excellence. We're a member of the Russell Group: one of the 24 leading UK universities for research and teaching.

ºù«Ӱҵ the University