The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Concolic testing

The work

AuthorsKoushik Sen
Editors
Typemisc
Year2007
Also known asanon2007concolic
Citekeysen2007concolic

Where it appeared

PublisherACM

How it got here

How it got hereagent via unpaywall
Added2026-10-27 06:02 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@misc{sen2007concolic,
  title        = {Concolic testing},
  author       = {Koushik Sen},
  year         = {2007},
  publisher    = {ACM},
  doi          = {10.1145/1321631.1321746},
}

This record lives at https://refs.drheap.org/sen2007concolic/ and will keep doing so. It used to be called anon2007concolic, and those addresses still resolve to this one.