Search Tags

Search Filter
Reset Back to Search
Active filters: Tag: Software Verification and Validation
4
Total
2
International Proceedings
2
National Proceedings
Detail Category Owner SortKey

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.

11/ 2017

Tag: Software Verification and Validation, Software Engineering
National Proceedings ADISAK INTANA 201711

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.

9/ 2017

Tag: Software Verification and Validation, Software Engineering
National Proceedings ADISAK INTANA 201709

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

Link    4/ 2015

Tag: Formal Methods, Co-simulation, wireless sensor networks, Software Testing, Software Verification and Validation, Simulation
International Proceedings ADISAK INTANA 201504

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

Link    5/ 2013

Tag: Formal Methods, wireless sensor networks, Software Verification and Validation
International Proceedings ADISAK INTANA 201305