LLM-Based Invariant Testing for Software Functional Bugs | Paper Citation Record

Observation 6d444d42-d618-4acf-b0f7-52fe488192a8 · outbound

This paper cites Quantitative analysis of faults and failures in a complex software system.

LLM-Based Invariant Testing for Software Functional Bugs Quantitative analysis of faults and failures in a complex software system

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:16.773627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d5ba0d0-ab78-4c61-b864-63c6727df33a · outbound

This paper cites An empirical study of operating systems errors.

LLM-Based Invariant Testing for Software Functional Bugs An empirical study of operating systems errors

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:16.880458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 559eab9e-b2c5-43e5-bdd2-7fedf3b6e67e · outbound

This paper cites an unresolved cited work.

LLM-Based Invariant Testing for Software Functional Bugs Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:17.039215Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41e0308b-2040-446f-b284-c33ef6735371 · outbound

This paper cites Continuous Fuzzing with libFuzzer and AddressSanitizer.

LLM-Based Invariant Testing for Software Functional Bugs Continuous Fuzzing with libFuzzer and AddressSanitizer

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:17.149385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa84be0d-07d6-4508-9173-a00b764d587c · outbound

This paper cites AFL++ combining incremental steps of fuzzing research.

LLM-Based Invariant Testing for Software Functional Bugs AFL++ combining incremental steps of fuzzing research

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:17.293550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7ea7f64-d366-4442-ab1d-619882266fb0 · outbound

This paper cites Directed Greybox Fuzzing.

LLM-Based Invariant Testing for Software Functional Bugs Directed Greybox Fuzzing

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:17.409773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a9badd2-a1f0-43eb-9515-59e707e3acd4 · outbound

This paper cites OSS-Fuzz - Google’s continuous fuzzing service for open source software.

LLM-Based Invariant Testing for Software Functional Bugs OSS-Fuzz - Google’s continuous fuzzing service for open source software

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:17.526287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18f7245a-e754-456d-bcb3-715c938e3c1c · outbound

This paper cites SmartInv: Multimodal Learning for Smart Contract Invariant Inference.

LLM-Based Invariant Testing for Software Functional Bugs SmartInv: Multimodal Learning for Smart Contract Invariant Inference

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:17.692790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39ae6c5a-e592-4b56-8014-3ddced7caba5 · outbound

This paper cites Simon and Schuster, 2020.

LLM-Based Invariant Testing for Software Functional Bugs Simon and Schuster, 2020

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:17.840602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24592163-8705-435c-9944-6ca404e0f334 · outbound

This paper cites The impact of continuous integration on other software development practices: A large-scale empirical study.

LLM-Based Invariant Testing for Software Functional Bugs The impact of continuous integration on other software development practices: A large-scale empirical study

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:17.963910Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2225dc1-d15a-467f-92af-45f78c7179a2 · outbound

This paper cites When, How, and Why Developers (Do Not) Test in Their IDEs.

LLM-Based Invariant Testing for Software Functional Bugs When, How, and Why Developers (Do Not) Test in Their IDEs

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:18.080139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d47d8fe5-b919-41a7-9f8d-1f297c04fe0d · outbound

This paper cites Feedback-Directed Random Test Generation.

LLM-Based Invariant Testing for Software Functional Bugs Feedback-Directed Random Test Generation

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:18.240193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1431f82-519c-4cae-857d-ab09125def7d · outbound

This paper cites EvoSuite: automatic test suite generation for object-oriented software.

LLM-Based Invariant Testing for Software Functional Bugs EvoSuite: automatic test suite generation for object-oriented software

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:18.381405Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9e32efa-ba58-458c-b9f5-302855d0c695 · outbound

This paper cites How Do Automatically Generated Unit Tests Influence Software Maintenance?.

LLM-Based Invariant Testing for Software Functional Bugs How Do Automatically Generated Unit Tests Influence Software Maintenance?

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:18.506185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ecae363-66ff-408a-924a-f6fc9e7315aa · outbound

