جست‌وجوی استاد و پژوهشگر

• Software Security Testing
• Metamorphic Testing
• Model-Driven Engineering
• +۳ مورد دیگر

Arda Goknil is a researcher at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg, actively contributing to software engineering research with a focus on security testing and model-driven methodologies. His work bridges theoretical foundations with practical tool development for critical software verification challenges. His research centers on software security testing, metamorphic testing frameworks, model-driven engineering, and formal methods. Key contributions include developing specialized tools for web application security analysis and automated model reasoning, addressing vulnerabilities through innovative testing approaches that transform security requirements into executable validation procedures. Analysis of his 2018-2020 publications reveals a consistent emphasis on metamorphic relations for security testing in web environments and formal logic integration for model verification. His work demonstrates strong interdisciplinary connections between cybersecurity, automated testing, and model transformation, with practical applications in vulnerability detection and security policy enforcement. As part of SnT - Luxembourg's premier research center for digital trust - he collaborates within multidisciplinary teams advancing security, reliability, and trustworthiness in modern software systems through rigorous academic research and tool-oriented solutions.

Shing-Chi Cheungمشاهده پروفایل

استاد

• Software Engineering
• Program Analysis
• Software Testing
• +۷ مورد دیگر

Shing-Chi Cheung is a Professor of Computer Science and Engineering at the Hong Kong University of Science and Technology (HKUST), School of Engineering. He founded the CASTLE research group and co-founded the International Workshop on Automation of Software Testing (AST) in 2006. His leadership includes serving as General Chair of FSE 2014 and chairing multiple APSEC conferences. His research focuses on software quality enhancement through program analysis, testing, debugging, and AI techniques, targeting Android apps, open-source software, deep learning systems, smart contracts, and spreadsheets. Current projects include metamorphic testing frameworks, binary analysis tools, and vulnerability detection systems for emerging technologies. His publication portfolio demonstrates consistent contributions to software engineering since 2016, with recent work emphasizing AI-integrated testing methodologies, smart contract security, and deep learning system reliability. Key trends show increasing focus on cross-language analysis, data visualization quality, and compiler-level verification for modern software stacks. Distinguished Member of the ACM Fellow of the British Computer Society Editorial board member: Science of Computer Programming (SCP), Journal of Computer Science and Technology (JCST) Former editorial board member: IEEE Transactions on Software Engineering (2006-2009), Information and Software Technology (2012-2015) Four patents in China and the United States Cheung actively mentors through the CASTLE research group and serves on program committees for major conferences including ICSE, ESEC/FSE, and ISSTA. His work bridges academic research with practical applications through industry collaborations and tool development. He has contributed to numerous workshops and symposia as steering committee member and program chair.

Chang-ai Sunمشاهده پروفایل

استاد

• Software Testing
• Program Analysis
• Service Oriented Computing
• +۳ مورد دیگر

Chang-ai Sun is a full professor at the School of Computer and Communication Engineering, University of Science and Technology Beijing (USTB). He currently serves as Vice Dean of the Institute for Multidisciplinary Innovation (IMI), Head of the Department of Computer Science, and Director of the Software Engineering Institute at USTB. He received his bachelor's degree in computer science from the University of Science and Technology Beijing and his PhD in computer science from Beihang University, China. Prof. Sun's primary research focuses on software engineering with particular emphasis on software testing, program analysis, and service-oriented computing. Recently, he has been devoted to developing novel theories, techniques, and supporting tools for intelligent software development and maintenance. His work spans theoretical foundations to practical applications in software quality assurance, with increasing focus on AI-driven approaches to traditional software engineering challenges. His publication record shows consistent contributions to metamorphic testing, program repair, and the application of AI techniques to software engineering problems. Recent work explores the intersection of large language models and software testing methodologies, demonstrating both theoretical innovation and practical implementation. Prof. Sun has received significant recognition for his contributions: 11 national Software Prototype/Service Innovation Awards Senior Member of IEEE Distinguished Member of China Computer Federation (CCF) As principal investigator and major investigator, he has completed over 40 research projects funded by the European Union, Australia, China, and Hong Kong. His extensive grant portfolio demonstrates strong international collaboration and significant impact in the software engineering community. He actively mentors students and junior researchers through his leadership roles. Prof. Sun leads the Software Engineering Institute at USTB, where his team focuses on advancing research in software testing, program analysis, and intelligent software development tools. His leadership extends to departmental administration as Head of the Department of Computer Science, shaping curriculum and research directions for one of China's leading technical universities.

Antonio Ruiz-Cortésمشاهده پروفایل

استاد

• Service Oriented Computing
• Software Engineering
• Software Architecture
• +۴ مورد دیگر

Antonio Ruiz-Cortés is Professor of Software and Service Engineering at the University of Seville and an elected member of the Academy of Europe. He currently heads the Applied Software Engineering Group at the University of Seville and has served as President of the Spanish Society on Software Engineering (SISTEDES) since September 2018. His research spans multiple critical areas of modern software engineering: Service-Oriented Computing Software Architecture Business Process Management Testing methodologies Software Product Lines Automatic Model Analysis Professor Ruiz-Cortés has established himself as a leading researcher in REST API testing and verification, with multiple influential publications in top software engineering conferences. His work bridges traditional software engineering with emerging domains like quantum computing, demonstrating remarkable adaptability. He has developed practical tools including RESTest and AGORA that address real-world testing challenges faced by industry practitioners. His scientific contributions have been recognized with the Most Influential Paper award at SPLC 2017. He serves as associate editor for Springer Computing and has organized major conferences including JCIS 2008, SPLC 2017, SISTEDES 2018 and BPM 2020, demonstrating significant leadership in the academic community. Professor Ruiz-Cortés maintains active research funding supporting his work in service-oriented computing and software testing, though specific grant details aren't provided in the available information. His presidency of SISTEDES reflects his commitment to advancing software engineering research in Spain.