Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 ; proceedings

Veröffentlicht 2010

Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters

von Wu, Yulin
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (17. : 2023 : Bristol) Theoretical aspects of software engineering (2023)

Formal methods and software engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings

Veröffentlicht 2019

Dependable software engineering : theories, tools, and applications: 7th International Symposium, SETTA 2021 Beijing, China, November 25-27, 2021 : proceedings

Veröffentlicht 2021

Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 ; proceedings

Veröffentlicht 2011

Special issue on theoretical aspect of software engineering (TASE 2019)

Veröffentlicht 2020-2022