TY - GEN
T1 - Practical behavioral inconsistency detection between source code and specification using model checking
AU - Matsuura, Saeko
AU - Aoki, Yoshitaka
AU - Ogata, Shinpei
N1 - Publisher Copyright:
© 2014 IEEE.
PY - 2014/12/12
Y1 - 2014/12/12
N2 - To achieve practical use of model checking, we propose a method to find the discrepancy between the behavior of the source code and the specifications written in UML by using a decision table.
AB - To achieve practical use of model checking, we propose a method to find the discrepancy between the behavior of the source code and the specifications written in UML by using a decision table.
KW - Model checking
KW - UML-based specification
KW - Verification method of source code
UR - http://www.scopus.com/inward/record.url?scp=84922663228&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84922663228&partnerID=8YFLogxK
U2 - 10.1109/ISSREW.2014.39
DO - 10.1109/ISSREW.2014.39
M3 - Conference contribution
AN - SCOPUS:84922663228
T3 - Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
SP - 124
EP - 125
BT - Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
Y2 - 3 November 2014 through 6 November 2014
ER -