← Research building on SQLancer

Umang Mathur, David Mestel, Mahesh Viswanathan. 2024. Proc. ACM Program. Lang..

Read the paper · doi:10.1145/3704870 · arXiv:2410.17185

What this paper does with SQLancer

No SQLancer mention could be extracted, and no bibliography parsed. The subject is mathematical logic rather than database testing, so the paper is most likely in the citing set through a shared citation rather than through any relationship to SQLancer. This paper studies the decision problem for regular first order theories, establishing decidability results for a class of logical theories. It is a theory paper rather than a systems one. Written by claude-opus-5 from the 0 places this paper refers to SQLancer. The quotations below are the paper's own words, stored verbatim when the text was extracted.

How it was classified

uses infrastructure — insufficient evidence

The extracted text contains no sentence naming SQLancer or one of its techniques, and no bibliography entry resolved to a SQLancer publication. With no mention to reason from, no relationship can be judged either way.

extends technique — insufficient evidence

The extracted text contains no sentence naming SQLancer or one of its techniques, and no bibliography entry resolved to a SQLancer publication. With no mention to reason from, no relationship can be judged either way.

compares with — insufficient evidence

The extracted text contains no sentence naming SQLancer or one of its techniques, and no bibliography entry resolved to a SQLancer publication. With no mention to reason from, no relationship can be judged either way.

describes as state of the art — insufficient evidence

The extracted text contains no sentence naming SQLancer or one of its techniques, and no bibliography entry resolved to a SQLancer publication. With no mention to reason from, no relationship can be judged either way.

What could not be determined

  • No bibliography parsed and no mention found. Given the subject, its presence in the citing set should be re-checked.

This page is rendered from _data/papers/paper_doi_10_1145_3704870.json, extracted from arxiv. 31 pages, 0 references parsed.