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
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
Session 2 | SGApps: DESIGNING AND DEVELOPING EXPERT SYSTEM APPS FOR DIAGNOSING SUGAR GLIDER
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
Session 7 | ARTIFICIAL INTELLIGENCE LEGAL POLICY: LIMITS OF USE OF SOME KINDS OF AI
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
Prof. Dr. Kamal Zuhairi Zamli, Universiti Malaysia Pahang, Malaysia
DEAN OF THE FACULTY OF COMPUTER SYSTEMS & SOFTWARE ENGINEERING (FSKKP)
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
Abstract: 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
Abstract: 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 n-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.
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.