Filters








1 Hit in 3.8 sec

Symbolic Methods in Testing (Dagstuhl Seminar 13021)

Thierry Jéron, Margus Veanes, Burkhart Wolff, Marc Herbstritt
2013 Dagstuhl Reports  
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