Search results for "transitions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	William Henderson, Bruce S. Northcote, Peter G. Taylor	Triggered batch movement in queueing networks.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	batch movement, triggered transitions, Product form, state dependence
16	Wilbert H. F. J. Körver	A universal formalization of the effects of threshold voltages for discrete switch-level circuit models.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	field effect transistor switches, threshold voltage effects, discrete switch-level circuit models, universal formalization, switch imperfection, CMOS design, demolition degree, CMOS digital integrated circuits, state transitions, integrated circuit modelling, switching circuits
16	Sukumar Nandi, B. K. Kar, Parimal Pal Chaudhuri	Theory and Applications of Cellular Automata in Cryptography.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	CA state transitions, fundamental transformations, programmable cellular automata, pseudorandom pattern generators, VLSI, cryptography, cryptography, stream ciphers, cellular automata, cellular automata, block ciphers, random number generation, VLSI implementation
16	Yaron Wolfstahl, Michael Yoeli	An Equivalence Theorem for Labeled Marked Graphs.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	equivalence theorem, labeledmarked graphs, structural determinism, sequential language, firing sequences, Petri nets, Petri nets, multiprocessing systems, formal languages, transitions, concurrent language
16	Wim P. Groenendijk, Hanoch Levy	Performance Analysis of Transaction Driven Computer Systems via Queueing Analysis of Polling Models.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	transaction driven computer systems, batch transitions, generic queuing model, mean sojourn time, cyclic polling system, performance evaluation, performance analysis, queueing theory, queueing analysis, polling models
16	Amir Pnueli	How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF	discrete and continuous systems, Real-time, fairness, hybrid systems, Statecharts, Liveness, timed transitions system, justice
16	Mohamed G. Gouda, Nicholas J. Multari	Stabilizing Communication Protocols.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	communication protocol stabilization, safe states, convergence stair, two-way handshake, formal specification, formal method, protocols, program verification, state transitions, sliding-window protocol
16	Oded Maler, Zohar Manna, Amir Pnueli	From Timed to Hybrid Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	discrete and continuous systems, Real-time, hybrid systems, Statecharts, timed transitions system
16	Geoffrey M. Brown, Mohamed G. Gouda, Chuan-lin Wu	Token Systems that Self-Stabilize.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	mutual exclusion systems, protocols, self-stabilizing, operating systems (computers), token, critical section, state transitions
16	Ernst-Rüdiger Olderog	Strong bisimilarity on nets: a new concept for comparing net semantics.	REX Workshop	1988	DBLP DOI BibTeX RDF	Strong bisimilarity, labelled place/transitions nets, causal nets, process terms, COSY, operational and compositional net semantics, CSP, CCS, safeness
16	Charles-Eric Dessart, Vivian Genaro Motti, Jean Vanderdonckt	Showing user interface adaptivity by animated transitions.	EICS	2011	DBLP DOI BibTeX RDF
16	Bing Wang, Yuexing Han, Luonan Chen, Kazuyuki Aihara	Multiple Phase Transitions in the Culture Dissemination.	Complex (1)	2009	DBLP DOI BibTeX RDF	Dynamics of social systems, Complex systems, Self-organized systems
16	Sang-Gui Lee, Sang Bub Lee	Scaling Relations in Absorbing Phase Transitions with a Conserved Field in One Dimension.	Complex (1)	2009	DBLP DOI BibTeX RDF	absorbing phase transition, conserved lattice gas, conserved threshold transfer process, critical exponents, scaling relations
16	Cyrille Artho	Separation of Transitions, Actions, and Exceptions in Model-Based Testing.	EUROCAST	2009	DBLP DOI BibTeX RDF
16	Kirsten Sadler, Toni Robertson, Melanie Kan	Exploring the project transitions and everyday mobile practices of freelancers: emergent concepts from empirical studies of practice.	OZCHI	2009	DBLP DOI BibTeX RDF	mobile technology use, studies of practice, work/life, mobility
16	Jussi Huhtala, Jani Mäntyjärvi, Aino Ahtinen, Leena Ventä, Minna Isomursu	Animated Transitions for Adaptive Small Size Mobile Menus.	INTERACT (1)	2009	DBLP DOI BibTeX RDF	Mobile UI design, animation, transition
16	Aika Mukai, Toshiyuki Yamamoto, Makoto J. Hirayama	A study of correlation between transitions and sound effects in a fairy tale movie.	ICIS	2009	DBLP DOI BibTeX RDF	the relation of link of scenes and transitional motion patterns, the relation of transitional motion patterns and sound effects, conjunction
16	Alejandro Millán 0001, Jorge Juan, Manuel J. Bellido, David Guerrero Martos, Paulino Ruiz-de-Clavijo, Julian Viejo	Power Dissipation Associated to Internal Effect Transitions in Static CMOS Gates.	PATMOS	2008	DBLP DOI BibTeX RDF
16	Jorge Júlvez	Polynomial Throughput Bounds for Equal Conflict Petri Nets with Multi-guarded Transitions.	QEST	2008	DBLP DOI BibTeX RDF
16	Pan Hui, Anders Lindgren	Phase transitions of opportunistic communication.	Challenged Networks	2008	DBLP DOI BibTeX RDF	opportunistic networking
16	Ingo Scholtes, Jean Botev, Alexander Höhfeld, Hermann Schloss, Markus Esch	Awareness-Driven Phase Transitions in Very Large Scale Distributed Systems.	SASO	2008	DBLP DOI BibTeX RDF
16	Adriano C. M. Pereira, Leonardo Rocha 0001, Fernando Mourão, Wagner Meira Jr., Paulo B. Góes	Reactivity in Online Auctions: Understanding Bidding Behavior through Reactive Transitions.	CEC/EEE	2008	DBLP DOI BibTeX RDF
16	Sasa Mrdovic, Branislava Perunicic	NIDS based on payload word frequencies and anomaly of transitions.	ICDIM	2008	DBLP DOI BibTeX RDF
16	Janet Best, Choongseok Park, David Terman, Charles Wilson	Transitions between irregular and rhythmic firing patterns in excitatory-inhibitory neuronal networks.	J. Comput. Neurosci.	2007	DBLP DOI BibTeX RDF	Excitatory-inhibitory network, Singular perturbation analysis, Synchronization, Basal ganglia
16	Emilio Kropff, Alessandro Treves	The complexity of latching transitions in large scale cortical networks.	Nat. Comput.	2007	DBLP DOI BibTeX RDF
16	Atsuto Kubo, Hironori Washizaki, Yoshiaki Fukazawa	Automatic Extraction and Verification of Page Transitions in aWeb Application.	APSEC	2007	DBLP DOI BibTeX RDF
16	Elisangela Rodrigues Vieira, Ana R. Cavalli	Towards an Automated Test Generation with Delayed Transitions for Timed Systems.	RTCSA	2007	DBLP DOI BibTeX RDF
16	Ryan Shaun Joazeiro de Baker, Ma. Mercedes T. Rodrigo, Ulises E. Xolocotzin	The Dynamics of Affective Transitions in Simulation Problem-Solving Environments.	ACII	2007	DBLP DOI BibTeX RDF
16	Walter J. Freeman	Cortical aperiodic shutter enabling phase transitions at theta rates.	IJCNN	2007	DBLP DOI BibTeX RDF
16	Goele Hollanders, Geert Jan Bex, Marc Gyssens, Ronald L. Westra, Karl Tuyls	On Phase Transitions in Learning Sparse Networks.	ECML	2007	DBLP DOI BibTeX RDF	sparse network reconstruction, machine learning, feature identification
16	Leslie Ikemoto, Okan Arikan, David A. Forsyth	Quick transitions with cached multi-way blends.	SI3D	2007	DBLP DOI BibTeX RDF	motion evaluation, motion synthesis, motion blending
16	Azadeh Farzan, José Meseguer 0001	State Space Reduction of Rewrite Theories Using Invisible Transitions.	AMAST	2006	DBLP DOI BibTeX RDF
16	Nobuyuki Ohba, Kohji Takano	Hardware debugging method based on signal transitions and transactions.	ASP-DAC	2006	DBLP DOI BibTeX RDF
16	Maxime Taron, Charlotte Ghys, Nikos Paragios	Uncertainties-driven Surface Morphing: The case of Photo-realistic Transitions between Facial Expressions.	ICPR (3)	2006	DBLP DOI BibTeX RDF
16	Dmitry Nerukh, George Karvounis, Robert C. Glen	Dynamic Complexity of Chaotic Transitions in High-Dimensional Classical Dynamics: Leu-Enkephalin Folding.	CompLife	2006	DBLP DOI BibTeX RDF	enkephalin, dynamic complexity, folding, computational mechanics
16	Neil Walkinshaw, Kirill Bogdanov 0002, Mike Holcombe	Identifying State Transitions and their Functions in Source Code.	TAIC PART	2006	DBLP DOI BibTeX RDF
16	Patrick Baudisch, Desney S. Tan, Maxime Collomb, Daniel C. Robbins, Ken Hinckley, Maneesh Agrawala, Shengdong Zhao, Gonzalo A. Ramos	Phosphor: explaining transitions in the user interface using afterglow effects.	UIST	2006	DBLP DOI BibTeX RDF	comic animation, phosphor, user interfaces, information visualization, diagrams, cartoon animation
16	Anne Defaweux, Tom Lenaerts, Jano I. van Hemert	Evolutionary Transitions as a Metaphor for Evolutionary Optimisation.	ECAL	2005	DBLP DOI BibTeX RDF
16	Anne Defaweux, Tom Lenaerts, Jano I. van Hemert, Johan Parent	Complexity transitions in evolutionary algorithms: evaluating the impact of the initial population.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
16	Karl Erich Wolff	States, Transitions, and Life Tracks in Temporal Concept Analysis.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
16	Thomas Bladh, David A. Carr, Matjaz Kljun	The Effect of Animated Transitions on User Navigation in 3D Tree-Maps.	IV	2005	DBLP DOI BibTeX RDF
16	Narendra Devta-Prasanna, Sudhakar M. Reddy, Arun Gunda, P. Krishnamurthy, Irith Pomeranz	Improved Delay Fault Coverage Using Subsets of Flip-flops to Launch Transitions.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
16	Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes	Composing Transitions into Transactions in UML Diagrams.	EUROCAST	2005	DBLP DOI BibTeX RDF
16	Philippe Guillemain, Jonathan Terroir	Dynamic Simulation of Note Transitions in Reed Instruments: Application to the Clarinet and the Saxophone.	CMMR	2005	DBLP DOI BibTeX RDF
16	Jiong Yang 0001, Wei Wang 0010	AGILE: A General Approach to Detect Transitions in Evolving Data Streams.	ICDM	2004	DBLP DOI BibTeX RDF	Transition detection, Variable memory Markov model, Emission tree, Stream processing
16	Theo Gevers, Harro M. G. Stokman	Classifying color edges in video into shadow-geometry, highlight, or material transitions.	IEEE Trans. Multim.	2003	DBLP DOI BibTeX RDF
16	Jan Wessnitzer, Chris Melhuish	Collective Decision-Making and Behaviour Transitions in Distributed Ad Hoc Wireless Networks of Mobile Robots: Target-Hunting.	ECAL	2003	DBLP DOI BibTeX RDF
16	Mark Foreman, Mikhail Prokopenko, Peter Wang	Phase Transitions in Self-Organising Sensor Networks.	ECAL	2003	DBLP DOI BibTeX RDF
16	Jin Ok Kim, Bum Ro Lee, Chin Hyun Chung, Jun Hwang, Woongjae Lee	The Uniform Posture Map Algorithm for the Real-Time Interactive Motion Transitions of an Articulated Body.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
16	Dexin Li, Qiang Xie, Pai H. Chou	Scalable modeling and optimization of mode transitions based on decoupled power management architecture.	DAC	2003	DBLP DOI BibTeX RDF	compex system, component mode, mode change, mode transition, power management, power model
16	András Horváth, Miklós Telek	Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	Non-Markovian Stochastic Petri Nets, preemption policies, preemptive repeat identical (pri) type transition, time domain analysis
16	Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün	Compressing Transitions for Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
16	Dimitra Giannakopoulou, Flavio Lerda	From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.	FORTE	2002	DBLP DOI BibTeX RDF
16	Tom Lenaerts, Anne Defaweux, P. Beyens, Bernard Manderick	Transitions in a Simple Evolutionary Model.	ECAL	2001	DBLP DOI BibTeX RDF
16	Grzegorz Musial, Lech Debski	Monte Carlo Method with Parallel Computation of Phase Transitions in the Three-Dimensional Ashkin-Teller Model.	PPAM	2001	DBLP DOI BibTeX RDF
16	Ken Komiya, Kensaku Sakamoto, Hidetaka Gouzu, Shigeyuki Yokoyama, Masanori Arita, Akio Nishikawa, Masami Hagiya	Successive State Transitions with I/O Interface by Molecules.	DNA Computing	2000	DBLP DOI BibTeX RDF
16	Peter J. Giblin, Benjamin B. Kimia	On the Local Form and Transitions of Symmetry Sets, Medial Axes, and Shocks.	ICCV	1999	DBLP DOI BibTeX RDF
16	Katinka Wolter	Jump Transitions in Second Order FSPNs.	MASCOTS	1999	DBLP DOI BibTeX RDF	performability modelling, stochastic process, diffusion, stochastic Petri net, Fluid model
16	Hillel Miller, Shmuel Katz	Saving Space by Fully Exploiting Invisible Transitions.	CAV	1996	DBLP DOI BibTeX RDF
16	Eric Goubault	Durations for Truly-Concurrent Transitions.	ESOP	1996	DBLP DOI BibTeX RDF
16	Miklós Telek, Andrea Bobbio	Markov Regenerative Stochastic Petri Nets with Age Type General Transitions.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Queueing systems with preemptive resume service, Stochastic Petri Nets, Transient analysis, Markov regenerative processes
16	Walter Vogler	Asynchronous Communication of Petri Nets and the Refinement of Transitions.	ICALP	1992	DBLP DOI BibTeX RDF
16	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
16	Jiajian Chen, Jun Xiao 0003, Yuli Gao	iSlideShow: a content-aware slideshow system.	IUI	2010	DBLP DOI BibTeX RDF	content-based transition, theme clustering, GPU, slideshow
16	Ruiwen Chen, Yongyi Mao, Iluju Kiringa	GRN model of probabilistic databases: construction, transition and querying.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	generator-recognizer network, bayesian network, uncertainty, graphical model, probabilistic database
16	Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati 0001	Reasoning about actions with sensing under qualitative and probabilistic uncertainty.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	qualitative and probabilistic uncertainty, description logics, sensing, Reasoning about actions, imprecise probabilities, action languages
16	Irith Pomeranz, Sudhakar M. Reddy	Functional Broadside Tests Under an Expanded Definition of Functional Operation Conditions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2009	DBLP DOI BibTeX RDF
16	Laura Carnevali, Leonardo Grassi, Enrico Vicario	State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
16	Rüyam Acar	Simulation of interface dynamics: a diffuse-interface model.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Dynamics of interfaces, Cahn-Hilliard equation
16	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
16	Jaco Geldenhuys, Henri Hansen, Antti Valmari	Exploring the Scope for Partial Order Reduction.	ATVA	2009	DBLP DOI BibTeX RDF
16	Fatemeh Eslami, Amirali Baniasadi, Mostafa Farahani	Application Specific Transistor Sizing for Low Power Full Adders.	ASAP	2009	DBLP DOI BibTeX RDF
16	Pierre-Alain Reynier, Arnaud Sangnier	Weak Time Petri Nets Strike Back!.	CONCUR	2009	DBLP DOI BibTeX RDF
16	Debora Gil, Aura Hernández-Sabaté, Mireia Burnat, Steven Jansen, Jordi Martínez-Vilalta	Structure-Preserving Smoothing of Biomedical Images.	CAIP	2009	DBLP DOI BibTeX RDF	non-linear smoothing, anatomical structures segmentation, cardiac magnetic resonance, differential geometry, computerized tomography
16	Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng	Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.	FASE	2009	DBLP DOI BibTeX RDF
16	Yihui Liu, Jing Yang, Sanjue Hu	Transition between two excitabilities in mesencephalic V neurons.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Steady-state I-V relation, Type 1 excitability, Type 2 excitability, I NaP, I 4-AP, Frequency-current function, Mes V, Bifurcation, Excitability
16	Xijiang Lin, Yu Huang 0005	Scan Shift Power Reduction by Freezing Power Sensitive Scan Cells.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Scan shift, Low power test, Scan test, Signal probability
16	Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry 0001	Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps.	HSCC	2008	DBLP DOI BibTeX RDF
16	Amy M. Witherspoon, Roger Azevedo, Sidney K. D'Mello	The Dynamics of Self-regulatory Processes within Self-and Externally Regulated Learning Episodes During Complex Science Learning with Hypermedia.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	externally-regulated learning, human tutoring, complex science learning, adaptivity, cognition, metacognition, self-regulated learning, dynamic processes
16	Yu Ru, Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis	Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications.	CDC	2008	DBLP DOI BibTeX RDF
16	Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke	On Synchronous and Asynchronous Interaction in Distributed Systems.	MFCS	2008	DBLP DOI BibTeX RDF
16	Yuping Shen, Hassan Foroosh	View-invariant recognition of body pose from space-time templates.	CVPR	2008	DBLP DOI BibTeX RDF
16	Karthik Duraisami, Enrico Macii, Massimo Poncino	Energy efficiency bounds of pulse-encoded buses.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	power reduction., pulse wave transmission, high-speed interconnect, transition activity
16	Irith Pomeranz, Sudhakar M. Reddy	Expanded Definition of Functional Operation Conditions and its Effects on the Computation of Functional Broadside Tests.	VTS	2008	DBLP DOI BibTeX RDF	functional broadside tests, test generation, transition faults, reachable states, full-scan circuits
16	Johane Takeuchi, Osamu Shouno, Hiroshi Tsujino	Modular Neural Networks for Model-Free Behavioral Learning.	ICANN (1)	2008	DBLP DOI BibTeX RDF	Partially observable environment, Reinforcement learning, On-line learning
16	Qingli Zhang, Jinxiang Wang 0001, Yizheng Ye	Delay and Energy Efficient Design of On-Chip Encoded Bus with Repeaters.	VLSI Design	2008	DBLP DOI BibTeX RDF
16	Doug L. James, Christopher D. Twigg, Andrew Cove, Robert Y. Wang	Mesh Ensemble Motion Graphs: Data-driven mesh animation with constraints.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	nonpenetration, integer programming, Collision detection, constraint satisfaction, motion graphs
16	Guang-Jun Zhang, Jue Wang, Jian-Xue Xu, Xiang-Bo Wang, Hong Yao	Mechanism of Bifurcation-Dependent Coherence Resonance of Excitable Neuron Model.	HCI (12)	2007	DBLP DOI BibTeX RDF	coherence resonance, bifurcation point, transition, attractor
16	Chartchai Doungsa-ard, Keshav P. Dahal, M. Alamgir Hossain, Taratip Suwannasart	Test Data Generation from UML State Machine Diagrams using GAs.	ICSEA	2007	DBLP DOI BibTeX RDF	UML state machine diagram, Genetic algorithm, Test data generation
16	Kambiz Rahimi	Minimizing peak power in synchronous logic circuits.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	power optimization, peak power, clock scheduling
16	Johane Takeuchi, Osamu Shouno, Hiroshi Tsujino	Modular Neural Networks for Reinforcement Learning with Temporal Intrinsic Rewards.	IJCNN	2007	DBLP DOI BibTeX RDF
16	Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda	State Transition Model for Test Sequence Generation of MANET Clustering Protocols.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
16	Robert A. Joyce, Bede Liu	Temporal segmentation of video using frame and histogram space.	IEEE Trans. Multim.	2006	DBLP DOI BibTeX RDF
16	Mila E. Majster-Cederbaum, Christoph Minnameier	Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa.	ICTAC	2006	DBLP DOI BibTeX RDF
16	Miguel Valero Espada, Jaco van de Pol	Accelerated Modal Abstractions of Labelled Transition Systems.	AMAST	2006	DBLP DOI BibTeX RDF
16	Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan	Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications.	SPIN	2006	DBLP DOI BibTeX RDF
16	Sailesh Kumar, Sarang Dharmapurikar, Fang Yu 0002, Patrick Crowley, Jonathan S. Turner	Algorithms to accelerate multiple regular expressions matching for deep packet inspection.	SIGCOMM	2006	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection
16	Weigang Zhang, Jianqiu Lin, Xiaopeng Chen, Qingming Huang, Yang Liu 0006	Video Shot Detection Using Hidden Markov Models with Complementary Features.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
16	Michael Domaratzki, Kai Salomaa	Lower Bounds for the Transition Complexity of NFAs.	MFCS	2006	DBLP DOI BibTeX RDF
16	Dianxiang Xu, Weifeng Xu	State-based incremental testing of aspect-oriented programs.	AOSD	2006	DBLP DOI BibTeX RDF	aspect-oriented state model, incremental testing, aspect-oriented programming, model-based testing, state model