Holzer, Andreas; Schallhart, Christian; Tautschnig, Michael; Veith, Helmut Closure properties and complexity of rational sets of regular languages. (English) Zbl 1330.68160 Theor. Comput. Sci. 605, 62-79 (2015). MSC: 68Q45 68N30 PDFBibTeX XMLCite \textit{A. Holzer} et al., Theor. Comput. Sci. 605, 62--79 (2015; Zbl 1330.68160) Full Text: DOI
Holzer, Andreas; Schallhart, Christian; Tautschnig, Michael; Veith, Helmut On the structure and complexity of rational sets of regular languages. (English) Zbl 1359.68170 Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 377-388 (2013). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{A. Holzer} et al., LIPIcs -- Leibniz Int. Proc. Inform. 24, 377--388 (2013; Zbl 1359.68170) Full Text: DOI arXiv
Holzer, Andreas; Tautschnig, Michael; Schallhart, Christian; Veith, Helmut An introduction to test specification in FQL. (English) Zbl 1325.68148 Barner, Sharon (ed.) et al., Hardware and software: verification and testing. 6th international Haifa verification conference, HVC 2010, Haifa, Israel, October 4–7, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19582-2/pbk). Lecture Notes in Computer Science 6504, 9-22 (2011). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. Holzer} et al., Lect. Notes Comput. Sci. 6504, 9--22 (2011; Zbl 1325.68148) Full Text: DOI
Holzer, Andreas; Schallhart, Christian; Tautschnig, Michael; Veith, Helmut Query-driven program testing. (English) Zbl 1206.68089 Jones, Neil D. (ed.) et al., Verification, model checking, and abstract interpretation. 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18–20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-93899-6/pbk). Lecture Notes in Computer Science 5403, 151-166 (2009). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{A. Holzer} et al., Lect. Notes Comput. Sci. 5403, 151--166 (2009; Zbl 1206.68089) Full Text: DOI