@inproceedings{8fa9378da10544a1a2bb4ed8d52e16f8,
title = "Value-deterministic search-based replay for Android multithreaded applications",
abstract = "With the advancement of programming technique like multithreading added with highly efficient memory model design, it is becoming very difficult to understand and analyze the execution behavior of a program. Due to non-determinism in execution behavior introduced by concurrency-related events the program may behave differently than expected which may cause the program to crash. To pinpoint the cause of crash, the execution which caused the crash must be reproduced. Our technique solves this problem by recording the concurrency-related events during program execution and reproducing those events during replay. For this purpose, our technique records thread id and value of the shared variables accessed during program execution while during replay it searches thread space to generate the same value of shared variable which it observed while recording.",
keywords = "Android, field failure, multithreaded programming, reproducing crash, shared memory",
author = "Jha, {Ajay Kumar} and Sooyong Jeong and Lee, {Woo Jin}",
year = "2013",
doi = "10.1145/2513228.2513279",
language = "English",
isbn = "9781450323482",
series = "Proceedings of the 2013 Research in Adaptive and Convergent Systems, RACS 2013",
pages = "381--386",
booktitle = "Proceedings of the 2013 Research in Adaptive and Convergent Systems, RACS 2013",
note = "2013 Research in Adaptive and Convergent Systems, RACS 2013 ; Conference date: 01-10-2013 Through 04-10-2013",
}