Sequence Import/Export
TechniqueSequence Import/Export is a testing technique for converting instruction traces to and from a human-readable format, enabling terminal reporting and trace-file workflows. In the cited TestRIG context, traces can be read and written individually or in bulk from a directory, which supports maintaining a regression-test library of previous counterexamples.
First seen 5/27/2026
Last seen 6/2/2026
Evidence 2 chunks
Wiki v1
WIKI
Overview
Sequence Import/Export is a technique for handling instruction traces in a human-readable representation. The cited TestRIG paper describes instruction traces as convertible both to and from this format, supporting use in terminal reporting as well as file-based trace workflows. [C1]
Trace-file workflow
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
3 connectionsQCVEngine supports sequence import/export for regression testing and human-readable reporting.
TestRIG implements sequence import/export for collecting regression test libraries.
TestRIG supports sequence import/export for regression testing and trace sharing.
LINKED ENTITIES
2 linksCITATIONS
3 sources3 citations — click to collapse
[1] Instruction traces can be converted to and from a human-readable format for terminal reporting and for reading and writing trace files, individually or in bulk from a directory. Randomized Testing of RISC-V CPUs using Direct
[2] Sequence Import/Export enabled collection of a regression-test library for quickly checking previous counterexamples, and the cited text contrasts these with hand-written tests with assertions as not requiring maintenance. Randomized Testing of RISC-V CPUs using Direct
[3] The surrounding sequence-based testing workflow includes smart shrinking, non-shrinkable sequences, and assertions in sequences. Randomized Testing of RISC-V CPUs using Direct