Work

Automated SC-MCC Test Case Generation using Sequence-Sensitive Dynamic Symbolic Execution

Year: 2024
Type: article
Abstract: This artefact is prepared to make the data available for the "Automated SC-MCC Test Case Generation using Sequence-Sensitive Dynamic Symbolic Execution" paper. It contains all the experimental results.
Language: English
Subfield: Software
Open Access status: green
OpenAlex ID: W6930804662
FWCI:
Cites:
Cited by:
Related to: