# Simulation Research Sources

Local research corpus for the opencode simulation architecture work.

## Downloaded Papers

| Year | Paper | Local PDF | Extracted Text | Source |
| --- | --- | --- | --- | --- |
| 2016 | Mysteries of Dropbox: Property-Based Testing of a Distributed Synchronization Service | `papers/2016-mysteries-of-dropbox.pdf` | `text/2016-mysteries-of-dropbox.txt` | https://publications.lib.chalmers.se/records/fulltext/232551/local_232551.pdf |
| 2019 | Coverage Guided, Property Based Testing | `papers/2019-coverage-guided-pbt.pdf` | `text/2019-coverage-guided-pbt.txt` | https://lemonidas.github.io/pdf/FuzzChick.pdf |
| 2021 | Model-Based Testing in Practice: An Experience Report from the Web Applications Domain | `papers/2021-mbt-web-applications-practice.pdf` | `text/2021-mbt-web-applications-practice.txt` | https://arxiv.org/pdf/2104.02152 |
| 2022 | Application of Property-Based Testing Tools for Metamorphic Testing | `papers/2022-pbt-for-metamorphic-testing.pdf` | `text/2022-pbt-for-metamorphic-testing.txt` | https://arxiv.org/pdf/2211.12003 |
| 2022 | Property-Based Testing: Climbing the Stairway to Verification | `papers/2022-stairway-to-verification.pdf` | `text/2022-stairway-to-verification.txt` | https://trustworthy.systems/publications/papers/Chen_ROSKHK_22.pdf |
| 2023 | QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck | `papers/2023-quickercheck.pdf` | `text/2023-quickercheck.txt` | https://arxiv.org/pdf/2404.16062 |
| 2024 | Can Large Language Models Write Good Property-Based Tests? | `papers/2024-llms-write-good-pbt.pdf` | `text/2024-llms-write-good-pbt.txt` | https://arxiv.org/pdf/2307.04346 |
| 2024 | Property-Based Testing in Practice | `papers/2024-pbt-in-practice.pdf` | `text/2024-pbt-in-practice.txt` | https://www.cis.upenn.edu/~bcpierce/papers/icse24-pbt-in-practice |
| 2026 | Finding bugs across the Python ecosystem with Claude and property-based testing / Agentic PBT | `papers/2026-agentic-pbt.pdf` | `text/2026-agentic-pbt.txt` | https://arxiv.org/pdf/2510.09907 |
| 2026 | On the Evolution of Python Test Cases into Property-based Tests | `papers/2026-evolution-python-tests-to-pbt.pdf` | `text/2026-evolution-python-tests-to-pbt.txt` | https://soft.vub.ac.be/Publications/2026/vub-tr-soft-26-02.pdf |
| 2026 | From Natural Language to Executable Properties for Property-based Testing of Mobile Apps | `papers/2026-nl-to-executable-properties-mobile.pdf` | `text/2026-nl-to-executable-properties-mobile.txt` | https://arxiv.org/pdf/2603.21263 |
| 2026 | From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing | `papers/2026-propgen-mobile-app-testing.pdf` | `text/2026-propgen-mobile-app-testing.txt` | https://arxiv.org/pdf/2604.13463 |

## Notes

The ACM PDF endpoint for `Property-Based Testing in Practice` returned `403`; the author-hosted University of Pennsylvania copy was downloaded successfully.