This paper cites Revisiting test smells in automatically generated tests: limitations, pitfalls, and opportunities.

LLM-Based Invariant Testing for Software Functional Bugs Revisiting test smells in automatically generated tests: limitations, pitfalls, and opportunities

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:18.626438Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc2fdb75-be79-4542-a7e0-5b7d7afe3388 · outbound

This paper cites CAT-LM Training Language Models on Aligned Code and Tests.

LLM-Based Invariant Testing for Software Functional Bugs CAT-LM Training Language Models on Aligned Code and Tests

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:18.739100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11fb2967-4267-4b31-8d4d-5d663da10496 · outbound

This paper cites UniTSyn: A Large-Scale Dataset Capa- ble of Enhancing the Prowess of Large Language Models for Program Testing.

LLM-Based Invariant Testing for Software Functional Bugs UniTSyn: A Large-Scale Dataset Capa- ble of Enhancing the Prowess of Large Language Models for Program Testing

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:18.893365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea8b65a0-8ab2-44a7-bb8d-ced4de2e79c6 · outbound

This paper cites FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation.

LLM-Based Invariant Testing for Software Functional Bugs FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:19.059214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84f0b9eb-5987-4c26-a255-1e701860b7b8 · outbound

This paper cites CITYWALK: Enhancing LLM- Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge.

LLM-Based Invariant Testing for Software Functional Bugs CITYWALK: Enhancing LLM- Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:19.209864Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f4d2b65-782a-4b17-80d7-988fa656b767 · outbound

This paper cites Demystifying LLM-Based Software Engineering Agents.

LLM-Based Invariant Testing for Software Functional Bugs Demystifying LLM-Based Software Engineering Agents

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:19.320027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation edb68f76-08d2-4a66-9fa7-c5e3910ce732 · outbound

This paper cites Learning Deep Semantics for Test Completion.

LLM-Based Invariant Testing for Software Functional Bugs Learning Deep Semantics for Test Completion

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:19.438120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8aeb5fbd-b4ac-4a6c-bef1-1a438160d3c9 · outbound

This paper cites TestGenEval: A Real World Unit Test Generation and Test Completion Benchmark.

LLM-Based Invariant Testing for Software Functional Bugs TestGenEval: A Real World Unit Test Generation and Test Completion Benchmark

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:19.544312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb61a993-9a9a-498f-87dd-e0d2b4b3c819 · outbound

This paper cites Theoretical and Empirical Studies of Program Testing.

LLM-Based Invariant Testing for Software Functional Bugs Theoretical and Empirical Studies of Program Testing

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:19.704344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ec41f84-1b96-4ca8-a4e5-2bb366e8fed6 · outbound

This paper cites On Testing Non-testable Programs.

LLM-Based Invariant Testing for Software Functional Bugs On Testing Non-testable Programs

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:19.872160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68d33447-f90b-4dcd-a1cc-44153dcc99df · outbound

This paper cites The Oracle Problem in Software Testing: A Survey.

LLM-Based Invariant Testing for Software Functional Bugs The Oracle Problem in Software Testing: A Survey

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:19.986428Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d0230ae-e53f-4cca-8ec2-c351fbc3713f · outbound

This paper cites Prompt Fuzzing for Fuzz Driver Generation.

LLM-Based Invariant Testing for Software Functional Bugs Prompt Fuzzing for Fuzz Driver Generation

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.108578Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0f6c880-dd15-476f-befc-95d8fff0e3e5 · outbound

This paper cites Can Large Language Models Reason about Program Invariants?.

LLM-Based Invariant Testing for Software Functional Bugs Can Large Language Models Reason about Program Invariants?

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.268963Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2e7b84c-e6c7-45e9-b502-54bd35e1b307 · outbound

This paper cites A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World.

LLM-Based Invariant Testing for Software Functional Bugs A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.435252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97390d41-17dc-43eb-9fbe-d0fab88a7e9c · outbound

