@article{NielsenSkou:STTT:2003,
    Abstract = {Testing is the most dominant validation activity used by industry today, and there is an urgent need for improving its effectiveness, both with respect to the time and resources for test generation and execution, and obtained test coverage. We present a new technique for automatic generation of real-time black-box conformance tests for non-deterministic systems from a determinizable class of timed automata specifications with a dense time interpretation. In contrast to other attempts, our tests are generated using a coarse equivalence class partitioning of the specification. To analyze the specification, to synthesize the timed tests, and to guarantee coverage with respect to a coverage criterion, we use the efficient symbolic techniques recently developed for model checking of real-time systems. Application of our prototype tool to a realistic specification shows promising results in terms of both the test suite size, and the time and space used for test generation.},
    Author = {Nielsen, Brian and Skou, Arne},
    File = {Automated test generation from timed automata - nielsen2003 - a - a - a - y.pdf},
    ISSN = {1433-2787},
    Journal = {International Journal on Software Tools for Technology Transfer},
    Month = {Nov},
    Number = {1},
    Pages = {59--77},
    Title = {Automated test generation from timed automata},
    URL = {https://doi.org/10.1007/s10009-002-0094-1},
    Volume = {5},
    Year = {2003},
    bdsk-url-1 = {https://doi.org/10.1007/s10009-002-0094-1},
    date-added = {2020-01-06 15:09:08 +0100},
    date-modified = {2020-01-06 15:09:57 +0100},
    day = {01},
    doi = {10.1007/s10009-002-0094-1}
}

@article{NielsenSkou:STTT:2003, Abstract = {Testing is the most dominant validation activity used by industry today, and there is an urgent need for improving its effectiveness, both with respect to the time and resources for test generation and execution, and obtained test coverage. We present a new technique for automatic generation of real-time black-box conformance tests for non-deterministic systems from a determinizable class of timed automata specifications with a dense time interpretation. In contrast to other attempts, our tests are generated using a coarse equivalence class partitioning of the specification. To analyze the specification, to synthesize the timed tests, and to guarantee coverage with respect to a coverage criterion, we use the efficient symbolic techniques recently developed for model checking of real-time systems. Application of our prototype tool to a realistic specification shows promising results in terms of both the test suite size, and the time and space used for test generation.}, Author = {Nielsen, Brian and Skou, Arne}, File = {Automated test generation from timed automata - nielsen2003 - a - a - a - y.pdf}, ISSN = {1433-2787}, Journal = {International Journal on Software Tools for Technology Transfer}, Month = {Nov}, Number = {1}, Pages = {59--77}, Title = {Automated test generation from timed automata}, URL = {https://doi.org/10.1007/s10009-002-0094-1}, Volume = {5}, Year = {2003}, bdsk-url-1 = {https://doi.org/10.1007/s10009-002-0094-1}, date-added = {2020-01-06 15:09:08 +0100}, date-modified = {2020-01-06 15:09:57 +0100}, day = {01}, doi = {10.1007/s10009-002-0094-1} }