×

Found 99 Documents (Results 1–99)

Towards substructural property-based testing. (English) Zbl 1521.68035

De Angelis, Emanuele (ed.) et al., Logic-based program synthesis and transformation. 31st international symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13290, 92-112 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A testing perspective on algebraic, denotational, and operational semantics. (English) Zbl 07168632

Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 22-38 (2019).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

One net fits all. A unifying semantics of dynamic fault trees using GSPNs. (English) Zbl 1427.68156

Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 272-293 (2018).
MSC:  68Q55 68M15 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

A symbolic operational semantics for TESL – with an application to heterogeneous system testing. (English) Zbl 1494.68154

Abate, Alessandro (ed.) et al., Formal modeling and analysis of timed systems. 15th international conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10419, 318-334 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper). (English) Zbl 1374.68071

Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 18-40 (2015).
MSC:  68M14 68M15 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Asynchronous traces and open Petri nets. (English) Zbl 1434.68320

Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 86-102 (2015).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Semantics of probabilistic processes. An operational approach. (English) Zbl 1315.68002

Shanghai: Shanghai Jiao Tong University Press; Heidelberg: Springer (ISBN 978-3-662-45197-7/hbk; 978-3-662-45198-4/ebook). xiv, 249 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Testing noninterference, quickly. (English) Zbl 1323.68376

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 455-468 (2013).
MSC:  68Q60 68Q05 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

A conformance testing relation for symbolic timed automata. (English) Zbl 1290.68085

Chatterjee, Krishnendu (ed.) et al., Formal modeling and analysis of timed systems. 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15296-2/pbk). Lecture Notes in Computer Science 6246, 243-255 (2010).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Testing of abstract components. (English) Zbl 1286.68082

Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 184-198 (2010).
MSC:  68N30 18C20
PDFBibTeX XMLCite
Full Text: DOI Link

Semi-decidability of may, must and probabilistic testing in a higher-type setting. (English) Zbl 1337.68068

Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 219-242 (2009).
MSC:  68N30 68Q05 68Q10 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Default \(\alpha \)-logic for modeling customizable failure semantics in workflow systems using dynamic reconfiguration constraints. (English) Zbl 1213.68132

Ślȩzak, Dominik (ed.) et al., Grid and distributed computing. International conference, GDC 2009, held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10548-7/pbk; 978-3-642-10549-4/ebook). Communications in Computer and Information Science 63, 49-56 (2009).
MSC:  68M15 68M10 68T27
PDFBibTeX XMLCite
Full Text: DOI

Linearity, persistence and testing semantics in the asynchronous pi-calculus. (English) Zbl 1277.68167

Amadio, Roberto (ed.) et al., Proceedings of the 14th international workshop on expressiveness in concurrency (EXPRESS 2007), Lisbon, Portugal, September 3, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 2, 59-84 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Fair \(\pi\). (English) Zbl 1277.68168

Amadio, Roberto (ed.) et al., Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 3, 3-26 (2007).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Testing semantics for urgent timed process algebras. (English) Zbl 1123.68082

Ionescu, Dan (ed.) et al., Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: World Scientific (ISBN 981-02-4424-X/hbk). AMAST Series in Computing 8, 221-235 (2007).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite

Semantics of BPEL4WS-like fault and compensation handling. (English) Zbl 1120.68324

Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 350-365 (2005).
MSC:  68M10 68M15
PDFBibTeX XMLCite
Full Text: DOI

Unreliable failure detectors via operational semantics. (English) Zbl 1215.68056

Saraswat, Vijay A. (ed.), Advances in computing science – ASIAN 2003. Programming languages and distributed computation. 8th Asian computing science conference, Mumbai, India, December 10–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20632-9/pbk). Lect. Notes Comput. Sci. 2896, 54-71 (2003).
PDFBibTeX XMLCite
Full Text: DOI

Denotational testing semantics in coinductive form. (English) Zbl 1124.68383

Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2003. 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25–29, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40671-9/pbk). Lect. Notes Comput. Sci. 2747, 279-289 (2003).
MSC:  68Q55 68Q70 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Analysis of equivalence relations of event structures with continuous time. (English. Russian original) Zbl 0968.68111

Program. Comput. Softw. 26, No. 5, 249-257 (2000); translation from Programmirovanie 2000, No. 5, 18-30 (2000).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Relating may and must testing semantics for discrete timed process algebras. (English) Zbl 0959.68089

Thiagarajan, P. S. (ed.) et al., Advances in computing science - ASIAN ’99. 5th Asian computing science conference, Phuket, Thailand, December 8-10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1742, 74-86 (1999).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite

Abstraction and testing. (English) Zbl 0954.68016

Wing, Jeannette M. (ed.) et al., FM ’99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20–24, 1999. Proceedings. In 2 vols. Berlin: Springer (ISBN 3-540-66587-0/vol1; 3-540-66588-9/vol2). Lect. Notes Comput. Sci. 1708; 1709, 738-757 (1999).
MSC:  68M15
PDFBibTeX XMLCite

Fair testing through probabilistic testing. (English) Zbl 0952.68091

Wu, Jianping (ed.) et al., Formal methods for protocol engineering and distributed systems. FORTE XII/ PSTV XIX ’99. IFIP TC6 WG6.1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XII) and protocol specification, testing and verification (PSTV XIX). Beijing, China, October 5-8, 1999. Boston: Kluwer Academic Publishers. Int. Fed. Inf. Process., IFIP. 28, 135-150 (1999).
MSC:  68Q55 68Q10
PDFBibTeX XMLCite

Denotational semantics for probabilistic refusal testing. (English) Zbl 0920.68066

Baier, Christel (ed.) et al., Proceedings of the 1st international workshop on Probabilistic methods in verification (PROBMIV ’98), Indianapolis, IN, USA, June 19–20, 1998 (satellite event to the 13th international IEEE symposium on Logic in computer science, LICS ’98). Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 22, Electronic paper No. 9, (1998).
MSC:  68Q55
PDFBibTeX XMLCite
Full Text: Link

Teams can see pomsets. (Preliminary version). (English) Zbl 0880.68082

Peled, Doron A. (ed.) et al., Partial order methods in verification. DIMACS workshop, July 24-26, 1996, Princeton Univ., Princeton, NJ, USA. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 29, 117-128 (1997).
MSC:  68Q55
PDFBibTeX XMLCite

TAPSOFT ’95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings. (English) Zbl 0835.68002

Lecture Notes in Computer Science 915. Berlin: Springer-Verlag. xv, 810 p. (1995).
Reviewer: M.Gheorghe
PDFBibTeX XMLCite
Full Text: DOI

Logic programming: Proceedings of the 1991 international symposium held in San Diego, CA, USA, October 28 - November 1, 1991. (English) Zbl 0816.68040

London: MIT Press,. xviii, 740 p. (1991).
PDFBibTeX XMLCite

Protocol specification, testing, and verification, XI. Proceedings of the IFIP WG 6.1 11th international symposium, Stockholm, Sweden, 18-20 June, 1991. (English) Zbl 0800.68103

Amsterdam etc.: North-Holland. XIII, 365 p. (1991).
MSC:  68-06 00B25
PDFBibTeX XMLCite

Vectorized model checking for computation tree logic. (English) Zbl 0774.68079

Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/ NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 219-230 (1991).
Reviewer: L.Brim (Brno)
PDFBibTeX XMLCite

Using partial-order semantics to avoid the state explosion problem in asynchronous systems. (English) Zbl 0800.94302

Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 15-24 (1991).
MSC:  94C12 68Q55 68Q60
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software