This paper cites KLEE: Unassisted and Automatic Generation of High- Coverage Tests for Complex Systems Programs.

LLM-Based Invariant Testing for Software Functional Bugs KLEE: Unassisted and Automatic Generation of High- Coverage Tests for Complex Systems Programs

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.505315Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6532c6f6-c893-4230-9a42-cb72ef30a3c2 · outbound

This paper cites Dafny: An Automatic Program Verifier for Functional Correctness.

LLM-Based Invariant Testing for Software Functional Bugs Dafny: An Automatic Program Verifier for Functional Correctness

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.508937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74847b02-f054-49ad-802a-a2ad626f790d · outbound

This paper cites QuickCheck: A Lightweight Tool for Random Testing of Haskell Pro- grams.

LLM-Based Invariant Testing for Software Functional Bugs QuickCheck: A Lightweight Tool for Random Testing of Haskell Pro- grams

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.511663Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f1887d2-8de3-4a04-98ad-343b659e894c · outbound

This paper cites Coverage Guided, Property Based Testing.

LLM-Based Invariant Testing for Software Functional Bugs Coverage Guided, Property Based Testing

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.514939Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 563b7a36-1f16-4de7-baa8-02553561398b · outbound

This paper cites https://github.com/ llvm/llvm-project, accessed 2025-10-12.

LLM-Based Invariant Testing for Software Functional Bugs https://github.com/ llvm/llvm-project, accessed 2025-10-12

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.517744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94149d4d-87f2-4d37-a92e-8e095b975072 · outbound

This paper cites Dynamically discovering likely program invariants to support program evolution.

LLM-Based Invariant Testing for Software Functional Bugs Dynamically discovering likely program invariants to support program evolution

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.520737Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65b7fb09-ceab-4bad-aadd-a48dca70385e · outbound

This paper cites LLVM: A Com- pilation Framework for Lifelong Program Analysis & Transformation.

LLM-Based Invariant Testing for Software Functional Bugs LLVM: A Com- pilation Framework for Lifelong Program Analysis & Transformation

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.523477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbc71b87-afb7-4f8b-96c3-f474b53ad441 · outbound

This paper cites Notes on Structured Programming.

LLM-Based Invariant Testing for Software Functional Bugs Notes on Structured Programming

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.526621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2446a382-2ce2-44fa-9685-3c0ffc1af58e · outbound

This paper cites Stepwise API usage assistance using n-gram language models.

LLM-Based Invariant Testing for Software Functional Bugs Stepwise API usage assistance using n-gram language models

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.529350Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f36c301-0497-496b-a672-60e02ffa59d8 · outbound

This paper cites Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM.

LLM-Based Invariant Testing for Software Functional Bugs Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.532403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c8e07e8-2d8e-4322-83e7-31f71bf30daf · outbound

This paper cites Better Zero-Shot Reasoning with Self-Adaptive Prompting.

LLM-Based Invariant Testing for Software Functional Bugs Better Zero-Shot Reasoning with Self-Adaptive Prompting

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.535468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3c7e8db-2a14-45f9-af6e-f9b1170ea932 · outbound

This paper cites Reflexion: language agents with verbal reinforcement learning.

LLM-Based Invariant Testing for Software Functional Bugs Reflexion: language agents with verbal reinforcement learning

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.538469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af102eec-24eb-4c1e-a869-5566c32cde4b · outbound

This paper cites RepoGenReflex: Enhancing Repository-Level Code Completion with Verbal Reinforcement and Retrieval-Augmented Generation.

LLM-Based Invariant Testing for Software Functional Bugs RepoGenReflex: Enhancing Repository-Level Code Completion with Verbal Reinforcement and Retrieval-Augmented Generation

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.541231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6ee8efb-0409-47bf-b6ff-57cb8691ab06 · outbound

This paper cites Hopper: Interpretative Fuzzing for Libraries.

LLM-Based Invariant Testing for Software Functional Bugs Hopper: Interpretative Fuzzing for Libraries

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.544502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7625083f-0952-4506-939f-8c196ebff70e · outbound

