• 1
  • 2
  • 3

ICSCA 2019 | Feb. 19-22, 2019 | Penang, Malaysia

ICSCA 2019 Conference Proceedings | ISBN: 978-1-4503-6573-4 | Click Here to download all the photo of ICSCA 2019

ICSCA 2019 conference proceedings has been archived in ACM Digital Library within 3 months after. Read More

Prof. Dr. Vitaliy Mezhuyev from Universiti Malaysia Pahang started the opening ceremony.

Prof. Dr. Kamal Zuhairi Zamli from Universiti Malaysia Pahang delivered his speech about "Search based Software Engineering: Application of Meta/Hyper-Heuristics for t-way Test Suite Generation"

Prof. Masahiro Fujita from The University of Tokyo talked about a research about Partial synthesis and its application to automatic generation of parallel/distributed algorithms 

Assoc. Prof. Dr. Rozmie Razif Bin Othman from Universiti Malaysia Perlis talked about a research about Sequence Covering Array (SCA): The evolution of State Transition Testing

Excellent Paper Presentation

Session 1 | (In)security of the AA_β cryptosystem for transmitting large data
Muhammad Asyraf Asbullah, Muhammad Rezal Kamel Ariffin, Zahari Mahad and Muhamad Azlan Daud
Presenter: Muhammad Asyraf Asbullah, Universiti Putra Malaysia, Malaysia


Mimi Rosnida Osman, Munirah Mohd Yusof, and Hanayanti Hafit
Presenter: Munirah Mohd Yusof, Universiti Tun Hussein Onn Malaysia, Malaysia

Session 3 | Privacy enhancement for delivery route optimization through occupancy prediction
Shimpei Ohsugi, Kenji Tanaka and Noboru Koshizuka
Presenter: Shimpei Ohsugi, The University of Tokyo, Japan

Session 4 | Solving 0/1 knapsack problem using Opposition-based Whale Optimization Algorithm (OWOA)
Hammoudeh Alamri, Kamal Zamli, Mohd Faizal Ab Razak and Ahmad Firdaus
Presenter: Hammoudeh Alamri, University Malaysia Pahang, Malaysia

Session 5 | Automating Business Process Model Generation from Ontology-based Requirements
Amarilis Putri Yanuarifiani, Fang-Fang Chua, Gaik-Yee Chan
Presenter: Amarilis Putri Yanuarifiani, Multimedia University, Malaysia

Session 6 | Cooperative Hierarchical Framework for Group Activity Recognition: From Group Detection to Multi-activity Recognition
Mohammed Al-Habib, Dongjun Huang, Majjed Al-Qatf and Kamal Al-Sabahi
Presenter: Mohammed Al-Habib, Central South University, China

Roman Dremliuga, Natalia Prisekina
Presenter: Roman Dremliuga, Far Eastern Federal University, Russia

Session 8 | A 3-Tier Architecture for Network Latency Reduction in Healthcare Internet-of-Things using Fog Computing and Machine Learning
Saurabh Shukla, Fadzil Hassan, Low Tang Jung, Azlan Awang and Muhammed Khalid Khan
Presenter: Saurabh Shukla, Universiti Teknologi of PETRONAS, Malaysia

Session 9 | Reinforcing the decision-making process in Chemometrics: Feature selection and algorithm optimization
Samer Muthana Sarsam
Presenter: Samer Muthana Sarsam, Universiti Sains Malaysia, Malaysia

Session 10 | Visualizing Test-Defect Coverage Information to Support Analytical Reasoning and Testing
Sharifah Mashita Syed-Mohamad, Mohd Heikal Husin and Wan Mohd Nazmee Wan Zainon
Presenter: Sharifah Mashita Syed-Mohamad, Universiti Sains Malaysia, Malaysia

Session 11 | Development of Assessment System for Spine Curvature Angle Measurement
Shanyu Chua, Chee Chin Lim, Shafriza Nisha Basah, Asrul Fahmi Azizan
Presenter: Shanyu Chua, Universiti Malaysia Perlis(UniMAP), Malaysia

Session 12 | Privacy Preserving of IP Address through Truncation Method in Network-based Intrusion Detection System
Yee Jian Chew, Shih Yin Ooi, Kok-Seng Wong, Ying Han Pang
Presenter: Chew Yee Jian, Multimedia University, Melaka, Malaysia






Keynote Speaker

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. 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.
Speech Title: Partial synthesis and its application to automatic generation of parallel/distributed algorithms
We first review the partial logic synthesis problem and its associated algorithm based on QBF (Quantified Boolean Formula) formulation. Partial logic synthesis is to generate appropriate sub-circuits for the missing portions in the target design so that the entire circuit becomes equivalent to the specification which is separately given. Then, we show the problem to automatically generate distributed/parallel computing for the given specification can be defined as partial logic synthesis problem. Taking matrix-vector product computation as an example, we show how theoretical optimum distributed/parallel computation can be automatically generated targeting many cores/chips which are connected through a ring connection.

Assoc. Prof. Dr. Rozmie Razif Bin Othman, Universiti Malaysia Perlis, Malaysia
Rozmie Razif Othman received his Ph.D. in Software Engineering from the Universiti Sains Malaysia in 2012. His research areas include Software Testing, Optimization Algorithm and Machine Learning. He is a Certified Professional Requirement Engineer (CPRE) and Certified Tester Advance Level (CTAL-TM). Since 2017, he is an Associate Professor in School of Computer and Communication Engineering, Universiti Malaysia Perlis (UniMAP). He has been actively involved with several industry in Malaysia especially in developing the solution for data analytics and machine learning. 
Speech Title: Sequence Covering Array (SCA): The evolution of State Transition Testing
State transition testing is a type of black-box testing catering the need to test the behaviour of the system when changing its state. However, state transition testing often generates test cases to test all individual transitions (i.e. transition between one state to another state). With the advancement of current technology, testing of individual transition seems to be insufficient. Bugs or defects are usually triggered by the combination of more than one transitions. As a result, researchers extend the concept of state transition testing to n-switch state transition testing in order to cater needs for testing more than individual transition. With -switch state transition testing, tester can generate test cases that cover all n-transition within the System Under Test (SUT). Although n-switch state transition testing able to generate test cases that can cover all n-transition, it could potentially omit the negative tests (i.e. testing the invalid transitions). To overcome this limitation, researchers come up with the idea of applying sequence covering array (SCA) in testing the state transition. The talk will cover the evolution of state transition testing and at the same time highlight the current state-of-the-art in SCA research.

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
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.