Author:
Cai Simin,Gallina Barbara,Nyström Dag,Seceleanu Cristina
Publisher
Springer International Publishing
Reference27 articles.
1. Adya, A., Liskov, B., O’Neil, P.: Generalized isolation level definitions. In: Proceedings of the 16th ICDE, pp. 67–78 (2000)
2. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
3. Bernstein, P.A., Goodman, N.: Concurrency control in distributed database systems. ACM Comput. Surv. (CSUR) 13(2), 185–221 (1981)
4. Blum, B., Gibson, G.: Stateless model checking with data-race preemption points. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 477–493. ACM (2016)
5. Bradbury, J.S., Cordy, J.R., Dingel, J.: Mutation operators for concurrent Java (J2SE 5.0). In: Second Workshop on Mutation Analysis, p. 11. IEEE (2006)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary);Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022
2. Testing of Execution of Concurrent Processes;Communications in Computer and Information Science;2020
3. ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction;Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems;2018