Author of the publication

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.

, , , , , and . MoDELS, volume 6981 of Lecture Notes in Computer Science, page 304-318. Springer, (2011)

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

Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study., , , , and . ASE, page 502-514. IEEE, (2019)Scaling static taint analysis to industrial SOA applications: a case study at Alibaba., , , , , and . ESEC/SIGSOFT FSE, page 1477-1486. ACM, (2020)Automating presentation changes in dynamic web applications via collaborative hybrid analysis., , , , and . SIGSOFT FSE, page 16. ACM, (2012)Detecting and fixing precision-specific operations for measuring floating-point errors., , , , , and . SIGSOFT FSE, page 619-630. ACM, (2016)A case study on consistency management of business and IT process models in banking., , , , and . Softw. Syst. Model., 13 (3): 913-940 (2014)Inferring the data access from the clients of generic APIs., , , and . ICSM, page 388-397. IEEE Computer Society, (2012)Faster mutation analysis via equivalence modulo states., , , , and . ISSTA, page 295-306. ACM, (2017)Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects., , , , and . ICSE, page 1827-1839. IEEE, (2023)Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification., , , and . ASE, page 38:1-38:12. ACM, (2022)Towards RSA-based HA configuration in Cloud., , , , and . Models@run.time, volume 1079 of CEUR Workshop Proceedings, page 96-102. CEUR-WS.org, (2013)