This paper cites Quickly detecting relevant program invariants.

LLM-Based Invariant Testing for Software Functional Bugs Quickly detecting relevant program invariants

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.547431Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4fc702d-f8b6-4cff-a47c-2ca7ab4d8534 · outbound

This paper cites DocTer: documentation-guided fuzzing for testing deep learning API functions.

LLM-Based Invariant Testing for Software Functional Bugs DocTer: documentation-guided fuzzing for testing deep learning API functions

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.550377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 854f3446-db99-4589-b81e-1376c64dafd5 · outbound

This paper cites Lost in the Middle: How Language Models Use Long Contexts.

LLM-Based Invariant Testing for Software Functional Bugs Lost in the Middle: How Language Models Use Long Contexts

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.556305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b4e947f-a7e4-4814-a52d-f9bfcbaa6986 · outbound

This paper cites FuzzBench: an open fuzzer benchmarking platform and service.

LLM-Based Invariant Testing for Software Functional Bugs FuzzBench: an open fuzzer benchmarking platform and service

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.559023Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3972ec6c-eb7f-41ba-984e-b61826e23b00 · outbound

This paper cites SWE-agent: Agent-Computer Inter- faces Enable Automated Software Engineering.

LLM-Based Invariant Testing for Software Functional Bugs SWE-agent: Agent-Computer Inter- faces Enable Automated Software Engineering

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.561726Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72753cbd-17b1-465a-978c-3913c24d8327 · outbound

This paper cites OpenHands: An Open Platform for AI Software Developers as Generalist Agents.

LLM-Based Invariant Testing for Software Functional Bugs OpenHands: An Open Platform for AI Software Developers as Generalist Agents

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.564643Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38a5f476-f400-4604-a4c6-5a709a6e7ffc · outbound

This paper cites Test Intention Guided LLM-based Unit Test Generation.

LLM-Based Invariant Testing for Software Functional Bugs Test Intention Guided LLM-based Unit Test Generation

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.567501Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3a4e347-5f95-4537-a447-28fb0b7aa396 · outbound

This paper cites SWE-bench: Can Language Models Resolve Real-World GitHub Issues?.

LLM-Based Invariant Testing for Software Functional Bugs SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.570391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d96c1dc-6a85-4fe9-a1b5-5ebbbf65ce35 · outbound

This paper cites Magma: A Ground-Truth Fuzzing Benchmark.

LLM-Based Invariant Testing for Software Functional Bugs Magma: A Ground-Truth Fuzzing Benchmark

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.573477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34a86313-1b3c-470b-9ce7-b04723c5d085 · outbound

This paper cites https://zlib.net/.

LLM-Based Invariant Testing for Software Functional Bugs https://zlib.net/

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.576574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7821d49c-0e4c-4b07-9ba6-ccd9bc79246f · outbound

This paper cites https : / / github.

LLM-Based Invariant Testing for Software Functional Bugs https : / / github

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.579619Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62c28fa9-88ab-4712-b74a-9365e2d27759 · outbound

This paper cites https://github.com/the-tcpdump-group/libpcap.

LLM-Based Invariant Testing for Software Functional Bugs https://github.com/the-tcpdump-group/libpcap

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.582870Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 328202a7-431f-459e-a14a-9ee410895e46 · outbound

This paper cites https://github.com/ sqlite/sqlite.

LLM-Based Invariant Testing for Software Functional Bugs https://github.com/ sqlite/sqlite

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.585629Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba95a3bc-b7d0-4df4-a7c4-b3dfb748de85 · outbound

This paper cites https://github.com/mm2/Little-CMS.

LLM-Based Invariant Testing for Software Functional Bugs https://github.com/mm2/Little-CMS

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.588162Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3489e193-2cea-48a0-82b1-58bb0ca7271b · outbound

This paper cites https://github.com/DaveGamble/cJSON.

