CUTE: A Concolic Unit Testing Engine for C.¶

Sen, K., Marinov, D., & Agha, G. (2005). CUTE: A Concolic Unit Testing Engine for C. Proceedings of ESEC/FSE 2005, 263-272.

Type: Conference paper
Intellectual base: Primary research
Year: 2005
DOI: 10.1145/1081706.1081750`
Link: https://osl.cs.illinois.edu/publications/conf/sigsoft/SenMA05.html

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Symbolic Execution
- It is an important hybrid variant, not an exact name for every symbolic executor.

Verification¶

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:016f97229a03 · see in the full table