×

Found 20 Documents (Results 1–20)

Fast computation of strong control dependencies. (English) Zbl 1493.68102

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 887-910 (2021).
MSC:  68N30 68R10 68W40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Runtime abstract interpretation for numerical accuracy and robustness. (English) Zbl 1472.68095

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 243-266 (2021).
MSC:  68Q60 68N30
PDFBibTeX XMLCite
Full Text: DOI

A general testability theory. (English) Zbl 1254.68152

Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 572-586 (2009).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Model-based test selection for infinite-state reactive systems. (English) Zbl 1147.68572

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7–10, 2006. Revised lectures. Berlin: Springer (ISBN 978-3-540-74791-8/pbk). Lecture Notes in Computer Science 4709, 47-69 (2007).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Testing from algebraic specifications: Test data set selection by unfolding axioms. (English) Zbl 1183.68175

Grieskamp, Wolfgang (ed.) et al., Formal approaches to software testing. 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34454-3/pbk). Lecture Notes in Computer Science 3997, 203-217 (2006).
MSC:  68N30 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives. (English) Zbl 1493.68229

Finkel, A. (ed.) et al., STACS 92. Theoretical aspects of computer science. Proceedings of the 9th annual symposium, Cachan, France, February 13–15, 1992. Berlin: Springer. Lect. Notes Comput. Sci. 577, 1-18 (1992).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software