View Document Preview and Link
Document Date: 2014-01-20 12:25:32 Open Document File Size: 719,83 KB Share Result on Facebook
City L∗ / Indianapolis / / Country United States / / Currency USD / / / Facility Android Debug Bridge / EECS Department University of California / Approximate Learning Wontae Choi George Necula Koushik Sen EECS Department University of California / Terminal State / / IndustryTerm state-merging algorithm / offthe-shelf passive learning algorithm / active learning algorithm / software-as-aservice architecture / above algorithm / automatic exploration algorithms / extended deterministic labeled transition systems / regular language learning algorithms / learning-based testing algorithms / random automatic user input generation tool / passive learning algorithm / model-based testing algorithm / search space / learning algorithm / learning algorithms / / OperatingSystem Android / / Organization University of California / Berkeley / / Person MAX LENGTH / Yes Scroll / George Necula Koushik Sen / / Position partial model for the Sanity app / General / teacher / model / representative / programmer / / ProgrammingLanguage Java / Python / XML / Scala / / ProvinceOrState Indiana / / Technology virtual machine / SwiftHand algorithm / XML / testing algorithm / automatic exploration algorithms / short sequence Algorithm / 4.2 App State Detection The SwiftHand algorithm / existing passive learning algorithm / model-based testing algorithm / machine learning / offthe-shelf passive learning algorithm / Android / operating system / Actual Algorithm / implementation Algorithm / passive learning algorithm / instead above algorithm / active learning algorithm / learning-based testing algorithms / Java / finite state machine / regular language learning algorithms / Smartphones / 2 Passive Learning Algorithm / L∗ algorithm / state-merging algorithm / GUI / implemented using Java / / URL http / SocialTag