Search results for "EFSM"

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.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
126	Franco Fummi, Cristina Marconcini, Graziano Pravadelli	An EFSM-based approach for functional ATPG.	ACM Great Lakes Symposium on VLSI	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.	ISQED	2006	DBLP DOI BibTeX RDF
104	Alexandre Petrenko, Sergiy Boroday, Roland Groz	Confirming Configurations in EFSM Testing.	IEEE Trans. Software Eng.	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.	ASWSD	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.	TestCom/FATES	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.	ISSTA	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.	ICST	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.	TestCom	2006	DBLP DOI BibTeX RDF
80	Robert M. Hierons, T.-H. Kim, Hasan Ural	Expanding an Extended Finite State Machine to aid Testability.	COMPSAC	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.	IEEE Trans. Computers	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.	TestCom/FATES	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.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
64	Yanping Chen 0004, Robert L. Probert, Hasan Ural	Model-based regression test suite generation using dependence analysis.	A-MOST	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.	SOQUA	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.	QSIC	2006	DBLP DOI BibTeX RDF
64	Bogdan Korel, Inderdeep Singh, Luay Ho Tahat, Boris Vaysburg	Slicing of State-Based Models.	ICSM	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.	IEEE Trans. Computers	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.	ICSM	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.	FORTE	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.	ICESS	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.	ISCC	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.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
48	Bogdan Korel, Luay Ho Tahat, Boris Vaysburg	Model Based Regression Test Reduction Using Dependence Analysis.	ICSM	2002	DBLP DOI BibTeX RDF
48	Kwang-Ting Cheng, A. S. Krishnakumar	Automatic generation of functional vectors using the extended finite state machine model.	ACM Trans. Design Autom. Electr. Syst.	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.	ICPADS	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.	DDECS	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.	FATES/RV	2006	DBLP DOI BibTeX RDF
40	Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli	A Pseudo-Deterministic Functional ATPG based on EFSM Traversing.	MTV	2005	DBLP DOI BibTeX RDF
40	Jean-Marie Orset, Baptiste Alcalde, Ana R. Cavalli	An EFSM-Based Intrusion Detection System for Ad Hoc Networks.	ATVA	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.	ICNP	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.	SACMAT	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.	FM	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.	J. Intell. Robotic Syst.	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.	ISCIS	2006	DBLP DOI BibTeX RDF
32	Avik Sinha, Amit M. Paradkar	Model-based functional conformance testing of web services operating on persistent data.	TAV-WEB	2006	DBLP DOI BibTeX RDF
32	Johan Blom, Anders Hessel, Bengt Jonsson 0001, Paul Pettersson	Specifying and Generating Test Cases Using Observer Automata.	FATES	2004	DBLP DOI BibTeX RDF
32	A. S. Krishnakumar	Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems.	CAV	1993	DBLP DOI BibTeX RDF
24	Biao Wu 0002, Qi-Wei Ge	A Research for Executable Path Automatic Generation Method Based on EFSM.	J. Softw.	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.	Inf. Softw. Technol.	2023	DBLP DOI BibTeX RDF
24	Jiahao Li, Chengru Yang, Yichen Wang	Genetic Algorithm Based EFSM Regression Test Sequence Generation.	QRS Companion	2023	DBLP DOI BibTeX RDF
24	Jiahao Li, Bo Zhang, Zeyu Fan, Yichen Wang	Multi-Population Genetic Algorithm Based EFSM Regression Test Data Generation.	QRS Companion	2023	DBLP DOI BibTeX RDF
24	Xiaochen Li, Ruilian Zhao, Ying Shang	EFSM Model Construction Method for RTL Digital Circuit.	DSA	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.	Inf. Softw. Technol.	2021	DBLP DOI BibTeX RDF
24	Afnan Albahli, Anneliese Andrews	Model-Based Testing of Smart Home Systems Using EFSM and CEFSM.	CSCI	2021	DBLP DOI BibTeX RDF
24	Ruilian Zhao, Weiwei Wang, Yuqi Song, Zheng Li 0002	Diversity-Oriented Test Suite Generation for EFSM Model.	IEEE Trans. Reliab.	2020	DBLP DOI BibTeX RDF
24	Daniele Moro, Davide Sanvito, Antonio Capone	Developing EFSM-based stateful applications with FlowBlaze.p4 and ONOS.	EuroP4@CoNEXT	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.	INFOCOM Workshops	2020	DBLP DOI BibTeX RDF
24	Daniele Moro, Davide Sanvito, Antonio Capone	Demonstrating FlowBlaze.p4: fast prototyping for EFSM-based data plane applications.	NFV-SDN	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.	DSA	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.	SEKE	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.	SEFM	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).	计算机科学	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.	SEKE	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.	QRS Companion	2018	DBLP DOI BibTeX RDF
24	Ana Turlea, Florentin Ipate, Raluca Lefticaru	Generating Complex Paths for Testing from an EFSM.	QRS Companion	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.	COMPSAC (1)	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.	Tech. Sci. Informatiques	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.	ASCC	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.	Inf. Sci.	2016	DBLP DOI BibTeX RDF
24	Nada Almasri, Luay Tahat 0001, Mohammad Alshraideh	Maintenance-Oriented Classifications of EFSM Transitions.	J. Softw.	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.	EWDTS	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.	SSBSE	2016	DBLP DOI BibTeX RDF
24	Mathew Hall, Neil Walkinshaw	Data and Analysis Code for GP EFSM Inference.	ICSME	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.	Int. J. Softw. Eng. Knowl. Eng.	2015	DBLP DOI BibTeX RDF
24	Nesa Asoudeh, Yvan Labiche	Multi-objective Construction of an Entire Adequate Test Suite for an EFSM.	ISSRE	2014	DBLP DOI BibTeX RDF
24	Gongzheng Lu, Huaikou Miao	An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage.	TTSS	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.	ISCAS	2013	DBLP DOI BibTeX RDF
24	Gongzheng Lu, Huaikou Miao	Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving.	TASE	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.	SEKE	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.	AST	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.	Inf. Softw. Technol.	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.	HASE	2011	DBLP DOI BibTeX RDF
24	Qing-mei Meng, Ai-lian Chen	Artificial emotional interaction model based on EFSM.	EMEIT	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.	MEMOCODE	2011	DBLP DOI BibTeX RDF
24	Lassaâd Ellouze, Rafik Bouaziz	EFSM - Tempo: A model to describe data fuzzy evolution.	SoCPaR	2011	DBLP DOI BibTeX RDF
24	Thaise Yano, Eliane Martins, Fabiano Luis de Sousa	MOST: A Multi-objective Search-Based Testing from EFSM.	ICST Workshops	2011	DBLP DOI BibTeX RDF
24	Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo	An Approach to Regression Test Selection of Adaptive EFSM Tests.	TASE	2011	DBLP DOI BibTeX RDF
24	Whye Loon Tung, Chai Quek	eFSM: a novel online neural-fuzzy semantic memory model.	IEEE Trans. Neural Networks	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.	HLDVT	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.	ICST Workshops	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.	ICST Workshops	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.	TAIC PART	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.		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.	Comput. Networks	2009	DBLP DOI BibTeX RDF
24	W. Eric Wong, Andy Restrepo, Byoungju Choi	Validation of SDL specifications using EFSM-based test generation.	Inf. Softw. Technol.	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).	ICST	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.	IEEE Trans. Instrum. Meas.	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.	AST	2008	DBLP DOI BibTeX RDF
24	Javed I. Khan, Raid Zaghal	Interactive Transparent Networking: Protocol meta modeling based on EFSM.	Comput. Commun.	2006	DBLP DOI BibTeX RDF
24	Tao Huang 0019, Anthony Chung	A Lightweight Executable Test Sequence Generation Method for Communication Protocols Modeled by EFSM.	Int. J. Comput. Their Appl.	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.	GI Jahrestagung (2)	2006	DBLP BibTeX RDF
24	Franco Fummi, Cristina Marconcini, Graziano Pravadelli	Functional verification based on the EFSM model.	HLDVT	2004	DBLP DOI BibTeX RDF
24	Tao Huang 0019, Anthony Chung	An Effective Method for Executable Test Generation of EFSM Protocols.	IASSE	2003	DBLP BibTeX RDF
24	Ali Y. Duale, M. Ümit Uyar	Generation of Feasible Test Sequences for EFSM Models.	TestCom	2000	DBLP BibTeX RDF
24	Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi	Hardware implementation of Concurrent Periodic EFSM's.	FORTE	2000	DBLP BibTeX RDF
24	Alexandre Petrenko, Sergiy Boroday, Roland Groz	Confirming configurations in EFSM.	FORTE	1999	DBLP BibTeX RDF
24	Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan 0001	A Comparison of Presburger Engines for EFSM Reachability.	CAV	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.	MSE	1998	DBLP DOI BibTeX RDF
24	Chung-Ming Huang, Hsu-Yang Kung, Pei-Chuan Liu	EFSM-based continuous media synchronization in multicast networks.	Comput. Commun.	1997	DBLP DOI BibTeX RDF