Interactive Storytelling

by Aylett, Ruth; Lim, Mei Yii; Louchart, Sandy; Petta, Paolo; Riedl, Mark

• ISBN13: 9783642166372
• ISBN10: 3642166377
• Format: Paperback
• Copyright: 2010-11-29
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the Third International Conference on Interactive Digital Storytelling, ICIDS 2010, held in Edinburgh, UK, in November 2010.The book includes 3 keynotes, 25 full and short papers, 11 posters, 4 demonstration papers, 6 workshop papers, and 1 tutorial. The full and short papers have been organized into the following topical sections: characters and decision making; story evaluation and analysis; story generation; arts and humanities; narrative theories and modelling; systems; and applications.

Table of Contents

Invited Papers
Automatic Requirement Extraction from Test Cases	p. 1
Code Contracts for .NET: Runtime Verification and So Much More	p. 16
Visual Debugging for Stream Processing Applications	p. 18
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?	p. 36
Contracts for Scala	p. 51
Runtime Analysis and Instrumentation for Securing Software (Abstract)	p. 58
Tutorials
Run-Time Verification of Networked Software	p. 59
Clara: Partially Evaluating Runtime Monitors at Compile Time: Tutorial Supplement	p. 74
You Should Better Enforce Than Verify	p. 89
Runtime Verification for the Web: A Tutorial Introduction to Interface Contracts in Web Applications	p. 106
Statistical Model Checking: An Overview	p. 122
Runtime Verification with the RV System	p. 136
Regular and Short Papers
A Meta-Aspect Protocol for Developing Dynamic Analyses	p. 153
Behavior Abstraction in Malware Analysis	p. 168
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time	p. 183
Checking the Correspondence between UML Models and Implementation	p. 198
Compensation-Aware Runtime Monitoring	p. 214
Recovery Tasks: An Automated Approach to Failure Recovery	p. 229
Formally Efficient Program Instrumentation	p. 245
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs	p. 253
Causality Analysis in Contract Violation	p. 270
Reducing Configurations to Monitor in a Software Product Line	p. 285
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis	p. 300
Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects	p. 315
Verification of an AFDX Infrastructure Using Simulations and Probabilities	p. 330
Copilot: A Hard Real-Time Runtime Monitor	p. 345
StealthWorks: Emulating Memory Errors	p. 360
Efficient Data Race Detection for Async-Finish Parallelism	p. 368
Run-Time Verification of Optimistic Concurrency	p. 384
Who Guards the Guardians? - Toward V&V of Health Management Software (Short Paper)	p. 399
Aspect-Oriented Instrumentation with GCC	p. 405
Runtime Verification for Software Transactional Memories	p. 421
Optimized Temporal Monitors for SystemC	p. 436
Runtime Verification of Stochastic, Faulty Systems	p. 452
Low-Overhead Bug Fingerprinting for Fast Debugging	p. 460
Tool Demonstrations
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems	p. 469
A Tool Which Mines Partial Execution Traces to Improve Static Analysis	p. 475
LarvaStat: Monitoring of Statistical Properties	p. 480
WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart	p. 485
Author Index	p. 491
Table of Contents provided by Ingram. All Rights Reserved.