ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
A search-based approach for test suite generation from extended finite state machines
2016 International Conference on Progress in Informatics and Computing (PIC)
◽
10.1109/pic.2016.7949471
◽
2016
◽
Cited By ~ 4
Author(s):
Sana Rao
◽
Hosney Jahan
◽
Dongmei Liu
Keyword(s):
Finite State Machines
◽
Test Suite
◽
State Machines
◽
Finite State
◽
Extended Finite State Machines
◽
Test Suite Generation
Download Full-text
Related Documents
Cited By
References
A test suite generation method for extended finite state machines using axiomatic semantics approach
Protocol Specification, Testing and Verification, XII
◽
10.1016/b978-0-444-89874-6.50009-x
◽
1992
◽
pp. 29-43
◽
Cited By ~ 9
Author(s):
Chang-Jia Wang
◽
Ming T. Liu
Keyword(s):
Finite State Machines
◽
Test Suite
◽
State Machines
◽
Axiomatic Semantics
◽
Finite State
◽
Extended Finite State Machines
◽
Test Suite Generation
Download Full-text
Assessing test suites of extended finite state machines against model‐ and code‐based faults
Software Testing Verification and Reliability
◽
10.1002/stvr.1789
◽
2021
◽
Author(s):
K. El‐Fakih
◽
Ayman Alzaatreh
◽
Uraz Cengiz Türker
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
◽
Extended Finite State Machines
◽
Test Suites
Download Full-text
Modeling Session Initiation Protocol with Extended Finite State Machines
Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007)
◽
10.1109/pdcat.2007.4420207
◽
2007
◽
Author(s):
Sun Wenhui
◽
Liu Feng
◽
Dai Gang
◽
Li Honghui
Keyword(s):
Finite State Machines
◽
Session Initiation Protocol
◽
State Machines
◽
Finite State
◽
Extended Finite State Machines
Download Full-text
An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines
IFAC Proceedings Volumes
◽
10.3182/20140514-3-fr-4046.00039
◽
2014
◽
Vol 47
(2)
◽
pp. 376-382
◽
Cited By ~ 1
Author(s):
Sahar Mohajerani
◽
Robi Malik
◽
Martin Fabian
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
◽
Extended Finite State Machines
Download Full-text
Testability Metrics for Extended Finite State Machines
Parallel and Distributed Computing and Networks / 720: Software Engineering
◽
10.2316/p.2011.720-015
◽
2011
◽
Author(s):
Binh T. Nguyen
◽
Michel Delaunay
◽
Chantal Robach
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
◽
Extended Finite State Machines
Download Full-text
Synthesizing protocol specifications from service specifications in timed extended finite state machines
Proceedings of 17th International Conference on Distributed Computing Systems
◽
10.1109/icdcs.1997.598044
◽
2002
◽
Cited By ~ 1
Author(s):
Jun-Cheol Park
◽
R.E. Miller
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
◽
Extended Finite State Machines
Download Full-text
Using Change Impact Analysis to Select Tests for Extended Finite State Machines
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
◽
10.1109/sefm.2009.38
◽
2009
◽
Cited By ~ 1
Author(s):
Mahadevan Subramaniam
◽
Bo Guo
◽
Zoltan Pap
Keyword(s):
Impact Analysis
◽
Finite State Machines
◽
State Machines
◽
Change Impact Analysis
◽
Finite State
◽
Extended Finite State Machines
◽
Change Impact
Download Full-text
On deriving the parallel composition of extended finite state machines
Vestnik Tomskogo gosudarstvennogo universiteta Upravlenie vychislitel naya tekhnika i informatika
◽
10.17223/19988605/48/10
◽
2019
◽
pp. 83-91
Author(s):
Ekaterina V. Shirokova
◽
◽
Svetlana A. Prokopenko
◽
Natalia V. Shabaldina
Keyword(s):
Finite State Machines
◽
Parallel Composition
◽
State Machines
◽
Finite State
◽
Extended Finite State Machines
Download Full-text
The Formal Analyse of DoS Attack to SIP Based on the SIP Extended Finite State Machines
2010 International Conference on Computational Intelligence and Software Engineering
◽
10.1109/cise.2010.5676902
◽
2010
◽
Author(s):
Chen Zhe
◽
Duan Rong
Keyword(s):
Finite State Machines
◽
State Machines
◽
Dos Attack
◽
Finite State
◽
Extended Finite State Machines
Download Full-text
A Hybrid Test Generation Approach Based on Extended Finite State Machines
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
◽
10.1109/synasc.2016.037
◽
2016
◽
Cited By ~ 4
Author(s):
Ana Turlea
◽
Florentin Ipate
◽
Raluca Lefticaru
Keyword(s):
Test Generation
◽
Finite State Machines
◽
State Machines
◽
Finite State
◽
Extended Finite State Machines
◽
Hybrid Test
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close