Test Case Generation of Actor Systems

DOI10.1007/978-3-319-24953-7_21zbMath1471.68050OpenAlexW2400998216MaRDI QIDQ3460568

Elvira Albert, Miguel Gómez-Zamalloa, Puri Arenas

Publication date: 8 January 2016

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: http://eprints.ucm.es/37020/1/Test%20case%20generation.pdf

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Analysis and Transformation of Constrained Horn Clauses for Program Verification

Uses Software

• aPET

This page was built for publication: Test Case Generation of Actor Systems