Author of the publication

Structural testing for message-passing concurrent programs: an extended test model.

, , and . Concurr. Comput. Pract. Exp., 26 (1): 21-50 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards an Empirical Study Design for Concurrent Software Testing., , and . SE-HPCCSE@SC, page 49. IEEE, (2016)A survey on the practices of software testing: a look into Brazilian companies., , , and . J. Softw. Eng. Res. Dev., (2022)An interactive approach for the teaching of virtual memory using open educational resources., , , , and . SAC, page 225-231. ACM, (2016)Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs., , , , and . Softw. Test. Verification Reliab., 25 (3): 310-332 (2015)Amnesia: A learning object for memory hierarchy teaching., , , , and . FIE, page 1-7. IEEE Computer Society, (2015)ValiErlang: A Structural Testing Tool for Erlang Programs., , and . SAST, page 13:1-13:10. ACM, (2016)A Systematic Mapping Study on the Multi-tenant Architecture of SaaS Systems., , , , and . SEKE, page 396-401. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2016)Integration testing criteria for mobile robotic systems., , , and . SEKE, page 182-187. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2015)SeleCTT: An Infrastructure for Selection of Concurrent Software Testing Techniques., , , and . SAST, page 62-71. ACM, (2019)Structural testing for message-passing concurrent programs: an extended test model., , and . Concurr. Comput. Pract. Exp., 26 (1): 21-50 (2014)