Can we automatically learn how users expect an application to behave? Yes, if we consider an application from the users perspective. Whenever presented with an unfamiliar app, the user not only regards the context presented by this particular application, but rather considers previous experiences from other applications. This research presents an approach to reflect this procedure by automatically learning user expectations from the semantic contexts over multiple applications. Once the user expectations are established, this knowledge can be used as an oracle, to test if an application follows the user’s expectations or entails surprising behavior by error or deliberately.
Thu 13 JulDisplayed time zone: Tijuana, Baja California change
13:30 - 15:00
|Automatically Inferring and Enforcing User Expectations|
A: Jenny Hotzkow Saarland University
|Understanding Intended Behavior Using Models of Low-level Signals|
A: Deborah S. Katz Carnegie Mellon University
|Version Space Learning for Verification on Temporal Differentials|