About Me
Name   Asst.Prof.Dr. ADISAK  INTANA
Position   Lecturer
Email   adisak.i(at)phuket.psu.ac.th
Phone   076-27 (6711)
ORCID   0000-0002-2434-0056
EDUCATION
  
Ph.D. Degree

Ph.D. (Computer Science), Southampton University, United Kingdom

  
Master Degree

M.Sc. (Computer Science), Prince of Songkla University, Thailand

  
Bachelor Degree

B.Sc. (Computer Science), Prince of Songkla University, Thailand

RESEARCH INTERESTS


Software Engineering



Formal Methods and Engineering



Software Verification and Validation



Software Testing



CASE Tool Development



Ontology Modelling and Engineering



Semantic Web Application



Artificial Intelligence for Software Engineering



Research Projects

Ongoing Research Projects:

• การพัฒนาต้นแบบสำหรับแพลตฟอร์มการท่องเที่ยวเชิงการแพทย์และสุขภาพอัจฉริยะ

• การพัฒนาต้นแบบการตรวจจับอุบัติเหตุบนถนนในจังหวัดภูเก็ต

• แพลตฟอร์ปัญญาประดิษฐ์สำหรับการท่องเที่ยวเชิงประวัติศาสตร์ กรณีศึกษาเส้นทางข้ามคาบสมุทรจังหวัดระนองและชุมพร

• ระบบจำแนกข้อความทางประวัติศาสตร์ด้วยปัญญาประดิษฐ์ กรณีศึกษา ดินแดนสุวรรณภูมิ

• การใช้ปัญญาประดิษฐ์สำหรับการวิเคราะห์ข้อมูลข่าวจากสื่อสังคมออนไลน์

 

Previous Research Projects:

• STATETest: An Automatic Test Case Generation Framework for State Transition Testing

A. Intana, A. Sawedsuthiphan, "STATETest: An Automatic Test Case GenerationFramework for State Transition Testing," 2023 20th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON), 2023.

•  An Automated Impact Analysis Framework of Test Cases Based on Changes of Use Case Based Requirement Specification with the Hybrid Testing Generation Approach of Equivalence Class Partitioning with Classification Tree Method

A. Intana, K. Laosen, T.Sriraksa, “An Automated Impact Analysis Approach for Test Cases based on Changes of Use Case based Requirement Specifications,”  International Journal of Advanced Computer Science and Applications (IJACSA), vol. 14, no. 1, January, 2023.

•  A Framework of Context – Aware Recommender System for Sport Tourists

W. Tanthavanich and A. Intana, "The Development of Running Event Ontology for Sport Tourism in Thailand," 2021 36th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC), 2021, pp. 1-4, doi: 10.1109/ITC-CSCC52171.2021.9501410.

•  A Framework of Test Case Generation with Software Requirements Ontology

S. Charoenreh and A. Intana, "Enhancing Software Testing with Ontology Engineering Approach," 2019 23rd International Computer Science and Engineering Conference (ICSEC), Phuket, Thailand, 2019, pp. 186-191, doi: 10.1109/ICSEC47112.2019.8974672.

•  SYNTest (Syntax Test Case Generation) Tool

A. Intana, M. Thongthep, P. Thepnimit, P. Saethapan and T. Monpipat, "SYNTest: Prototype of Syntax Test Case Generation Tool," 2020 - 5th International Conference on Information Technology (InCIT), Chonburi, Thailand, 2020, pp. 259-264, doi: 10.1109/InCIT50588.2020.9310968.

•  FATCG (Fault Analysis based Test Case Generation)
T. Sriraksa and A. Intana, "Adding Effectiveness to Combination of Equivalence Partitioning and Classification Tree Based Testing Technique with Fault Tree Analysis," 2017 - 21st International Computer Science and Engineering Conference, Bangkok, Thailand, 2017, pp. 348-353.

•  UCDev (Use Case Development) Tool
 A. Intana, P. Buranapraphan, J.  Pitukdansakul and S. Vongna, "A Prototype of Use Case Development for Supporting Scenario Based Requirement Engineering." 2017 - 9th National Conference on Information Technology (NCIT), Bangkok, Thailand, 2017, pp. pp.269-274.

