11 citations · 23 across the 8 of their papers we have counts for
8 papers
Application of property-based testing tools\\ for metamorphic testing
Nasser Alzahrani, Maria Spichkova, James Harland
Metamorphic testing (MT) is a general approach for the testing of a specific kind of software systems -- so-called ``non-testable'', where the ``classical'' testing approaches are…
Informing a BDI Player Model for an Interactive Narrative
Jessica Rivera-Villicana, Fabio Zambetta, James Harland +1
This work focuses on studying players behaviour in interactive narratives with the aim to simulate their choices. Besides sub-optimal player behaviour due to limited knowledge abou…
Exploring Apprenticeship Learning for Player Modelling in Interactive Narratives
Jessica Rivera-Villicana, Fabio Zambetta, James Harland +1
In this paper we present an early Apprenticeship Learning approach to mimic the behaviour of different players in a short adaption of the interactive fiction Anchorhead. Our motiva…
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Software development requires intensive communication between the requirements engineers and software stakeholders, particularly during the Requirements Engineering (RE) phase. The…
Online Support System for Transnational Education
Maria Spichkova, James Harland, Ahmed Alharthi
The number of students who travel abroad to study or are enrolled in a distance learning program outside their home country is growing. According to UNESCO, such students are calle…
Generating Candidate Busy Beaver Machines (Or How to Build the Zany Zoo)
James Harland
The busy beaver problem is a well-known example of a non-computable function. In order to determine a particular value of this function, it is necessary to generate and classify a…