( en | de | ru )

 

Disambiguation of "Delamaro, Márcio Eduardo"

Author of the publication

copydeleteadd this publication to your clipboard
Mutation Testing Applied to Validate Specifications Based on Petri Nets.

, , , , and . FORTE, volume 43 of IFIP Conference Proceedings, page 329-337. Chapman & Hall, (1995)

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.

Márcio Noveli

Márcio Rosa D'Avila

Márcio Rosa Silva

Márcio Celso Fredel

Márcio Rostirolla Adames

 

Other publications of authors with the same name

Mapping Formal Results Back to UML Semi-formal Model., , and . ICEIS (2), page 320-329. SciTePress, (2015)An experimental comparison of edge, edge-pair, and prime path criteria., , and . Sci. Comput. Program., (2018)Improving the structure of KDM instances via refactorings: An experimental study using KDM-RE., , , , , and . SBES, page 174-183. ACM, (2017)Muta-Pro: Towards the Definition of a Mutation Testing Process., , , and . J. Braz. Comput. Soc., 12 (2): 49-61 (2006)Exploiting deep reinforcement learning and metamorphic testing to automatically test virtual reality applications., , and . Softw. Test. Verification Reliab., (December 2023)Test Case Selection: A Systematic Literature Review., , and . Int. J. Softw. Eng. Knowl. Eng., 24 (4): 653-676 (2014)Test Data Generation Techniques for Mutation Testing: A Systematic Mapping., , , and . CIbSE, page 419-432. Curran Associates, (2014)PROTEUM/IM: Uma Ferramenta de Apoio ao Teste de Integração., , and . SBES, page 487-490. SBC, (1997)Operadores Essenciais de Interface: Um Estudo de Caso., , , and . SBES, page 336-354. SBC, (1999)An Extensible Framework to Implement Test Oracle for Non-Testable Programs., , , , and . SEKE, page 199-204. Knowledge Systems Institute Graduate School, (2014)