•  TestGen (Test Case Generation) Tool
 A. Intana, T. Sriraksa, S. Kaewyao, J. Phetrupan and K. Singsom  "The Prototype Development of Automatic Test Case Generation for Supporting System and User Acceptance Testing," 2017 - 9th National Conference on Information Technology (NCIT), Bangkok, Thailand, 2017, pp. 246-252.

Research Projects

TEACHING

• 976-130 Computer and Internet Technology

• 977-271 Requirement Engineering and Software Modeling

• 977-371 Software Requirement Specification and Management

• 140-370 Software Engineering

• 977-374 Software Verfication and Validation

• 976-502 Research Methodology in IT

• 969-051 Change Your Thoughts, Change Your Life

• 977-211 Software Engineering (International Program)

• 976-601 Research Methodology in Computing (International Program)

• 977-362 Software Verification and Validation (International Program)

• 977-378 Formal Methods in Software Engineering (International Program)

 

MSc/PhD Students

Mr. Wasupon Tanthavanich       (2017-2023)

  Thesis Tittle:  A Framework of Context – Aware Recommender System for Sport Tourists

Miss Suraiya Charoenreh          (2017-2022)

   Thesis Tittle: A Framework of Test Case Generation with Software Requirements Ontology

Miss Thiwatip Sriraksa              (2016-2018)

  Thesis Tittle:  An Impact Analysis Framework of Test Cases Based on Changes of Use Case Based Requirement Specification with the Hybrid Testing Generation Approach of Equivalence Class Partitioning with Classification Tree Method

International Journal Articles

A. Intana, K. Laosen, T.Sriraksa, “An Automated Impact Analysis Approach for Test Cases based on Changes of Use Case based Requirement Specifications,”  International Journal of Advanced Computer Science and Applications (IJACSA), vol. 14, no. 1, pp. 967-980, January, 2023.

Month/Year: 1/2023

Tag: Software Engineering ,   Change impact analysis approach ,   Test Case ,   Black-box Testing ,   Use Case Based Requirement Specification ,   Combination of Equivalence and Classification Tree Method   

K.Laosen, A. Intana, P.Chuaynukul, "Customer Needs Classification from Online Social Media using Bag-of-Concepts Representation", International Journal on Advanced Science, Engineering and Information Technology (IJASEIT), vol. 13, no. 4, pp. 1546-1553, August, 2023.

Month/Year: 8/2023

Tag: conceptual level analysis ,   bag of concepts ,   online social media ,   customer needs classification   

A. Intana, K. Tantayakul, K. Laosen, S.Charoenreh, “An Approach of Test Case Generation with Software Requirement Ontology,”  International Journal of Advanced Computer Science and Applications (IJACSA), vol. 14, no. 8, pp. 1005-1014, August, 2023.

Month/Year: 8/2023

Tag: Software Testing ,   Software Requirement Specification ,   Ontology ,   Test Case ,   Combination of Equivalence and Classification Tree Method   

INTERNATIONAL Proceedings

A. Intana, K. Laosen, P. Nuanchan, N. Pattanakit and S. Dermchai, "An NLP-Based Approach for Detecting Ambiguity of Thai Software Requirements Specification," 2024 21st International Joint Conference on Computer Science and Software Engineering (JCSSE), Phuket, Thailand, 2024, pp. 99-106, doi: 10.1109/JCSSE61278.2024.10613719. 

Link:    Month/Year: 6/2024

Tag: Software Engineering ,   Natural Language Processing ,   Software Requirement Specification   

A. Intana and A. Sawedsuthiphan, "STATETest: An Automatic Test Case Generation Framework for State Transition Testing," in Proc. The 20th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology 2023 (ECTI-CON2023), Nakhon Phanom, Thailand, 2023, pp. 1-4, doi: 10.1109/ECTI-CON58255.2023.10153308.

Link:    Month/Year: 6/2023

Tag: State Transition Testing ,   Black-box Testing ,   Test Cases ,   Test Case Generation ,   Automated Software Testing Tool   

W. Tanthavanich and A. Intana, "The Development of Running Event Ontology for Sport Tourism in Thailand," in Proc. The 36th International Technical Conference on Circuits/Systems, Computers and Communications 2021 (ITC-CSCC2021), 2021, pp. 1-4, doi: 10.1109/ITC-CSCC52171.2021.9501410.

