( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Metamorphic relation patterns for query-based systems.

, , , и . MET@ICSE, стр. 24-31. IEEE / ACM, (2019)

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.

Alfonso Luís Troya Chinchilla

Methodie Troyatschinow

Javier Manero

Javier Jáurequi

Javier Dreyer

 

Другие публикации лиц с тем же именем

Model Transformation Testing and Debugging: A Survey., , , и . ACM Comput. Surv., 55 (4): 72:1-72:39 (2023)Performance metamorphic testing: A Proof of concept., , , и . Inf. Softw. Technol., (2018)Using trace alignments for measuring the similarity between a physical and its digital twin., , , и . MoDELS (Companion), стр. 503-510. ACM, (2022)Metamorphic testing of RESTful web APIs., , , и . ICSE, стр. 882. ACM, (2018)Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments - Git repository., , , и . (декабря 2023)Full contract verification for ATL using symbolic execution., , , и . Softw. Syst. Model., 17 (3): 815-849 (2018)Spectrum-Based Fault Localization in Model Transformations., , , и . ACM Trans. Softw. Eng. Methodol., 27 (3): 13:1-13:50 (2018)Using UML and OCL Models to Realize High-Level Digital Twins., , и . MoDELS (Companion), стр. 212-220. IEEE, (2021)Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable Environments., , и . SEAMS@ICSE, стр. 63-69. ACM, (2024)Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis., , , и . Softw. Syst. Model., 23 (3): 737-763 (июня 2024)