Search results for "EFSM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Chung-Ming Huang, Chung-Ming Lo	An EFSM-Based Multimedia Synchronization Model and the Authoring System.	IEEE J. Sel. Areas Commun.	1996	DBLP DOI BibTeX RDF
24	Chang-Jia Wang, Ming T. Liu	Generating Test Cases for EFSM with Given Fault Models.	INFOCOM	1993	DBLP DOI BibTeX RDF
24	Mats Daniels, Hans A. Hansson	An ASYL/EFSM Description of the ISO Transport Protocol.	PSTV	1984	DBLP BibTeX RDF
22	Yu-song Chen	The Generating Algorithm of Protocol Consistency Test Sequences Between Combined Control Flow and Data Flow.	MVHI	2010	DBLP DOI BibTeX RDF	protocol consistency test, data flow, control flow, test sequence, EFSM
22	Malay K. Ganai, Aarti Gupta	Tunneling and slicing: towards scalable BMC.	DAC	2008	DBLP DOI BibTeX RDF	CFG, partitioning, slice, SMT, tunnel, EFSM, CSR, BMC
22	Avik Sinha, Carol S. Smidts	An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	EFSM software model, Software test automation, Functional specification language, Empirical study, Controlled experiment
22	Mahnaz Shams, Diwakar Krishnamurthy, Behrouz Homayoun Far	A model-based approach for testing the performance of web applications.	SOQUA	2006	DBLP DOI BibTeX RDF	web-based applications, performance testing, EFSM
22	Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo 0001	Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms.	GECCO	2005	DBLP DOI BibTeX RDF	input sequences, transition path, GA, EFSM
22	Amit M. Paradkar	Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications.	ISSRE	2004	DBLP DOI BibTeX RDF	Model-Based Test Generation, EFSM-based Test Selection, Mutation-based Test Selection
22	Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale	Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers.	FORTE	2003	DBLP DOI BibTeX RDF	timed EFSM, timed extensions, conformance testing, SDL
22	H. G. Mendelbaum, Raphael B. Yehezkael	Using 'Parallel Automaton' as a Single Notation to Specify, Design and Control Small Computer Based Systems.	ECBS	2001	DBLP DOI BibTeX RDF	Extended Automata and Finite state Machines, Parallel Automata, CBS methodology, EFSM
22	Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel	Requirement-Based Automated Black-Box Test Generation.	COMPSAC	2001	DBLP DOI BibTeX RDF	Selective Testing, Requirements, Regression Testing, System Model, SDL, Black-Box Testing, System Testing, Automated Test Generation, EFSM
22	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
22	Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio	ConData: A Tool for Automating Specification-based Test Case Generation for Communication Systems.	HICSS	2000	DBLP DOI BibTeX RDF	communications protocol testing, EFSM-based testing, logic programming
16	Ervin Ramollari, Dimitrios Kourtesis, Dimitris Dranidis, Anthony J. H. Simons	Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing.	ESWC	2009	DBLP DOI BibTeX RDF	Service Validation, Semantic Web Services, Web service testing
16	Wissam Mallouli, Ana R. Cavalli	Testing Security Rules with Decomposable Activities.	HASE	2007	DBLP DOI BibTeX RDF	Verification and Testing, Test Generation, Security Policy, SDL, Extended Finite State Machine
16	Franco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris	A CLP-Based Functional ATPG for Extended FSMs.	MTV	2007	DBLP DOI BibTeX RDF
16	Nutchakorn Ngamsaowaros, Peraphon Sophatsathit	A Novel Framework for Test Domain Reduction using Extended Finite State Machine.	ICSEA	2007	DBLP DOI BibTeX RDF
16	Chengying Mao, Yansheng Lu	CppTest: A Prototype Tool for Testing C/C++ Programs.	ARES	2007	DBLP DOI BibTeX RDF
16	Bei-Bei Yin, Chenggang Bai, Kai-Yuan Cai	A Data Mining Approach for Software State Definition.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
16	Guoqiang Shu, David Lee 0001	Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach.	ICDCS	2007	DBLP DOI BibTeX RDF
16	Ayaz Isazadeh, Jaber Karimpour, Hosein Isazadeh	A New Method for Describing the Syntax and Semantics of VIEWCHARTS.	ISPA Workshops	2007	DBLP DOI BibTeX RDF
16	Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits	Synthesis of test purpose directed reactive planning tester for nondeterministic systems.	ASE	2007	DBLP DOI BibTeX RDF	nondeterministic extended finite state machine, reactive planning, model-based testing, online testing
16	Avik Sinha, Carol S. Smidts	HOTTest: A model-based test design technique for enhanced testing of domain-specific applications.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	HaskellDB, database-specific test case generation, domain-specific testing, test generation tools, domain-specific languages, Haskell, model-based testing, Test case generation
16	Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli	FATE: a Functional ATPG to Traverse Unstabilized EFSMs.	ETS	2006	DBLP DOI BibTeX RDF
16	Baptiste Alcalde, Ana R. Cavalli	Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
16	Malay K. Ganai, Aarti Gupta	Accelerating high-level bounded model checking.	ICCAD	2006	DBLP DOI BibTeX RDF
16	Shanshan Jiang, Cyril Carrez, Finn Arve Aagesen	Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification.	RISE	2004	DBLP DOI BibTeX RDF
16	Frank Slomka, Matthias Dörfel, Ralf Münzenberger	Generating mixing hardware/software systems from SDL specifications.	CODES	2001	DBLP DOI BibTeX RDF
16	Marine Tabourier, Ana R. Cavalli, Melania Ionescu	A GSM-MAP Protocol Experiment Using Passive Testing.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
16	Chie Dou	Integration of SDL and VHDL for HW/SW Codesign of Communication Systems.	EUROMICRO	1997	DBLP DOI BibTeX RDF