Link:    Month/Year: 6/2021

Tag: Ontology ,   Sport Tourism ,   Sport Tourist ,   Running Events   

A. Intana, "A Pattern-Based Formal Modelling Framework for Wireless Sensor Networks," in Proc.The 17th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology 2020(ECTI-CON2020), Phuket, Thailand, 2020, pp. 63-66, doi: 10.1109/ECTI-CON49241.2020.9158327.

Link:    Month/Year: 6/2020

Tag: pattern-based formal modelling framework ,   wireless sensor networks ,   formal modelling patterns   

A. Intana, M. Thongthep, P. Thepnimit, P. Saethapan and T. Monpipat, "SYNTest: Prototype of Syntax Test Case Generation Tool,"  in Proc. The 5th International Conference on Information Technology 2020 (InCIT2020), Chonburi, Thailand, 2020, pp. 259-264, doi: 10.1109/InCIT50588.2020.9310968.

Link:    Month/Year: 10/2020

Tag: Syntax Testing ,   Black-box Testing ,   Test Cases ,   Software Testing Tool ,   Regular Expression   

A. Intana, "Teaching Requirement Engineering Using Industrial-Infused Project-Based Learning,"  in Proc. The 5th International STEM Education Conference 2020 (iSTEM-Ed2020), Hua Hin, Thailand, 2020, pp. 82-85, doi: 10.1109/iSTEM-Ed50324.2020.9332770.

Link:    Month/Year: 11/2020

Tag: Requirement Engineering Education ,   Industrial-Infused Project-Based Learning ,   II-PrBL ,   Case-Based Learning ,   Industrial Problem-Based Learning   

A. Intana and T. Sriraksa, "Impact Analysis Framework of Test Cases Based on Changes of Use Case Based Requirements," in Proc. The 23rd International Computer Science and Engineering Conference 2019 (ICSEC2019), Phuket, Thailand, 2019, pp. 230-235, doi: 10.1109/ICSEC47112.2019.8974699.

Link:    Month/Year: 11/2019

Tag: Test Cases ,   Impact Analysis ,   Equivalence Class Partitioning ,   Classification Tree Method ,   Black-box Testing   

S. Charoenreh and A. Intana, "Enhancing Software Testing with Ontology Engineering Approach," In Proc. The 23rd International Computer Science and Engineering Conference 2019 (ICSEC2019), Phuket, Thailand, 2019, pp. 186-191, doi: 10.1109/ICSEC47112.2019.8974672.

Link:    Month/Year: 11/2019

Tag: Test Cases ,   Requirement Ontology ,   Software Requirement Specification ,   Software Testing ,   Black-box Testing   

National Proceedings

T. Sriraksa and A. Intana, "Adding Effectiveness to Combination of Equivalence Partitioning and Classification Tree Based Testing Technique with Fault Tree Analysis," 2017 - 21st International Computer Science and Engineering Conference, Bangkok, Thailand, 2017, pp. 348-353.

Month/Year: 11/2017

Tag: Software Verification and Validation ,   Software Engineering   

A. Intana, P. Buranapraphan, J.  Pitukdansakul and S. Vongna, "A Prototype of Use Case Development for Supporting Scenario Based Requirement Engineering." 2017 - 9th National Conference on Information Technology (NCIT), Bangkok, Thailand, 2017, pp. pp.269-274.

Month/Year: 9/2017

Tag: Requirement Engineering ,   Software Engineering   

A. Intana, T. Sriraksa, S. Kaewyao, J. Phetrupan and K. Singsom  "The Prototype Development of Automatic Test Case Generation for Supporting System and User Acceptance Testing," 2017 - 9th National Conference on Information Technology (NCIT), Bangkok, Thailand, 2017, pp. 246-252.

Month/Year: 9/2017

Tag: Software Verification and Validation ,   Software Engineering   

CONATCT ME

076-27 (6711)

COLLEGE OF COMPUTING
Prince of Songkla University Phuket Campus 80 M.1 Vichitsongkram Road Kathu, Phuket 83120