A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
This report documents the program and the outcomes of Dagstuhl Seminar 13021 "Symbolic Methods in Testing". ... In Proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012. Springer, LNCS, Volume 7641, pages 119-135. Aalborg, Denmark, November 19-21, 2012. ... Krichen.Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata.In 17th International Conference on Tools and Algorithms for the Construction And Analysis of Systems (TACAS'11), ...doi:10.4230/dagrep.3.1.1 dblp:journals/dagstuhl-reports/JeronVW13 fatcat:qg6wp73g6jejbg6xsmysn574dy