{"id":19362698,"url":"https://github.com/imdea-software/async-droid","last_synced_at":"2026-03-07T13:02:37.309Z","repository":{"id":17943680,"uuid":"20923920","full_name":"imdea-software/async-droid","owner":"imdea-software","description":null,"archived":false,"fork":false,"pushed_at":"2015-05-13T12:55:47.000Z","size":55361,"stargazers_count":7,"open_issues_count":3,"forks_count":1,"subscribers_count":5,"default_branch":"master","last_synced_at":"2026-01-14T01:23:27.505Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/imdea-software.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2014-06-17T13:16:53.000Z","updated_at":"2020-03-02T14:07:17.000Z","dependencies_parsed_at":"2022-08-27T19:40:14.224Z","dependency_job_id":null,"html_url":"https://github.com/imdea-software/async-droid","commit_stats":null,"previous_names":["imdea-software/android-app-schedule-enumerator"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/imdea-software/async-droid","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imdea-software%2Fasync-droid","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imdea-software%2Fasync-droid/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imdea-software%2Fasync-droid/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imdea-software%2Fasync-droid/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/imdea-software","download_url":"https://codeload.github.com/imdea-software/async-droid/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imdea-software%2Fasync-droid/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30214618,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-07T12:15:00.571Z","status":"ssl_error","status_checked_at":"2026-03-07T12:15:00.217Z","response_time":53,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-10T07:29:56.301Z","updated_at":"2026-03-07T13:02:37.268Z","avatar_url":"https://github.com/imdea-software.png","language":"Java","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Android App Schedule Enumerator\n\nA tool for concurrency testing of Android apps.\n\n## Requirements\n\n- Android SDK: http://developer.android.com/sdk/index.html\n    - Android SDK Tools\n    - Android SDK Platform-tools\n    - Android SDK Platform (we use Android 4.4.2 / API 19)\n    - Android system image for the emulator\n    - (Optional) Eclipse + ADT plugin\n\n- (Optional) Alternative Android Virtual Devices:\n    - Genymotion: http://www.genymotion.com\n\n- Java (SE 7)\n\n- Apache Ant (1.9.4)\n\n- Python (2.7.5)\n\n\n## Usage\n\nEnsure the `ANDROID_HOME` environment variable points to a valid Android\nplatform SDK containing an Android platform library, e.g.,\n`$ANDROID_HOME/platforms/android-19/android.jar`. Also, be sure you have\ncreated and started an Android Virtual Device (AVD).\n\nInstrument your application `.apk` file for testing. For instance, try the\nexample app in `example/HelloWorldApk.apk`:\n\n    ant -Dapk=example/HelloWorldApp.apk\n\n(Note that the original `.apk` file will remain unmodified.)\n\nThen, test the instrumented application by:\n\nRecording a set of user events (this overwrites the previously recorded events): \n\n\tpython bin/aase.py --record build/HelloWorldApp.apk\n\t\nThen replaying them for schedules with/without a delay bound.\n\n    python bin/aase.py --replay --delays 1 build/HelloWorldApp.apk\n\n\u003c!-- And see the results in `logcatOutputs`. --\u003e\n\n## Running the sample application\n\nTo demonstrate the detection of \u003ca href=\"https://github.com/ojacquemart/vlilleChecker/issues/60\"\u003e a sample concurrency bug\u003c/a\u003e, we provide a previous version of \u003ca href=\"https://github.com/ojacquemart/vlilleChecker\"\u003e vlilleChecker\u003c/a\u003e  Android App (built from commit 86b22a7).\n\nInstrument the application `.apk` file for testing:\n\n    ant -Dapk=example/sample_vlillechecker.apk -Dandroid.api.version=19\n\n\t\nYou can replay the user events that trigger the bug (with particular thread interleavings) by running:\n\n    python bin/aase.py --replay --delays 1 --events events.trc build/sample_vlillechecker.apk\n    \n    \n(Optional) You can also record your own a set of user events with the command below and then replay them: \n\n\tpython bin/aase.py --record build/sample_vlillechecker.apk     \n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fimdea-software%2Fasync-droid","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fimdea-software%2Fasync-droid","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fimdea-software%2Fasync-droid/lists"}