( en | de | ru )

 

Disambiguation of "Mota, Alexandre"

Author of the publication

copydeleteadd this publication to your clipboard
Evaluating an Automatic Text-based Test Case Selection using a Non-Instrumented Code Coverage Analysis.

, , , and . SAST, page 5:1-5:9. ACM, (2017)

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.

Joana Mota

Jorge Mota

Radmila Mota

Iraj Motamed

Hamid Motahari

 

Other publications of authors with the same name

An Aspect-based Approach for Concurrent Programming using CSP Features., , , , , , , and . ICSOFT (2), page 226-231. SciTePress, (2010)HSP: A hybrid selection and prioritisation of regression test cases based on information retrieval and code coverage applied on an industrial case study., , , , , and . J. Syst. Softw., (2020)Evaluating an Automatic Text-based Test Case Selection using a Non-Instrumented Code Coverage Analysis., , , and . SAST, page 5:1-5:9. ACM, (2017)Low Power WSN Protocol for Smart Green Homes., , and . ETFA, page 1411-1414. IEEE, (2019)Unifying Models of Test Cases and Requirements., , and . CIbSE, page 113-126. (2008)Formally Verifying a Real World Smart Contract., , and . CoRR, (2023)Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study., , , , , and . Sci. Comput. Program., 78 (8): 1137-1156 (2013)Model checking CML: tool development and industrial applications., , , and . Formal Aspects Comput., 27 (5-6): 975-1001 (2015)Viewing CSP Specifications with UML-RT Diagrams., , and . SBMF, volume 195 of Electronic Notes in Theoretical Computer Science, page 57-74. Elsevier, (2006)Class and Capsule Refinement in UML for Real Time., , and . WMF, volume 95 of Electronic Notes in Theoretical Computer Science, page 23-51. Elsevier, (2003)