NIST · ИТ · f31587547aa377b34e69
Developing multithreaded techniques and improved constraint handling for the tool CAgen
CAgen is a state-of-the-art combinatorial test generation tool that is known for its execution speed. In addition, it supports an extensive list of features such as constraint handling, higher-index arrays, and import and export of models/test sets in
NIST · ИТОфициальный источник · 2022-06-08
{
"title_en": "Developing multithreaded techniques and improved constraint handling for the tool CAgen",
"designation": "",
"series": "",
"status": "",
"date": "2022-06-08",
"date_original": "June 8, 2022",
"url": "https://www.nist.gov/publications/developing-multithreaded-techniques-and-improved-constraint-handling-tool-cagen",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Michael Wagner, Manuel Leithner, Dimitris Simos, D. Richard Kuhn , Raghu N. Kacker",
"abstract_excerpt_en": "CAgen is a state-of-the-art combinatorial test generation tool that is known for its execution speed. In addition, it supports an extensive list of features such as constraint handling, higher-index arrays, and import and export of models/test sets in",
"id": "f31587547aa377b34e69",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "Developing multithreaded techniques and improved constraint handling for the tool CAgen",
"designation": "",
"series": "",
"status": "",
"date": "2022-06-08",
"date_original": "June 8, 2022",
"url": "https://www.nist.gov/publications/developing-multithreaded-techniques-and-improved-constraint-handling-tool-cagen",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Michael Wagner, Manuel Leithner, Dimitris Simos, D. Richard Kuhn , Raghu N. Kacker",
"abstract_excerpt_en": "CAgen is a state-of-the-art combinatorial test generation tool that is known for its execution speed. In addition, it supports an extensive list of features such as constraint handling, higher-index arrays, and import and export of models/test sets in"
}
],
"translation_state": "none",
"possible_title_matches": 1
}