×

Found 4 Documents (Results 1–4)

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software