Abstract: When testing software, developers can place oracles externally or internally to a method. Given a faulty execution state, i.e., one that differs from the expected one, an oracle might be unable to expose the fault if it is placed at a program point with no access to the incorrect program state or where the program state is no longer corrupted. In such a case, the oracle is subject to failed error propagation. Internal oracles are in principle less subject to failed error propagation than external oracles. However, they are also more difficult to define manually.
You are here
Abstract: The design of any software system requires that a high percentage of its intended users actually accept to use the system. Fulfillment of such Acceptance Requirements critically depends on psychological, behavioral and social factors which may influence intrinsic and extrinsic motivations. These factors can be identified, designed and fine tuned via gamification (making a game out of system usage), serious games and other techniques.
Abstract: [Context/Motivation]: The strategy of an organisation defines its long-term goals and develop plans to achieve these goals. Strategic planning is the activity of deciding how to allocate resources within the organisation to satisfy its strategy. Strategic planning precedes more detailed requirements engineering activities that clarify the requirements for the software systems concerned by the strategic plan.
Abstract: Test case generation for web applications aims at ensuring full coverage of the navigation structure. Existing approaches resort to crawling and manual/random input generation, with or without a preliminary construction of the navigation model. However, crawlers might be unable to reach some parts of the web application and random input generation might not receive enough guidance to produce the inputs needed to cover a given path.
I will present the following paper: