Search results for "CEFSM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
157	J. Jenny Li, W. Eric Wong	Automatic Test Generation from Communicating Extended Finite State Machine (CEFSM)-Based Models.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	CEFSM, specification, test generation, SDL
62	J. Jenny Li, Joseph Robert Horgan	Simulation-Trace-Based Component Performance Prediction.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	software slicing, Communicating extended finite state machine (CEFSM), stochastic-EFSM and Specification and Description Language (SDL), Software architectural design
36	Afnan Albahli, Anneliese Andrews	Model-Based Testing of Smart Home Systems Using EFSM and CEFSM.	CSCI	2021	DBLP DOI BibTeX RDF
36	Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario	Active World Model for Testing Autonomous Systems Using CEFSM.	MoDeVVa@MoDELS	2015	DBLP BibTeX RDF
36	Mohammad Zib Beiroumi, Villy Bæk Iversen	Recovery Method Based on Communicating Extended Finite State Machine (CEFSM) for Mobile Communications.	ICECCS	2005	DBLP DOI BibTeX RDF
36	Gábor Kovács, Zoltán Pap, Gyula Csopaki	Automatic Test Selection based on CEFSM Specifications.	Acta Cybern.	2002	DBLP BibTeX RDF
36	Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener	Test Generation for CEFSM Combining Specification and Fault Coverage.	TestCom	2002	DBLP BibTeX RDF
36	C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico	A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols.	IWTCS	1998	DBLP BibTeX RDF