Author:
Albert Elvira,Arenas Puri,Gómez-Zamalloa Miguel
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Agha, G.A.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)
2. Albert, E., Arenas, P., Gómez-Zamalloa, M., Wong, P.Y.H.: aPET: A Test Case Generation Tool for Concurrent Objects. In: Proc. of ESEC/FSE 2013, pp. 595–598. ACM (2013)
3. Andrews, G.R.: Concurrent Programming: Principles and Practice. Benjamin/Cummings (1991)
4. Clarke, L.A.: A System to Generate Test Data and Symbolically Execute Programs. IEEE Transactions on Software Engineering 2(3), 215–222 (1976)
5. Lecture Notes in Computer Science;F.S. Boer de,2007
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deadlock-Guided Testing;IEEE Access;2021
2. Modeling Non-deterministic C Code with Active Objects;Fundamentals of Software Engineering;2019
3. Systematic testing of actor systems;Software Testing, Verification and Reliability;2018-02-08
4. Testing of concurrent and imperative software using CLP;Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming;2016-09-05
5. SYCO: a systematic testing tool for concurrent objects;Proceedings of the 25th International Conference on Compiler Construction;2016-03-17