Keyword : model-based testing


Modeling and Testing of Network Protocols with Parallel State Machines
Xia YIN Jiangyuan YAO Zhiliang WANG Xingang SHI Jun BI Jianping WU 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/12/01
Vol. E98-D  No. 12 ; pp. 2091-2104
Type of Manuscript:  Special Section PAPER (Special Section on Parallel and Distributed Computing and Networking)
Category: Network
Keyword: 
conformance testingmodel-based testingParallel Parameterized Extended Finite State MachinesSource Address Validation Improvements
 Summary | Full Text:PDF(1.6MB)

Model-Based Contract Testing of Graphical User Interfaces
Tugkan TUGLULAR Arda MUFTUOGLU Fevzi BELLI Michael LINSCHULTE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/07/01
Vol. E98-D  No. 7 ; pp. 1297-1305
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
model-based testingGUI testingevent sequence graphsmulti terminal binary decision diagrams
 Summary | Full Text:PDF(881KB)

Model-Based Mutation Testing Using Pushdown Automata
Fevzi BELL Mutlu BEYAZIT Tomohiko TAKAGI Zengo FURUKAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/09/01
Vol. E95-D  No. 9 ; pp. 2211-2218
Type of Manuscript:  Special Section PAPER (Special Section on Software Reliability Engineering)
Category: 
Keyword: 
model-based testingmutation testingpushdown automatamutation operatortest coverage criteria
 Summary | Full Text:PDF(700.3KB)