Professional Details
| Name | Asst.Prof.Dr. ADISAK INTANA |
| adisak.i(at)phuket.psu.ac.th | |
| Phone | 076-27 (6711) |
ATTACHMENTS
Curriculum-Vitae.pdf Last Update : 2024-11-17 22:18:07
About Me
| Name | Asst.Prof.Dr. ADISAK INTANA |
| Position | Lecturer |
| adisak.i(at)phuket.psu.ac.th | |
| Phone | 076-27 (6711) |
| ORCID | 0000-0002-2434-0056 |
EDUCATION
Ph.D. (Computer Science), Southampton University, United Kingdom
M.Sc. (Computer Science), Prince of Songkla University, Thailand
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.
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
MSc Students
• Mr. Phone Myint Zaw (2024-present)
• 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 MethodK.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 classificationA. 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 MethodA. Intana, M. R. Poppleton, G. V. Merrett, “A formal co-simulation approach for wireless sensor network development”. Electronic Communications of the EASST, vol. 70, pp.1-15, 2014.
Tag: Formal Modelling and Analysis , Formal Methods , Wireless Sensor Networks , Co-simulationINTERNATIONAL 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.
Tag: Software Engineering , Natural Language Processing , Software Requirement SpecificationA. 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.
Tag: State Transition Testing , Black-box Testing , Test Cases , Test Case Generation , Automated Software Testing ToolW. 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.
Tag: Ontology , Sport Tourism , Sport Tourist , Running EventsA. 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.
Tag: pattern-based formal modelling framework , wireless sensor networks , formal modelling patternsA. 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.
Tag: Syntax Testing , Black-box Testing , Test Cases , Software Testing Tool , Regular ExpressionA. 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.
Tag: Requirement Engineering Education , Industrial-Infused Project-Based Learning , II-PrBL , Case-Based Learning , Industrial Problem-Based LearningA. 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.
Tag: Test Cases , Impact Analysis , Equivalence Class Partitioning , Classification Tree Method , Black-box TestingS. 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.
Tag: Test Cases , Requirement Ontology , Software Requirement Specification , Software Testing , Black-box TestingA. Intana, M. R. Poppleton, and G. V. Merrett. “A model-based trace testing approach for validation of formal co-simulation models,” In Proc. The Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (DEVS '15). Society for Computer Simulation International, San Diego, CA, USA, 2015, pp.181–188.
Tag: Formal Methods , Co-simulation , wireless sensor networks , Software Testing , Software Verification and Validation , SimulationA. Intana, M. R. Poppleton and G. V. Merrett, "Adding value to WSN simulation through formal modelling and analysis," 2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA), San Francisco, CA, USA, 2013, pp. 24-29, doi: 10.1109/SESENA.2013.6612261.
Tag: Formal Methods , wireless sensor networks , Software Verification and ValidationNational 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 EngineeringA. 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 EngineeringA. 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 EngineeringAwards
Certificates:
• Data Scientist (Level 5), Thailand Professional Qualification Institute (Public Organization)
CONATCT ME
076-27 (6711)
COLLEGE OF COMPUTING
Prince of Songkla University Phuket Campus 80 M.1 Vichitsongkram Road Kathu, Phuket 83120