LLM-Based Invariant Testing for Software Functional Bugs https://github.com/DaveGamble/cJSON

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.591120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff9e83a7-8c52-4bca-8e1c-d408a1411c56 · outbound

This paper cites https://github.com/google/re2.

LLM-Based Invariant Testing for Software Functional Bugs https://github.com/google/re2

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.594220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4e0d5a6-8e52-47ae-85a1-d2ebb170bf4c · outbound

This paper cites An Empirical Evaluation of Using Large Language Models for Automated Unit Test Gener- ation.

LLM-Based Invariant Testing for Software Functional Bugs An Empirical Evaluation of Using Large Language Models for Automated Unit Test Gener- ation

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.597204Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd48e019-ca6c-4b89-aa24-319de161f1c9 · outbound

This paper cites an unresolved cited work.

LLM-Based Invariant Testing for Software Functional Bugs Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.600057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ac23107-bcd7-474e-9c3d-ca55d6c17179 · outbound

This paper cites Is mutation an appropriate tool for testing experiments?.

LLM-Based Invariant Testing for Software Functional Bugs Is mutation an appropriate tool for testing experiments?

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.602810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c660b93-5411-482d-b046-fa33935ffe5a · outbound

This paper cites Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empiri- cal Study on the Relationship Between Mutants and Real Faults.

LLM-Based Invariant Testing for Software Functional Bugs Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empiri- cal Study on the Relationship Between Mutants and Real Faults

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.606019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ae78e7e-7ccc-40e1-a48e-79a270a77f2d · outbound

This paper cites LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing.

LLM-Based Invariant Testing for Software Functional Bugs LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.608907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a8cfbfd-50bf-4f68-a805-987a3a0369a9 · outbound

This paper cites On learning meaningful assert statements for unit test cases.

LLM-Based Invariant Testing for Software Functional Bugs On learning meaningful assert statements for unit test cases

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.611736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60d463c0-a7db-463c-95c7-95a56e4b664d · outbound

This paper cites TOGA: A Neural Method for Test Oracle Generation.

LLM-Based Invariant Testing for Software Functional Bugs TOGA: A Neural Method for Test Oracle Generation

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.619212Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afcfac6e-c2bd-45c1-a7a4-cb4063590c8a · outbound

This paper cites TestEval: Benchmarking Large Language Models for Test Case Generation.

LLM-Based Invariant Testing for Software Functional Bugs TestEval: Benchmarking Large Language Models for Test Case Generation

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.622660Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 293e987e-d381-4ee6-8702-dac4d77c6313 · outbound

This paper cites SWT-Bench: Testing and Vali- dating Real-World Bug-Fixes with Code Agents.

LLM-Based Invariant Testing for Software Functional Bugs SWT-Bench: Testing and Vali- dating Real-World Bug-Fixes with Code Agents

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.625850Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0bd7fa6d-9334-4359-9e22-cfccdd681f9c · outbound

This paper cites Code2Inv: A Deep Learning Frame- work for Program Verification.

LLM-Based Invariant Testing for Software Functional Bugs Code2Inv: A Deep Learning Frame- work for Program Verification

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.628904Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50f03216-7f29-4967-b09b-e86e14aebd33 · outbound

This paper cites Evaluating Program Semantics Rea- soning with Type Inference in System $F$.

LLM-Based Invariant Testing for Software Functional Bugs Evaluating Program Semantics Rea- soning with Type Inference in System $F$

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.632101Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9326372-d671-471f-adfb-b0ad32ad6c1e · outbound

This paper cites int test_{project}_api_sequence().

LLM-Based Invariant Testing for Software Functional Bugs int test_{project}_api_sequence()

Reference 70

Resolution: verified exact; doi, observed 2026-08-01T14:43:35.118576Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 586e957f-c5bf-4885-b047-5ecdf6ef0d11 · outbound

This paper cites an unresolved cited work.

LLM-Based Invariant Testing for Software Functional Bugs Unresolved cited work

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-01T14:40:20.553589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers