• 1
  • 2
  • 3

Keynote Speakers of ICSCA 2019

Prof. Dr. Kamal Zuhairi Zamli, Universiti Malaysia Pahang, Malaysia

Biography: Kamal Z. Zamli is the professor in the Faculty of Computer Systems and Software Engineering, Universiti Malaysia Pahang.  His research interests are Search based Software Engineering, Combinatorial t-way Testing, Computational Intelligence and Artificial Intelligence.
Speech Title: Search based Software Engineering: Application of Meta/Hyper-Heuristics for t-way Test Suite Generation
Abstract: Software testing can be seen as the gate keeper of quality (i.e. ensuring confirmance to specification). Although desirable  exhaustive testing is practically impossible owing resources as well as timing constraints. Many sampling strategies have been proposed in the literature (e.g. equivalence partitioning, boundary value, cause effect graphing). Although useful, these strategies have not sufficiently dealt with the bugs caused by interaction between parameter values. This talk offers the review on the state-of-the-art on recent work on interaction sampling strategy, termed t-way testing (where t represents the interaction strength) as part of recent initiative on Search based Software Engineering. In particular, this talk also elaborates the adoption meta-heuristic and hyper- heuristic as the backbone algorithm for t-way test suite generation. Additionally,  this talk also suggests potential new areas of research including its adoption for testing of software product lines.


Prof. Luigi Benedicenti, Software Systems Engineering, University of Regina, Canada

Biography: Dr. Luigi Benedicenti received his Laurea in Electrical Engineering and Ph.D. in Electrical and Computer Engineering from the University of Genoa, Italy. A full professor in the Faculty of Engineering and Applied Science, Benedicenti has served as Associate Dean in charge of Special Projects and as Associate Vice-President (Academic). He is a Professional Engineer licensed in Saskatchewan and a licensed Italian Engineer. He created the Software Systems Engineering Program at the University of Regina and became its founding Program Chair. He led the accreditation process for the new program and was subsequently entrusted with the supervision of data collection and computation for all Engineering programs.
Benedicenti has more than 120 international peer-reviewed publications and has supervised more than 50 graduate students. He is familiar with the Tri-council grant system, the European Union system and the United States National Science Foundation system, having participated in the process as an applicant, a mentor and a reviewer.
Benedicenti’s current research is in three areas: Software Agents, Software Metrics, and New Media Technology. Research in Software Agents involves the characterization of software agents and the best applications for the agent model. Research in Software Metrics aims at characterizing agile development methods with a corresponding lightweight metrics program. Research in New Media Technology is directed towards enhancing the understanding of digital communications. A supporter of interdisciplinary work, Benedicenti has developed and supported numerous academic partnerships within the University and with international partners. Benedicenti believes in collaborative environments, clear responsibilities and a strong motivation for success.


Prof. Masahiro Fujita, The University of Tokyo, Japan

Masahiro Fujita received his Ph.D. in Information Engineering from the University of Tokyo in 1985 on his work on model checking of hardware designs by using logic programming languages. In 1985, he joined Fujitsu as a researcher and started to work on hardware automatic synthesis as well as formal verification methods and tools, including enhancements of BDD/SATbased techniques. From 1993 to 2000, he was director at Fujitsu Laboratories of America and headed a hardware formal verification group developing a formal verifier for real-life designs having more than several million gates. The developed tool has been used in production internally at Fujitsu and externally as well. Since March 2000, he has been a professor at VLSI Design and Education Center of the University of Tokyo. He has done innovative work in the areas of hardware verification, synthesis, testing, and software verification-mostly targeting embedded software and web-based programs. He has been involved in a Japanese governmental research project for dependable system designs and has developed a formal verifier for C programs that could be used for both hardware and embedded software designs. The tool is now under evaluation jointly with industry under governmental support. He has authored and co-authored 10 books, and has more than 200 publications. He has been involved as program and steering committee member in many prestigious conferences on CAD, VLSI designs, software engineering, and more. His current research interests include synthesis and verification in SoC (System on Chip), hardware/software co-designs targeting embedded systems, digital/analog co-designs, and formal analysis, verification, and synthesis of web-based programs and embedded programs.


Tutorial Speakers

Prof. Dr. Vitaliy Mezhuyev, Universiti Malaysia Pahang, Malaysia

Biography: Vitaliy Mezhuyev received BS and MS degrees in physics and informatics from Berdyansk State Pedagogical University (BSPU), Ukraine, in 1997. In 2002, he received a PhD in Physics Instruction from Kiev National Pedagogical University and, in 2012, a ScD in Information Technologies from Odessa National Technical University, Ukraine. From 2004 until 2014, he was Head of the Department of Informatics and Software Engineering at BSPU, Ukraine. Now he is Professor at Faculty of Computer Systems and Software Engineering in University Malaysia Pahang, Head of the Software Engineering Research Group.
During his carrier, Vitaliy Mezhuyev participated in the multiple international scientific and industrial projects, devoted to formal modelling, design and development of advanced software systems as network-centric real-time operating system; IDE for the automation of development of parallel real-time applications; tools for specification, verification and validation of software products; visual environment for metamaterials modelling and others.
His current research interests include formal methods, metamodeling, safety modelling and verification of hybrid software systems, and the design of cyber-physical systems.

Topic: Introduction to Formal Methods in Software Engineering

Abstract. Safety of software systems becomes one of the most important issues nowadays. Testing is not sufficient to ensure the software correctness, as it only shows the presence of bugs, but not guarantee their absence. This tutorial introduces formal methods, which allow significantly increase the reliability and robustness of software systems by use of rigorously specified mathematical models. Temporal logic of actions and UPPAAL timed automata will be briefly considered at their application to software systems modelling and verification.