DART: Directed Automated Random Testing.¶

Godefroid, P., Klarlund, N., & Sen, K. (2005). DART: Directed Automated Random Testing. Proceedings of PLDI 2005, 213-223.

Type: Conference paper
Intellectual base: Primary research
Year: 2005
DOI: 10.1145/1065010.1065036`
Link: https://osl.cs.illinois.edu/publications/conf/pldi/GodefroidKS05.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:c536a8097083 · see in the full table