Author:
Albert Elvira,Arenas Puri,Gómez-Zamalloa Miguel
Publisher
Springer International Publishing
Reference23 articles.
1. Abdulla, P., Aronis, S., Jonsson, B., Sagonas, K.F.: Optimal dynamic partial order reduction. In: Proceedings of the POPL 2014, pp. 373–384. ACM (2014)
2. Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)
3. Lecture Notes in Computer Science;E Albert,2014
4. Albert, E., Arenas, P., Gómez-Zamalloa, M., Wong, P.Y.H.: aPET: a test case generation tool for concurrent objects. In: Proceedings of the ESEC/FSE 2013, pp. 595–598. ACM (2013)
5. Andrews, G.R.: Concurrent Programming: Principles and Practice. Benjamin/Cummings, Redwood (1991)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deadlock-Guided Testing;IEEE Access;2021
2. A Survey of Active Object Languages;ACM Computing Surveys;2018-09-30
3. Testing of concurrent and imperative software using CLP;Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming;2016-09-05