This paper presents Bita, a scalable, automatic approach for testing non-deterministic behavior of actor programs. The key idea is to generate and explore ...

Abstract—Actor programs are concurrent programs where concurrent entities communicate asynchronously by exchanging messages. Testing actor programs is ...

This paper presents Bita, a scalable, automatic approach for testing non-deterministic behavior of actor programs. The key idea is to generate and explore ...

Bitta is presented, a scalable, automatic approach for testing non-deterministic behavior of actor programs, to generate and explore schedules that are ...

This paper presents Bita, a scalable, automatic approach for testing non-deterministic behavior of actor programs. The key idea is to generate and explore ...

This paper presents Bita, a scalable, automatic approach for testing non-deterministic behavior of actor programs. The key idea is to generate and explore ...

Bita is a coverage-guided tool for testing actor programs written in Akka. Based on three covearge criteria, it generates schedules and runs the program with ...

Bibliographic details on Bita: Coverage-guided, automatic testing of actor programs.

To address this problem, we propose Bita, a scalable and coverage-guided technique which automatically generates schedules. The key idea is to generate ...

Bita. Coverage-Guided, Automatic Testing of Actor Programs. Mendeley · CSV · RIS ... 2013 IEEE/ACM 28th International Conference on Automated Software Engineering ...