Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
136 | Hye-Min Noh, Ji-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang |
Behavior Modeling Technique Based on EFSM for Interoperability Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part III, pp. 878-885, 2005, Springer, 3-540-25862-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
126 | Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
An EFSM-based approach for functional ATPG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, Chicago, Illinois, USA, April 17-19, 2005, pp. 197-200, 2005, ACM, 1-59593-057-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ATPG, fault models, EFSM |
104 | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
EFSM Manipulation to Increase High-Level ATPG Effectiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 7th International Symposium on Quality of Electronic Design (ISQED 2006), 27-29 March 2006, San Jose, CA, USA, pp. 57-62, 2006, IEEE Computer Society, 0-7695-2523-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
104 | Alexandre Petrenko, Sergiy Boroday, Roland Groz |
Confirming Configurations in EFSM Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(1), pp. 29-42, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
test derivation, model checking, Formal methods, model-based testing, conformance testing, functional testing, test design, extended finite state machine, state identification |
96 | Sandeep Neema, Sushil Birla, Shige Wang, Tripti Saxena |
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWSD ![In: Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers, pp. 15-33, 2006, Springer, 978-3-540-70929-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
94 | Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch H. Glitho |
New Approach for EFSM-Based Passive Testing of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings, pp. 13-27, 2007, Springer, 978-3-540-73065-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
EFSM-based passive testing, Web Services testing |
92 | Boris Vaysburg, Luay Ho Tahat, Bogdan Korel |
Dependence analysis in reduction of requirement based test suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 107-111, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
EFSM dependence analysis, EFSM system model, model-based testing, system testing, test suite reduction, interaction pattern |
80 | Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko 0001 |
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 308-317, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
80 | ChangSup Keum, Sungwon Kang, In-Young Ko, Jongmoon Baik, Young-Il Choi |
Generating Test Cases for Web Services Using Extended Finite State Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings, pp. 103-117, 2006, Springer, 3-540-34184-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
80 | Robert M. Hierons, T.-H. Kim, Hasan Ural |
Expanding an Extended Finite State Machine to aid Testability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 334-342, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
testability, extended finite state machine, infeasible paths |
78 | Ali Y. Duale, M. Ümit Uyar |
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(5), pp. 614-627, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
test generation, VHDL, Conformance testing, FSM, Estelle, EFSM |
72 | Hasan Ural, Zhi Xu |
An EFSM-Based Passive Fault Detection Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings, pp. 335-350, 2007, Springer, 978-3-540-73065-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
72 | Shuhao Li, Ji Wang 0001, Xin Wang, Zhi-Chang Qi |
Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 13-18, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
64 | Yanping Chen 0004, Robert L. Probert, Hasan Ural |
Model-based regression test suite generation using dependence analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A-MOST ![In: Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, July 9-12, pp. 54-62, 2007, ACM, 978-1-59593-850-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
regression test suite construction, regression testing, data dependence, control dependence, extended finite state machine |
64 | Yanping Chen 0004, Robert L. Probert, Hasan Ural |
Regression test suite reduction using extended dependence analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOQUA ![In: Fourth International Workshop on Software Quality Assurance, SOQUA 2007, in conjunction with the 6th ESEC/FSE joint meeting, Dubrovnik, Croatia, September 3-4, 2007, pp. 62-69, 2007, ACM, 978-1-59593-724-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
regression test suite reduction, regression testing, data dependence, control dependence, extended finite state machine |
64 | Peng Wang, Kai-Yuan Cai |
Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China, pp. 159-166, 2006, IEEE Computer Society, 0-7695-2718-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
64 | Bogdan Korel, Inderdeep Singh, Luay Ho Tahat, Boris Vaysburg |
Slicing of State-Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 19th International Conference on Software Maintenance (ICSM 2003), The Architecture of Existing Systems, 22-26 September 2003, Amsterdam, The Netherlands, pp. 34-43, 2003, IEEE Computer Society, 0-7695-1905-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
60 | M. Ümit Uyar, Samrat S. Batth, Yu Wang 0012, Mariusz A. Fecko |
Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(2), pp. 274-288, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Finite State Machine (FSM), Extended Finite State Machine (EFSM), Timed EFSM, Fault Modeling, Conformance Testing, Timers |
56 | Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li 0002, Laurence Tratt |
A theoretical and empirical study of EFSM dependence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 25th IEEE International Conference on Software Maintenance (ICSM 2009), September 20-26, 2009, Edmonton, Alberta, Canada, pp. 287-296, 2009, IEEE Computer Society, 978-1-4244-4897-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
56 | Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar |
Specification of Timed EFSM Fault Models in SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, pp. 50-65, 2007, Springer, 978-3-540-73195-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Timing Fault Models, Hit-or-Jump, SDL, Extended Finite State Machines |
56 | SongXia Hao, Xichang Zhong, Yun Wang |
EFSM-based Testing Strategy for APIs Test of Embedded OS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers, pp. 522-527, 2004, Springer, 3-540-28128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Wen-Huei Chen, Cho-Ching Lu |
Executable test sequence for the protocol control and data flow property with overlapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 1-4 July 2002, Taormina, Italy, pp. 251-257, 2002, IEEE Computer Society, 0-7695-1671-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
SCP tour, Conformance testing, EFSM |
48 | Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap |
An Approach for Test Selection for EFSMs Using a Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings, pp. 146-162, 2009, Springer, 978-3-642-05030-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Bogdan Korel, Luay Ho Tahat, Boris Vaysburg |
Model Based Regression Test Reduction Using Dependence Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada, pp. 214-, 2002, IEEE Computer Society, 0-7695-1819-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
48 | Kwang-Ting Cheng, A. S. Krishnakumar |
Automatic generation of functional vectors using the extended finite state machine model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 1(1), pp. 57-79, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
functional testing, automatic test generation, design verification, extended finite state machines |
48 | K. Vijayananda |
Distributed fault detection in communication protocols using extended finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 310-318, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
distributed fault detection, run-time fault detection, coding defects, memory problems, protocol faults, vocabulary faults, sequencing faults, parallel decomposition method, multiple observers, distributed fault detection mechanism, fault tolerant computing, finite state machines, transport protocols, encoding, communication protocols, fault coverage, extended finite state machines |
40 | Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa |
The impact of EFSM composition on functional ATPG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2009, April 15-17, 2009, Liberec, Czech Republic, pp. 44-49, 2009, IEEE Computer Society, 978-1-4244-3341-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Juhan-Peep Ernits, Andres Kull, Kullo Raiend, Jüri Vain |
Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES/RV ![In: Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, pp. 85-99, 2006, Springer, 3-540-49699-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), Common Challenges and Solutions, 3-4 November 2005, Austin, Texas, USA, pp. 70-75, 2005, IEEE Computer Society, 0-7695-2627-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Jean-Marie Orset, Baptiste Alcalde, Ana R. Cavalli |
An EFSM-Based Intrusion Detection System for Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, pp. 400-413, 2005, Springer, 3-540-29209-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Shin'ichi Nagano, Yoshinori Hatakeyama, Yoshiaki Kakuda, Tohru Kikuno |
Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 1996 International Conference on Network Protocols, ICNP 1996, October 29 - November 1, 1996, Columbus, Ohio, USA, pp. 92-, 1996, IEEE Computer Society, 0-8186-7453-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
38 | Wissam Mallouli, Jean-Marie Orset, Ana R. Cavalli, Nora Cuppens-Boulahia, Frédéric Cuppens |
A formal approach for testing security rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 12th ACM Symposium on Access Control Models and Technologies, SACMAT 2007, Sophia Antipolis, France, June 20-22, 2007, Proceedings, pp. 127-132, 2007, ACM, 978-1-59593-745-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
verification and testing, test generation, security policy, SDL, EFSM, OrBAC |
38 | Yu Lei 0001, S. Purushothaman Iyer |
An Approach to Unfolding Asynchronous Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 334-349, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
State Space Search, Software Verification, Unfolding, EFSM |
32 | Branko Ster, Andrej Dobnikar |
Modelling the Environment of a Mobile Robot with the Embedded Flow State Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 46(2), pp. 181-199, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
reactive/planning approach, navigation, prediction, mobile robots, recurrent neural networks, environment modelling, topological modelling |
32 | Guy-Vincent Jourdan, Panitee Ritthiruangdech, Hasan Ural |
Test Suite Reduction Based on Dependence Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2006, 21th International Symposium, Istanbul, Turkey, November 1-3, 2006, Proceedings, pp. 1021-1030, 2006, Springer, 3-540-47242-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Avik Sinha, Amit M. Paradkar |
Model-based functional conformance testing of web services operating on persistent data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAV-WEB ![In: Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), TAV-WEB 2006, Portland, Maine, USA, July 17, 2006, pp. 17-22, 2006, ACM, 1-59593-458-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Johan Blom, Anders Hessel, Bengt Jonsson 0001, Paul Pettersson |
Specifying and Generating Test Cases Using Observer Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers, pp. 125-139, 2004, Springer, 3-540-25109-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | A. S. Krishnakumar |
Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings, pp. 110-122, 1993, Springer, 3-540-56922-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Biao Wu 0002, Qi-Wei Ge |
A Research for Executable Path Automatic Generation Method Based on EFSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 18(1), pp. 15-30, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
24 | Ting Shu, Cuiping Wu, Zuohua Ding |
Boosting input data sequences generation for testing EFSM-specified systems using deep reinforcement learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 155, pp. 107114, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Jiahao Li, Chengru Yang, Yichen Wang |
Genetic Algorithm Based EFSM Regression Test Sequence Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023, pp. 847-848, 2023, IEEE, 979-8-3503-5939-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Jiahao Li, Bo Zhang, Zeyu Fan, Yichen Wang |
Multi-Population Genetic Algorithm Based EFSM Regression Test Data Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023, pp. 807-815, 2023, IEEE, 979-8-3503-5939-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Xiaochen Li, Ruilian Zhao, Ying Shang |
EFSM Model Construction Method for RTL Digital Circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSA ![In: 9th International Conference on Dependable Systems and Their Applications, DSA 2022, Wulumuqi, China, August 4-5, 2022, pp. 94-105, 2022, IEEE, 978-1-6654-8877-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Ting Shu, Yechao Huang, Zuohua Ding, Jinsong Xia, Mingyue Jiang |
Generating feasible protocol test sequences from EFSM models using Monte Carlo tree search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 135, pp. 106557, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Afnan Albahli, Anneliese Andrews |
Model-Based Testing of Smart Home Systems Using EFSM and CEFSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCI ![In: International Conference on Computational Science and Computational Intelligence, CSCI 2021, Las Vegas, NV, USA, December 15-17, 2021, pp. 1824-1829, 2021, IEEE, 978-1-6654-5841-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Ruilian Zhao, Weiwei Wang, Yuqi Song, Zheng Li 0002 |
Diversity-Oriented Test Suite Generation for EFSM Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 69(2), pp. 611-631, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Daniele Moro, Davide Sanvito, Antonio Capone |
Developing EFSM-based stateful applications with FlowBlaze.p4 and ONOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroP4@CoNEXT ![In: EuroP4@CoNEXT 2020: Proceedings of the 3rd P4 Workshop in Europe, Barcelona, Spain, December 1, 2020, pp. 52-53, 2020, ACM, 978-1-4503-8181-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Zhu Tang, Sudan Li, Peng Xun, Chengsong Wang, Wenping Deng, Baosheng Wang |
Demo Abstract: AutoPCT: An Agile Protocol Conformance Automatic Test Platform Based on Editable EFSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM Workshops ![In: 39th IEEE Conference on Computer Communications, INFOCOM Workshops 2020, Toronto, ON, Canada, July 6-9, 2020, pp. 1286-1287, 2020, IEEE, 978-1-7281-8695-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Daniele Moro, Davide Sanvito, Antonio Capone |
Demonstrating FlowBlaze.p4: fast prototyping for EFSM-based data plane applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFV-SDN ![In: 2020 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2020, Leganes - Madrid, Spain, November 10-12, 2020, pp. 116-117, 2020, IEEE, 978-1-7281-8159-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Zhiqin Cao, Yichen Wang, Peng Guo, Bo Tian |
EFSM Test Data Generation Based on Fault Propagation and Multi-Population Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSA ![In: 7th International Conference on Dependable Systems and Their Applications, DSA 2020, Xi'an, China, November 28-29, 2020, pp. 240-245, 2020, IEEE, 978-0-7381-2422-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Mauricio Rocha, Adenilso Simão, Thiago Sousa, Marcelo Batista |
Test Case Generation by EFSM Extracted from UML Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019., pp. 135-180, 2019, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-48-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Michael Foster 0001, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick |
Incorporating Data into EFSM Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, pp. 257-272, 2019, Springer, 978-3-030-30445-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Junxia Guo, Renfei Guo, Nanshan Xu, Ruilian Zhao |
基于Session的Web应用软件EFSM模型构建方法研究 (Study on Construction of EFSM Model for Web Application Based on Session). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 45(4), pp. 203-207, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Junxia Guo, Weiwei Wang, Linjie Sun, Zheng Li 0002, Ruilian Zhao |
A Test Case Generation Method Based on State Importance of EFSM for Web Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018., pp. 548-547, 2018, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-44-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Yuan Chen, Anbang Wang, Junjie Wang, Luo Liu, Yuanzhang Song, Qinghua Ha |
Automatic Test Transition Paths Generation Approach from EFSM Using State Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 2018 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2018, Lisbon, Portugal, July 16-20, 2018, pp. 87-93, 2018, IEEE, 978-1-5386-7839-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Ana Turlea, Florentin Ipate, Raluca Lefticaru |
Generating Complex Paths for Testing from an EFSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 2018 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2018, Lisbon, Portugal, July 16-20, 2018, pp. 242-249, 2018, IEEE, 978-1-5386-7839-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Weiwei Wang, Junxia Guo, Zheng Li 0002, Ruilian Zhao |
EFSM-Oriented Minimal Traces Set Generation Approach for Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1, pp. 12-21, 2018, IEEE Computer Society, 978-1-5386-2667-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Lassaâd Ellouze, Zouhaier Brahmia, Rafik Bouaziz |
Évolution des classes complexes du modèle sémantique flou temporel EFSM-Tempo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tech. Sci. Informatiques ![In: Tech. Sci. Informatiques 36(1-2), pp. 79-119, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Yuan Xu, Ziqian Zhou, Zhiqiang Geng, Yanqing Wang, Yanlin He, Qunxiong Zhu |
A novel EFSM-based ELM double-faults identification approach and its application to non-linear processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCC ![In: 11th Asian Control Conference, ASCC 2017, Gold Coast, Australia, December 17-20, 2017, pp. 1924-1927, 2017, IEEE, 978-1-5090-1573-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Ting Shu, Zuohua Ding, Mei-Hwa Chen, Jinsong Xia |
A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 370-371, pp. 63-78, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Nada Almasri, Luay Tahat 0001, Mohammad Alshraideh |
Maintenance-Oriented Classifications of EFSM Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 11(1), pp. 64-79, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Alexander S. Kamkin, Mikhail Lebedev 0002, Sergey A. Smolov |
An EFSM-driven and model checking-based approach to functional test generation for hardware designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2016 IEEE East-West Design & Test Symposium, EWDTS 2016, Yerevan, Armenia, October 14-17, 2016, pp. 1-4, 2016, IEEE Computer Society, 978-1-5090-0693-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Weiwei Wang, Ruilian Zhao, Ying Shang, Yong Liu 0030 |
Test Data Generation Efficiency Prediction Model for EFSM Based on MGGP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSBSE ![In: Search Based Software Engineering - 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings, pp. 176-191, 2016, 978-3-319-47105-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Mathew Hall, Neil Walkinshaw |
Data and Analysis Code for GP EFSM Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSME ![In: 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016, Raleigh, NC, USA, October 2-7, 2016, pp. 611, 2016, IEEE Computer Society, 978-1-5090-3806-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Rui Yang, Zhenyu Chen 0001, Zhiyi Zhang 0004, Baowen Xu |
EFSM-Based Test Case Generation: Sequence, Data, and Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 25(4), pp. 633-668, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Nesa Asoudeh, Yvan Labiche |
Multi-objective Construction of an Entire Adequate Test Suite for an EFSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014, pp. 288-299, 2014, IEEE Computer Society, 978-1-4799-6032-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Gongzheng Lu, Huaikou Miao |
An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013, pp. 13-29, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Sieng Wong, Chia Yee Ooi, Yuan Wen Hau, Muhammad N. Marsono, Nasir Shaikh-Husin |
Feasible transition path generation for EFSM-based system testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), Beijing, China, May 19-23, 2013, pp. 1724-1727, 2013, IEEE, 978-1-4673-5760-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Gongzheng Lu, Huaikou Miao |
Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pp. 153-156, 2013, IEEE Computer Society, 978-0-7695-5053-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Rui Yang, Zhenyu Chen 0001, Baowen Xu, Zhiyi Zhang 0004, Wujie Zhou |
A New Approach to Evaluate Path Feasibility and Coverage Ratio of EFSM Based on Multi-objective Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012, pp. 470-475, 2012, Knowledge Systems Institute Graduate School, 1-891706-31-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
24 | Jie Zhang, Rui Yang, Zhenyu Chen 0001, Zhihong Zhao, Baowen Xu |
Automated EFSM-based test case generation with scatter search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012, pp. 76-82, 2012, IEEE Computer Society, 978-1-4673-1821-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift |
An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 53(12), pp. 1297-1318, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Rui Yang, Zhenyu Chen 0001, Baowen Xu, W. Eric Wong, Jie Zhang |
Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011, pp. 17-24, 2011, IEEE Computer Society, 978-1-4673-0107-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Qing-mei Meng, Ai-lian Chen |
Artificial emotional interaction model based on EFSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMEIT ![In: International Conference on Electronic and Mechanical Engineering and Information Technology, EMEIT 2011, Harbin, Heilongjiang, China, 12-14 August, 2011, pp. 1852-1855, 2011, IEEE, 978-1-61284-087-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, Stefano Soffia |
EFSM-based model-driven approach to concolic testing of system-level design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 201-209, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Lassaâd Ellouze, Rafik Bouaziz |
EFSM - Tempo: A model to describe data fuzzy evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCPaR ![In: Third International Conference of Soft Computing and Pattern Recognition, SoCPaR 2011, Dalian, China, October 14-16, 2011, pp. 458-463, 2011, IEEE, 978-1-4577-1195-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Thaise Yano, Eliane Martins, Fabiano Luis de Sousa |
MOST: A Multi-objective Search-Based Testing from EFSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, pp. 164-173, 2011, IEEE Computer Society, 978-0-7695-4345-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo |
An Approach to Regression Test Selection of Adaptive EFSM Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011, pp. 217-220, 2011, IEEE Computer Society, 978-1-4577-1487-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Whye Loon Tung, Chai Quek |
eFSM: a novel online neural-fuzzy semantic memory model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 21(1), pp. 136-157, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri |
Semi-formal functional verification by EFSM traversing via NuSMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010, pp. 58-65, 2010, IEEE Computer Society, 978-1-4244-7805-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Ruilian Zhao, Mark Harman, Zheng Li 0002 |
Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, pp. 222-231, 2010, IEEE Computer Society, 978-0-7695-4050-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift |
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, pp. 232-235, 2010, IEEE Computer Society, 978-0-7695-4050-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Marko Kääramees, Jüri Vain, Kullo Raiend |
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAIC PART ![In: Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings, pp. 147-154, 2010, Springer, 978-3-642-15584-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Abdul Salam Kalaji |
Search-based software engineering : a search-based approach for testing from extended finite state machine (EFSM) models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
24 | Yu Wang 0012, M. Ümit Uyar, Samrat S. Batth, Mariusz A. Fecko |
Fault masking by multiple timing faults in timed EFSM models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 53(5), pp. 596-612, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | W. Eric Wong, Andy Restrepo, Byoungju Choi |
Validation of SDL specifications using EFSM-based test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 51(11), pp. 1505-1519, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift |
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, pp. 230-239, 2009, IEEE Computer Society, 978-0-7695-3601-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Samrat S. Batth, M. Ümit Uyar, Yu Wang 0012, Mariusz A. Fecko |
Fault Modeling and Detection Capabilities for EFSM Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 57(6), pp. 1102-1111, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | W. Eric Wong, Andy Restrepo, Yu Qi, Byoungju Choi |
An EFSM-based Test Generation for Validation of SDL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008., pp. 25-32, 2008, ACM, 978-1-60558-030-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Javed I. Khan, Raid Zaghal |
Interactive Transparent Networking: Protocol meta modeling based on EFSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 29(17), pp. 3536-3552, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Tao Huang 0019, Anthony Chung |
A Lightweight Executable Test Sequence Generation Method for Communication Protocols Modeled by EFSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Their Appl. ![In: Int. J. Comput. Their Appl. 13(2), pp. 60-72, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain |
Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (2) ![In: 36. Jahrestagung der Gesellschaft für Informatik, Informatik für Menschen, INFORMATIK 2006, Dresden, Germany, October 2-6, 2006, Band 2, pp. 241-248, 2006, GI, 978-3-88579-188-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Franco Fummi, Cristina Marconcini, Graziano Pravadelli |
Functional verification based on the EFSM model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: Ninth IEEE International High-Level Design Validation and Test Workshop 2004, Sonoma Valley, CA, USA, November 10-12, 2004, pp. 69-74, 2004, IEEE Computer Society, 0-7803-8714-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Tao Huang 0019, Anthony Chung |
An Effective Method for Executable Test Generation of EFSM Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASSE ![In: Proceedings of the 12th International Conference on Intelligent and Adaptive Systems and Software Engineering, July 9-11, 2003, San Francisco, CA, USA, pp. 206-211, 2003, ISCA, 1-880843-47-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
24 | Ali Y. Duale, M. Ümit Uyar |
Generation of Feasible Test Sequences for EFSM Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada, pp. 91-, 2000, Kluwer, 0-7923-7921-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
24 | Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
Hardware implementation of Concurrent Periodic EFSM's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy, pp. 285-300, 2000, Kluwer, 0-7923-7968-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
24 | Alexandre Petrenko, Sergiy Boroday, Roland Groz |
Confirming configurations in EFSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China, pp. 5-24, 1999, Kluwer, 0-7923-8646-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
24 | Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan 0001 |
A Comparison of Presburger Engines for EFSM Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings, pp. 280-292, 1998, Springer, 3-540-64608-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Chung-Ming Huang, Chih-Hao Lin, Chian Wang |
An EFSM-based formal model for providing VCR-like functions in multimedia systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSE ![In: Proceedings of the 1998 International Workshop on Multimedia Software Engineering, MSE 1998, Kyoto, Japan, April 20-21, 1998, pp. 10-17, 1998, IEEE Computer Society, 0-8186-8925-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Chung-Ming Huang, Hsu-Yang Kung, Pei-Chuan Liu |
EFSM-based continuous media synchronization in multicast networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 20(11), pp. 950-969, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|