This is the research artifact for peer review, for the Quickstrom property-based testing tool. Please see the attached README.txt for more information
Testing is the primary method to validate that a software implementation meets its specification. In...
Datasets and source materials for our studies of Linear Temporal Logic (LTL). Includes: Label...
R scripts of QTLST and QTLEE tests. Phenotypicdata of QTL identification. Both two file can be viewe...
This is the research artifact for peer review, for the Quickstrom property-based testing tool. Plea...
It contains the README and the scripts to set up the experimental environment and run the experiment...
Artifact evaluation for accepted paper "Mission-time LTL (MLTL) Formula Validation Via Regular Expre...
A Quick Check property is a logical statement of aspects of the behavior of a system. We report on h...
This document gives the outline of a system demonstration for the QuickSpec theory exploration tool
This is the dataset used to conduct a mapping study followed by a systematic literature review on th...
This document contains the test plan/procedure the acceptance testing of the CALIX Basic QC tools
This document gives the outline of a system demonstration for the QuickSpec theory exploration tool
Dataset generated during systematic literature review of technology assessment methods, comprised of...
Version of the package used to generate the manuscript sent for submission after the first round of ...
Primary studies reviewed in the systematic literature review (SLR) on Software-testing educatio
Some rights reserved. For more information, please see the item record link above. Title An assessme...
Testing is the primary method to validate that a software implementation meets its specification. In...
Datasets and source materials for our studies of Linear Temporal Logic (LTL). Includes: Label...
R scripts of QTLST and QTLEE tests. Phenotypicdata of QTL identification. Both two file can be viewe...
This is the research artifact for peer review, for the Quickstrom property-based testing tool. Plea...
It contains the README and the scripts to set up the experimental environment and run the experiment...
Artifact evaluation for accepted paper "Mission-time LTL (MLTL) Formula Validation Via Regular Expre...
A Quick Check property is a logical statement of aspects of the behavior of a system. We report on h...
This document gives the outline of a system demonstration for the QuickSpec theory exploration tool
This is the dataset used to conduct a mapping study followed by a systematic literature review on th...
This document contains the test plan/procedure the acceptance testing of the CALIX Basic QC tools
This document gives the outline of a system demonstration for the QuickSpec theory exploration tool
Dataset generated during systematic literature review of technology assessment methods, comprised of...
Version of the package used to generate the manuscript sent for submission after the first round of ...
Primary studies reviewed in the systematic literature review (SLR) on Software-testing educatio
Some rights reserved. For more information, please see the item record link above. Title An assessme...
Testing is the primary method to validate that a software implementation meets its specification. In...
Datasets and source materials for our studies of Linear Temporal Logic (LTL). Includes: Label...
R scripts of QTLST and QTLEE tests. Phenotypicdata of QTL identification. Both two file can be viewe...
DOI
Add to ORKG