Validating the Z specification of telephone book system with symbolic execution

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Symbolic execution has been used as a technique to validate Telephone Book Specification System. A set of test case has been prepared to integrate with Telephone Book Specification System for validation process. Supports from ztc and Z/EVES have assisted this study to get a very precise, and concise results thus reduce human error. Findings through this study are very crucial in order to raise more confidence using symbolic execution as a technique to validate formal specification.

Original languageEnglish
Title of host publicationProceedings of the 2009 International Conference on Electrical Engineering and Informatics, ICEEI 2009
Pages232-235
Number of pages4
Volume1
DOIs
Publication statusPublished - 2009
Event2009 International Conference on Electrical Engineering and Informatics, ICEEI 2009 - Selangor
Duration: 5 Aug 20097 Aug 2009

Other

Other2009 International Conference on Electrical Engineering and Informatics, ICEEI 2009
CitySelangor
Period5/8/097/8/09

Fingerprint

Telephone systems
Telephone
Specifications
Formal specification

Keywords

  • Validation

ASJC Scopus subject areas

  • Information Systems
  • Software
  • Energy Engineering and Power Technology
  • Electrical and Electronic Engineering

Cite this

Mohd Yusof, A. R., & Shukur, Z. (2009). Validating the Z specification of telephone book system with symbolic execution. In Proceedings of the 2009 International Conference on Electrical Engineering and Informatics, ICEEI 2009 (Vol. 1, pp. 232-235). [5254783] https://doi.org/10.1109/ICEEI.2009.5254783

Validating the Z specification of telephone book system with symbolic execution. / Mohd Yusof, Ahmad Rizal; Shukur, Zarina.

Proceedings of the 2009 International Conference on Electrical Engineering and Informatics, ICEEI 2009. Vol. 1 2009. p. 232-235 5254783.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Mohd Yusof, AR & Shukur, Z 2009, Validating the Z specification of telephone book system with symbolic execution. in Proceedings of the 2009 International Conference on Electrical Engineering and Informatics, ICEEI 2009. vol. 1, 5254783, pp. 232-235, 2009 International Conference on Electrical Engineering and Informatics, ICEEI 2009, Selangor, 5/8/09. https://doi.org/10.1109/ICEEI.2009.5254783
Mohd Yusof AR, Shukur Z. Validating the Z specification of telephone book system with symbolic execution. In Proceedings of the 2009 International Conference on Electrical Engineering and Informatics, ICEEI 2009. Vol. 1. 2009. p. 232-235. 5254783 https://doi.org/10.1109/ICEEI.2009.5254783
Mohd Yusof, Ahmad Rizal ; Shukur, Zarina. / Validating the Z specification of telephone book system with symbolic execution. Proceedings of the 2009 International Conference on Electrical Engineering and Informatics, ICEEI 2009. Vol. 1 2009. pp. 232-235
@inproceedings{07ee4ee8158941b1960b23f0d2c9a5ad,
title = "Validating the Z specification of telephone book system with symbolic execution",
abstract = "Symbolic execution has been used as a technique to validate Telephone Book Specification System. A set of test case has been prepared to integrate with Telephone Book Specification System for validation process. Supports from ztc and Z/EVES have assisted this study to get a very precise, and concise results thus reduce human error. Findings through this study are very crucial in order to raise more confidence using symbolic execution as a technique to validate formal specification.",
keywords = "Validation",
author = "{Mohd Yusof}, {Ahmad Rizal} and Zarina Shukur",
year = "2009",
doi = "10.1109/ICEEI.2009.5254783",
language = "English",
isbn = "9781424449132",
volume = "1",
pages = "232--235",
booktitle = "Proceedings of the 2009 International Conference on Electrical Engineering and Informatics, ICEEI 2009",

}

TY - GEN

T1 - Validating the Z specification of telephone book system with symbolic execution

AU - Mohd Yusof, Ahmad Rizal

AU - Shukur, Zarina

PY - 2009

Y1 - 2009

N2 - Symbolic execution has been used as a technique to validate Telephone Book Specification System. A set of test case has been prepared to integrate with Telephone Book Specification System for validation process. Supports from ztc and Z/EVES have assisted this study to get a very precise, and concise results thus reduce human error. Findings through this study are very crucial in order to raise more confidence using symbolic execution as a technique to validate formal specification.

AB - Symbolic execution has been used as a technique to validate Telephone Book Specification System. A set of test case has been prepared to integrate with Telephone Book Specification System for validation process. Supports from ztc and Z/EVES have assisted this study to get a very precise, and concise results thus reduce human error. Findings through this study are very crucial in order to raise more confidence using symbolic execution as a technique to validate formal specification.

KW - Validation

UR - http://www.scopus.com/inward/record.url?scp=70449730093&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70449730093&partnerID=8YFLogxK

U2 - 10.1109/ICEEI.2009.5254783

DO - 10.1109/ICEEI.2009.5254783

M3 - Conference contribution

SN - 9781424449132

VL - 1

SP - 232

EP - 235

BT - Proceedings of the 2009 International Conference on Electrical Engineering and Informatics, ICEEI 2009

ER -