Search results for "finite-state-machine"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
62	Srimat T. Chakradhar, Suman Kanjilal, Vishwani D. Agrawal	Finite state machine synthesis with fault tolerant test function.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	Design for combinational test generation, finite state machine synthesis, test function embedding, synthesis for testability, fault-tolerant design
49	Robert Kelly, Julie Carson-Berndsen	Computational Linguistic Motivations for a Finite-State Machine Hierarchy.	CIAA	2003	DBLP DOI BibTeX RDF
45	Niranjan L. Cooray, Edward W. Czeck	Guaranteed fault detection sequences for single transition faults in finite state machine models using concurrent fault simulation.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	sequential logic test generation, finite state machine testing, transition fault, distinguishing sequences
44	Suman Kanjilal, Srimat T. Chakradhar, Vishwani D. Agrawal	Test function embedding algorithms with application to interconnected finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
44	Yu Wang 0015	An FSM model for situation-aware mobile application software systems.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	finite finite state machine, mobile computing, context, situation-awareness, situation
42	Jessica Chen, Lihua Duan	Conditions for Avoiding Controllability Problems in Distributed Testing.	ICFEM	2006	DBLP DOI BibTeX RDF	unique input/output sequence, controllability, finite state machine, Conformance testing, test sequence
42	David Obdrzálek, Jan Benda	GFE - Graphical Finite State Machine Editor for Parallel Execution.	ICEC	2007	DBLP DOI BibTeX RDF	automatic finite state machine generation, graphical control design, robot control
41	Jun-Ichi Aoe	An Efficient Implementation of Static String Pattern Matching Machines.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	keyword location, static string pattern matching machines, transition table, triple arrays, Johnsons's data structure, retrieval program, reduced data structure, finite straight program, information retrieval, data structures, finite-state machine, subroutines, implementation technique
41	John T. Feddema, Rush D. Robinett, Brian J. Driessen	Designing Stable Finite State Machine Behaviors Using Phase Plane Analysis and Variable Structure Control.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	decentralized variable structure control, finite state machine, autonomous robots, sliding mode control, distributed robots
41	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
40	Amir Teymourian, Thorsten Lüth, Axel Graeser, Torsten Felzer, Rainer Nordmann	Brain-controlled finite state machine for wheelchair navigation.	ASSETS	2008	DBLP DOI BibTeX RDF	stea dy-state visual evoked potentials (ssvep), human-computer interaction, finite state machine (fsm), brain-computer interface (bci)
39	Hooman Shayani, Peter J. Bentley	A more bio-plausible approach to the evolutionary inference of finite state machines.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	bio-plausibility, genetic algorithms, evolutionary algorithms, evolution, finite-state machine, fsm, metaphors, analogies, grammatical inference
38	Shuo Chen 0001, Zbigniew Kalbarczyk, Jun Xu 0003, Ravishankar K. Iyer	A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities.	DSN	2003	DBLP DOI BibTeX RDF	data analysis, security vulnerabilities, finite state machine modeling
38	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
38	Tatiana Figueiredo Evers, Soraia Raupp Musse	Building Artificial Memory to Autonomous Agents using Dynamic and Hierarchical Finite State Machine.	CA	2002	DBLP DOI BibTeX RDF	Artificial memory, Finite State Machine, Behavioral animation
38	Ioan Tabus, Jorma Rissanen, Jaakko Astola	Adaptive L-Predictors Based on Finite State Machine Context Selection.	ICIP (1)	1997	DBLP DOI BibTeX RDF	adaptive L-predictors, finite state machine context selection, adaptive nonlinear predictors, FSM context modeller, adaptive design, FSM-context L-predictor, image coding, lossless compression, gray level images
38	Ralf H. Reussner	Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies.	SOFSEM	2002	DBLP DOI BibTeX RDF	software component protocols, finite state machine extension, decidable inclusion check, interoperability, substitutability
37	Vishwani D. Agrawal, Kwang-Ting Cheng	Finite state machine synthesis with embedded test function.	J. Electron. Test.	1990	DBLP DOI BibTeX RDF	VLSI, Computer-Aided Design, Test Generation, Logic Synthesis, Synthesis for Testability
37	Ho-Yen Chang, Shyhtsun Felix Wu, Y. Frank Jou	Real-time protocol analysis for detecting link-state routing protocol attacks.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	OSPF attacks, knowledge-based IDS, link-state routing protocol security, real-time misuse intrusion detection, real-time network protocol analysis, timed finite state machine, event correlation
36	Suman Kanjilal, Srimat T. Chakradhar, Vishwani D. Agrawal	A partition and resynthesis approach to testable design of large circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
36	Shih-Hsu Huang, Chia-Ming Chang 0002, Yow-Tyng Nieh	State re-encoding for peak current minimization.	ICCAD	2006	DBLP DOI BibTeX RDF	peak current, sequential circuit synthesis, finite state machine
36	Zoltán Pap, Gyula Csopaki, Sarolta Dibuz	On FSM-Based Fault Diagnosis.	TestCom	2005	DBLP DOI BibTeX RDF	output fault, transfer fault, fault diagnosis, Finite state machine, fault localization
35	Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel	Application of genetically engineered finite-state-machine sequences to sequential circuit ATPG.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
35	Robert M. Hierons, Hasan Ural	Optimizing the Length of Checking Sequences.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Finite state machine, distinguishing sequence, checking sequence, test minimization
35	Gustavo Sutter, Elias Todorovich, Sergio López-Buedo, Eduardo I. Boemo	Low-Power FSMs in FPGA: Encoding Alternatives.	PATMOS	2002	DBLP DOI BibTeX RDF	One-Hot, State Encod-ing, FPGA, Low-Power, Finite State Machine
34	Robert M. Hierons	Separating sequence overlap for automated test sequence generation.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Separating sequence, Characterizing set, Finite state machine, Overlap, Test sequence generation
34	Srinivas Devadas	General Decomposition of Sequential Machines: Relationships to State Assignment.	DAC	1989	DBLP DOI BibTeX RDF
33	Irith Pomeranz, Sudhakar M. Reddy	On Finding a Minimal Functional Description of a Finite-State Machine for Test Generation for Adjacent Machines.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	minimal descriptions, test generation, Finite-state machines
33	Shaohua Yang, Aleksandar Kavcic, Sekhar Tatikonda	Feedback capacity of finite-state machine channels.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
33	Shengfa Gao, Xin Li 0002, Ruihua Zhang	The Extended Finite State Machine and Fault Tolerant Mechanism in Distributed Systems.	SERA	2009	DBLP DOI BibTeX RDF	Events classification, checkpoint, Extended Finite State Machine
33	Li Li 0006, Yun Yang 0001	E-Business Process Modelling with Finite State Machine Based Service Agents.	CSCWD (Selected Papers)	2007	DBLP DOI BibTeX RDF	Ontology, Multi-agent systems, Finite state machine, Process automation
32	Jessica Chen, Hasan Ural	Detecting Observability Problems in Distributed Testing.	TestCom	2006	DBLP DOI BibTeX RDF	distributed test architecture, testing, controllability, Finite state machine, observability
32	Batsayan Das, Dipankar Sarkar 0001, Santanu Chattopadhyay	Model checking on state transition diagram.	ASP-DAC	2004	DBLP DOI BibTeX RDF	CTL model checking, Finite State Machine (FSM), State Transition Diagram (STD), Kripke structure
32	Fong Pong, Michel Dubois 0001	A New Approach for the Verification of Cache Coherence Protocols.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	symbolic expansion, formal verification, finite state machine, shared-memory multiprocessor, Cache coherence protocol
32	Tony T. Lee, Ming-Yee Lai	A Relational Algebraic Approach to Protocol Verification.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	logical correctness, transition table, global-state transitions, protocols, relational databases, relational databases, finite-state machine, program verification, deadlocks, database theory, finite automata, protocol verification, INGRES
31	Srinivas Devadas, A. Richard Newton	Decomposition and factorization of sequential finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
31	Lihua Duan, Jessica Chen	Alternative B-Sequences.	QSIC	2007	DBLP DOI BibTeX RDF	finite state machine, conformance testing, distinguishing sequence, checking sequence
31	Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes	Generating finite state machines from abstract state machines.	ISSTA	2002	DBLP DOI BibTeX RDF	finite state machine, test case generation, FSM, abstract state machine, executable specification, ASM
31	Shaz Qadeer, Robert K. Brayton, Vigyan Singhal	Latch Redundancy Removal Without Global Reset.	ICCD	1996	DBLP DOI BibTeX RDF	global reset assumption, latch redundancy, safe replacement, delayed replacement, Finite state machine, core, strongly connected components
31	Tan-Li Chou, Kaushik Roy 0001	Estimation of sequential circuit activity considering spatial and temporal correlations.	ICCD	1995	DBLP DOI BibTeX RDF	sequential circuit activity estimation, signal activity, internal nodes, sequential logic circuits, logic signals, ESTG, extended state transition graph, exact signal probabilities, large circuits, state logic, logic simulation results, graph theory, finite state machines, finite state machine, sequential circuits, spatial correlations, circuit switching, switching activities, approximate method, temporal correlations
31	Trevor D. Jones, Shaun W. Lawson, David Benyon, Alistair Armitage	Comparison of Human and Machine Recognition of Everyday Human Actions.	HCI (12)	2007	DBLP DOI BibTeX RDF	moving light display, human biological motion, Neural network, finite state machine
30	Lihua Duan, Jessica Chen	Reducing Test Sequence Length Using Invertible Sequences.	ICFEM	2007	DBLP DOI BibTeX RDF	UIO sequence, finite state machine, conformance testing, test sequence
30	Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava	Model Checking Correctness Properties of Electronic Contracts.	ICSOC	2003	DBLP DOI BibTeX RDF	contract representation, contract enforcement, correctness requirements, safety and liveness properties, model-checking, validation, finite state machine, Contract, electronic contract
30	Ana R. Cavalli, Stéphane Maag	A New Algorithm for Service Interaction Detection.	ICFEM	2002	DBLP DOI BibTeX RDF	Finite State Machine, Feature interaction, Intelligent Network, Telecommunication service
30	Gilbert Babin, François Lustman, Peretz Shoval	Specification and Design of Transactions in Information Systems: A Formal Approach.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	conventional information systems development, manual checking, transformational paradigm, ADISSA notation, transaction-oriented refinement, structured systems analysis, hierarchical set, formal specification, formal specification, data integrity, finite state machine, systems analysis, transaction processing, requirements specifications, finite automata, FSM, structured programming, formal approach
30	Matthew L. Aldridge, Michael W. Berry	Performance of a Finite-State Machine Implementation of Iterative Cluster Labeling on Desktop and Mobile Computing Platforms.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
30	Franz Pichler	Finite State Machine Modelling of Cryptographic Systems in Loops.	EUROCRYPT	1987	DBLP DOI BibTeX RDF
30	Dragan Milicev, Zoran Jovanovic	A Formal Model of Software Pipelining Loops with Conditions.	IPPS	1997	DBLP DOI BibTeX RDF	software pipelining loops, PSP model, parallel programming, finite state machine, formal model, software pipelining, parallelizing loops, conditional branches
30	Shashank K. Mehta, Kent L. Einspahr, Sharad C. Seth	Synthesis for Testability by Two-Clock Control.	VLSI Design	1997	DBLP DOI BibTeX RDF	two-clock control scheme, split coding system, FSM benchmark, timing, finite state machine, sequential circuit, encoding, logic synthesis, Hamiltonian cycle, synthesis for testability, state transition graph
29	Gerald Tripp	A Parallel "String Matching Engine" for use in High Speed Network Intrusion Detection Systems.	J. Comput. Virol.	2006	DBLP DOI BibTeX RDF
29	Feng Gao 0017, John P. Hayes	ILP-based optimization of sequential circuits for low power.	ISLPED	2003	DBLP DOI BibTeX RDF	low power, finite-state machine, decomposition, integer linear programming
29	Balakrishnan Iyer, Maciej J. Ciesielski	Metamorphosis: state assignment by retiming and re-encoding.	ICCAD	1996	DBLP DOI BibTeX RDF	Sequential Logic, Finite State Machine, Logic Synthesis, State Assignment, State Encoding
29	Christiane Frougny	On-the-Fly Algorithms and Sequential Machines.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	on-the-fly algorithms, subsequential finite state machine, on-line arithmetic
29	Fabrizio Ferrandi, Franco Fummi, Enrico Macii, Massimo Poncino, Donatella Sciuto	Symbolic optimization of interacting controllers based onredundancy identification and removal.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
28	Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci	The architecture and design of a malleable object-oriented prolog engine.	SAC	2008	DBLP DOI BibTeX RDF	prolog, finite state machine, object-oriented design
28	Therese Berg, Bengt Jonsson 0001, Harald Raffelt	Regular Inference for State Machines Using Domains with Equality Tests.	FASE	2008	DBLP DOI BibTeX RDF
28	Robert M. Hierons	Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
28	G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran	Projected state machine coverage for software testing.	ISSTA	2002	DBLP DOI BibTeX RDF	state machine projection., validation, automated test generation, finite state machine modeling
28	Ling Liu, Huaikou Miao, Xuede Zhan	A Framework for Specification-Based Class Testing.	ICECCS	2002	DBLP DOI BibTeX RDF	test class framework, finite state machine (FSM), state transition tree, Object-Z, class testing
28	Norman I. Badler	Real-time virtual humans.	PG	1997	DBLP DOI BibTeX RDF	real-time 3D virtual humans, computation speed, sense-control-act structure, autonomous actions, multiple individuals, locally adaptive behavior, PaT-Net, parallel transition network, parallel-finite-state machine controller, language instructions, animated actions, Jack Presenter, JackMOO, lambdaMOO, parameterized action representation, virtual reality, virtual reality, computer graphics, gestures, computer animation, motion, avatars, attention, autonomous agents, locomotion, human modeling, appearance, interactive control, reactive behaviors
28	Yu Wang	A Distributed Specification Model and Its Prototyping.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	distributed specification model, execution scheme, high-level state-transition language, SXL, software engineering, software engineering, complexity, prototyping, distributed processing, finite-state machine, specification languages, finite automata, high level languages, preconditions, switching systems, Boolean expressions, postconditions
27	Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi	Algorithms for approximate FSM traversal based on state space decomposition.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
26	Yanlong Wang, Zhanhuai Li, Wei Lin 0007, Minglei Hei, Jianhua Hao	The Design of Finite State Machine for Asynchronous Replication Protocol.	ICIC (2)	2007	DBLP DOI BibTeX RDF
26	Jaeseung Chang, Marie-Luce Bourguet	Usability framework for the design and evaluation of multimodal interaction.	BCS HCI (2)	2008	DBLP DOI BibTeX RDF	modelling, interaction design, finite state machine, multimodality, usability evaluation
26	K. R. Subramanian, T. Cassen	A cross-domain visual learning engine for interactive generation of instructional materials.	SIGCSE	2008	DBLP DOI BibTeX RDF	cross-disciplinary, algorithm, finite state machine, signal
26	Yu Zhang 0003, Tao Li, Jia Sun, Renchao Qin	An FSM-Based Approach for Malicious Code Detection Using the Self-Relocation Gene.	ICIC (1)	2008	DBLP DOI BibTeX RDF	self-relocation gene, finite-state machine, malicious code detection
26	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
26	Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh	A Bounded Incremental Test Generation Algorithm for Finite State Machines.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	finite state machine, conformance testing, incremental algorithms, test generation algorithms
26	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
26	Hasan Ural, Craig Williams	Constructing checking sequences for distributed testing.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Distributed test architectures, Controllability and observability problems, Test coordination, Finite state machine-based testing, Distributed testing, Checking sequence
26	Samira Tasharofi, Sepand Ansari, Marjan Sirjani	Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.	ICFEM	2006	DBLP DOI BibTeX RDF	finite-state machine testing, symbiotic evolutionary algorithms, genetic algorithms, automatic test data generation, Constraint automata
26	Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener	Application of Two Test Generation Tools to an Industrial Case Study.	TestCom	2006	DBLP DOI BibTeX RDF	telephonic service, service testing, test generation tools, formal specification, conformance testing, Case study, automatic test generation, extended finite state machine
26	Jessica Chen, Lihua Duan	Optimal Synchronizable Test Sequence from Test Segments.	QSIC	2006	DBLP DOI BibTeX RDF	unique input/output sequence, finite state machine, conformance testing, test sequence, distributed testing
26	Sachoun Park, Gihwon Kwon, Soonhoi Ha	Formalization of fFSM Model and Its Verification.	ICESS	2005	DBLP DOI BibTeX RDF	Step semantics, Model checking, Formal verification, Finite state machine
26	Sabu Emmanuel, Chee Kiang Heng, Amitabha Das	A Reversible Watermarking Scheme for JPEG-2000 Compressed Images.	ICME	2005	DBLP DOI BibTeX RDF	Finite State Machine Based Watermarking, Image Authentication, JPEG-2000, Reversible Watermarking
26	Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor	Disciplined Methods of Software Specification: A Case Study.	ITCC (2)	2005	DBLP DOI BibTeX RDF	tabular specifications, trace specifications, software, finite state machine, traces
26	Jessica Chen, Robert M. Hierons, Hasan Ural	Resolving Observability Problems in Distributed Test Architectures.	FORTE	2005	DBLP DOI BibTeX RDF	testing, controllability, Finite state machine, observability, test architecture
26	Vincenza Carchiolo, Sebastiano D'Ambra, Alessandro Longheu, Michele Malgeri	Issues in object orienting the ST Microelectronics manufacturing model.	APSEC	2000	DBLP DOI BibTeX RDF	semiconductor device manufacture, ST Microelectronics manufacturing model, structured production model, semiconductor device manufacturing, production flow, finite state machines, finite state machine, inheritance, inheritance, object-oriented methods, manufacturing systems, computer integrated manufacturing, object-oriented approach
26	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
26	Christoph C. Michael, Anup K. Ghosh	Two State-based Approaches to Program-based Anomaly Detection.	ACSAC	2000	DBLP DOI BibTeX RDF	state-based approaches, program-based anomaly detection, intrusion detection algorithms, execution audit data, statistical deviation monitoring, finite state machines, finite-state machine, security of data, software performance evaluation, experimental results, auditing, n-grams, algorithm performance
26	Bilung Lee, Edward A. Lee	Hierarchical Concurrent Finite State Machines in Ptolemy.	ACSD	1998	DBLP DOI BibTeX RDF	concurrency, finite state machine, heterogeneity, hierarchy
26	Franco Fummi, Donatella Sciuto	Implicit test pattern generation constrained to cellular automata embedding.	VTS	1997	DBLP DOI BibTeX RDF	implicit test pattern generation, cellular automata embedding, test sequence identification, autonomous finite state machine, off-line self-testable circuit, BIST strategy, deterministic test sequences, MCNC benchmarks, controller, built-in self test, stuck-at faults, ASIC design, circuit under test
26	Santonu Sarkar, Anupam Basu, Arun K. Majumdar	Analyzing Controllability of a Hardware Circuit for its Reuse.	VLSI Design	1997	DBLP DOI BibTeX RDF	hardware circuit controllability, external controllability, FSM model, finite state machines, finite state machine model
26	Jun Bi, Jianping Wu	A STREAMS based high performance IP/X.25 router.	ISPAN	1996	DBLP DOI BibTeX RDF	IP/X.25, TCP/IP networks, connection oriented subnetwork, performance evaluation, STREAMS, finite state machine, interconnection, Unix, transport protocols, high performance, internetworking, internetworking, interoperability testing, communication software
26	Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal	Incremental methods for FSM traversal.	ICCD	1995	DBLP DOI BibTeX RDF	FSM traversal, formal verification, formal verification, finite state machines, finite state machine, logic design, directed graphs, logic CAD, incremental algorithms, digital systems, reachable states, incremental methods
26	Santanu Paul, Atul Prakash 0001	A Framework for Source Code Search Using Program Patterns.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program patterns, source code fragments, integrated software engineering environments, pattern-based query processors, source programming language, SCRUPLE, source code search tool, source code browser, user interfaces, user interface, formal specification, software maintenance, software maintenance, prototype, software tools, software tools, programming environments, finite state machines, finite state machine, query languages, source code, pattern languages, software reengineering, software understanding, software toolkits, source code search
26	Yabo Wang, David Lorge Parnas	Simulating the Behavior of Software Modules by Trace Rewriting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	software module behavior simulation, trace rewriting, trace assertion method, module interface specification method, specification simulation tool, trace simulator, trace specifications, trace rewriting systems, trace simulation, simulation, formal specification, finite state machines, digital simulation, term rewriting, rewriting systems, finite state machine model
26	Sylvia C. Boyd, Hasan Ural	On the Complexity of Generating Optimal Test Sequences.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	maximal overlapping, test subsequences, optimal test sequence generation, OTSG problem, computational complexity, protocols, NP-complete, finite state machine, program testing, communications protocols, finite automata, polynomial time, FSM, protocol testing
26	Deepinder P. Sidhu, Juan Aristizabal	Constructing Submodule Specifications and Network Protocols.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	submodule specifications, module specification, formal specification, formal specification, protocols, software tools, finite-state machine, communication protocols, network protocols, finite automata, automated tool, execution sequences
26	Sudhir Aggarwal, Daniel Barbará, Kalman Z. Meth	A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	SPANNER software environment, selection/resolution model, cluster variables, simulation, parallel programming, concurrency, distributed computing, specification, coordination, distributed processing, programming environments, concurrent programming, reachability analysis, software environment, dining philosophers, finite-state machine model
26	Vishwani D. Agrawal, Kwang-Ting Cheng	Test Function Specification in Synthesis.	DAC	1990	DBLP DOI BibTeX RDF
26	Srinivas Devadas	Approaches to Multi-level Sequential Logic Synthesis.	DAC	1989	DBLP DOI BibTeX RDF
25	Tsuneo Nakanishi, Mitsunori Fujita, Susumu Yamazaki, Naohito Yamashita, Shuichi Ashihara	Tailoring the Domain Engineering Process of the PLUS Method.	APSEC	2007	DBLP DOI BibTeX RDF
25	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
24	Matthew Aldridge	A parallel finite state machine implementation of a nearest-eight Hoshen-Kopelman adaptation for landscape analysis.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	Hoshen-Kopelman, landscape analysis, parallelization, finite state machines
23	Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid	Finite State Machine IP Watermarking: A Tutorial.	AHS	2006	DBLP DOI BibTeX RDF
22	Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha	Construction of global finite state machine for testing task interactions written in message sequence charts.	SEKE	2002	DBLP DOI BibTeX RDF	task interaction, message sequence charts, integration testing
21	Priyank Kalla, Maciej J. Ciesielski	A comprehensive approach to the partial scan problem using implicitstate enumeration.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
21	Gang Luo, Gregor von Bochmann, Alexandre Petrenko	Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing
21	Seung Ho Hwang, A. Richard Newton	An efficient verifier for finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF