Search results for "IUT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
119	Alexandre Petrenko, Nina Yevtushenko 0001, Jiale Huo	Testing Transition Systems with Input and Output Testers.	TestCom	2003	DBLP DOI BibTeX RDF	input/output transition system, test generation, fault model, conformance testing
102	Lihua Duan, Jessica Chen	An Approach to Testing with Embedded Context Using Model Checker.	ICFEM	2008	DBLP DOI BibTeX RDF	context-based testing, finite state machines, conformance testing, test sequences, distinguishing sequences
85	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
85	Luis Fernando Llana Díaz, Manuel Núñez 0001, Ismael Rodríguez	Customized Testing for Probabilistic Systems.	TestCom	2006	DBLP DOI BibTeX RDF
85	Luis Fernando Llana Díaz, Manuel Núñez 0001, Ismael Rodríguez	Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems.	FORTE	2006	DBLP DOI BibTeX RDF
85	Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp	Optimal strategies for testing nondeterministic systems.	ISSTA	2004	DBLP DOI BibTeX RDF	optimal game strategies, probabilistic nondeterministic finite state machines, abstract state machines
85	Gregor von Bochmann, Rachida Dssouli, J. R. Zhao	Trace Analysis for Conformance and Arbitration Testing.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	arbitration testing, implementation under test, IUT, communication protocol implementations, distributed test architectures, partial input/output traces, local observers, error-detection power, global knowledge, automated construction, trace analysis modules, reference specification, open systems interconnection, formal specification, protocols, transport protocol, program testing, open systems, conformance testing, conformance testing, OSI
68	Tao Sun, Keiichi Yasumoto, Masaaki Mori, Teruo Higashino	QoS Functional Testing for Multi-media Systems.	FORTE	2003	DBLP DOI BibTeX RDF
56	Hyunsook Do, Seongyong Bae, Sangki Kim	INAP Protocol Test Suite Verification Method Using the IUT Simulator for AIN System Conformance Testing.	Services and Visualization: Towards User-Friendly Design	1998	DBLP DOI BibTeX RDF
51	Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko 0001	Testing Nondeterministic Finite State Machines with Respect to the Separability Relation.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	separability relation, testing nondeterministic FSMs
51	Christian Engel 0002, Reiner Hähnle	Generating Unit Tests from Formal Proofs.	TAP	2007	DBLP DOI BibTeX RDF	theorem proving, program verification, model-based testing, unit testing, symbolic execution, test coverage, white-box testing
51	Xutao Deng, Jun Xu, Charles Wang	Multiplicity Adjustment for Intersection-union Test: Detecting Overlapping Genes from Multiple Microarray Gene Lists.	IMSCCS	2007	DBLP DOI BibTeX RDF
51	Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez 0001	A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.	TestCom	2006	DBLP DOI BibTeX RDF
51	Deepak D'Souza, Madhu Gopinathan	Computing Complete Test Graphs for Hierarchical Systems.	SEFM	2006	DBLP DOI BibTeX RDF
51	Robert M. Hierons, Hasan Ural	Concerning the Ordering of Adaptive Test Sequences.	FORTE	2003	DBLP DOI BibTeX RDF
51	Robert M. Hierons, Mark Harman	Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Design for test conditions, Quasi-non-determinism, Testing, Conformance, Non-determinism, Stream X-machine
51	Ira Acharya, Hemendra Kumar Singh	Testing of 3G 1xEV-DV Stack - A Case Study.	TestCom	2003	DBLP DOI BibTeX RDF	testing challenges, IUT, 1xEV-DV, EV-DV, DV, reference implementation, 3GPP2, LAC, RLP, L2, L3, packet data channel, PDCHCF, Message Integrity, simulation, Testing, MAC, queues, behavior, task, video conferencing, SDL, formalism, 3G, Signaling, logging, conformance, test automation, formal description techniques, MSC, timers, protocol stack, test scripts, TTCN
39	Yoshihiro Maruyama	Exploring Human-Computer Interaction in Mathematics: From Voevodsky's Univalent Foundations of Mathematics to Mochizuki's IUT-Theoretic Proof of the ABC Conjecture.	HCI (5)	2021	DBLP DOI BibTeX RDF
39		Implementation Under Test (IUT).	Encyclopedia of Biometrics	2009	DBLP DOI BibTeX RDF
39	Dennis Karvelas, Michail Papamichail	Performance Study of the NSW-IUT Bandwidth Balancing Mechanism.	INFOCOM	1994	DBLP DOI BibTeX RDF
34	Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel	Run-time conformance checking of mobile and distributed systems using executable models.	PADTAD	2009	DBLP DOI BibTeX RDF	distributed event simulation, executable specification formalisms, Java, mobility, mobile agents, software testing, process algebra, conformance testing, ?-calculus, runtime monitoring, Aglets
34	Ismael Rodríguez, Manuel Núñez 0001	A Formal Methodology to Test Complex Heterogeneous Systems.	ATVA	2007	DBLP DOI BibTeX RDF
34	Lihua Duan, Jessica Chen	Alternative B-Sequences.	QSIC	2007	DBLP DOI BibTeX RDF	finite state machine, conformance testing, distinguishing sequence, checking sequence
34	MoonBae Song, KwangJin Park, Ki-Sik Kong	Exploiting Mobility as Context for Energy-Efficient Location-Aware Computing.	EUC	2005	DBLP DOI BibTeX RDF
34	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
17	Pablo Rabanal, Ismael Rodríguez, Fernando Rubio 0001	A Formal Approach to Heuristically Test Restorable Systems.	ICTAC	2009	DBLP DOI BibTeX RDF
17	Antoine Rollet, Sébastien Salva	Testing robustness of communicating systems using ioco-based approach.	ISCC	2009	DBLP DOI BibTeX RDF
17	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
17	Junmin Ye, Wei Dong 0006, Zhichang Qi	A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications.	ICYCS	2008	DBLP DOI BibTeX RDF
17	Dave Arnold, Jean-Pierre Corriveau	Modeling Enhanced Scenarios for Automated Instrumentation.	SERA	2008	DBLP DOI BibTeX RDF	Scenarios, Automation, Instrumentation
17	Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez	A Brief Introduction to THOTL.	ATVA	2007	DBLP DOI BibTeX RDF
17	Antoine Rollet, Fares Saad-Khorchef	A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis.	SERA	2007	DBLP DOI BibTeX RDF	Robustness relations, Timed Automata, Labelled Transition Systems, Robustness Testing
17	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
17	Ralph Guderlei, Johannes Mayer	Statistical Metamorphic Testing Testing Programs with Random Output by Means of Statistical Hypothesis Tests and Metamorphic Testing.	QSIC	2007	DBLP DOI BibTeX RDF
17	Florentin Ipate	Bounded Sequence Testing from Non-deterministic Finite State Machines.	TestCom	2006	DBLP DOI BibTeX RDF
17	Margus Veanes, Pritam Roy, Colin Campbell	Online Testing with Reinforcement Learning.	FATES/RV	2006	DBLP DOI BibTeX RDF
17	Ana R. Cavalli, Dario Vieira	An Enhanced Passive Testing Approach for Network Protocols.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
17	Nicolae Goga, Florica Moldoveanu, Maria Goga	Test Selection and Coverage Based on CTM and Metric Spaces.	CCECE	2006	DBLP DOI BibTeX RDF
17	Markus Klug, Shabnam Michèle Tauböck, Helmut-Klaus Schimany, Dietmar Schratt, Günther Kaluza	Simulation support for a new approach to multimodal transportation handling.	WSC	2005	DBLP BibTeX RDF
17	Hacène Fouchal, Antoine Rollet, Abbas Tarhini	Robustness of Composed Timed Systems.	SOFSEM	2005	DBLP DOI BibTeX RDF	Real-Time System, Testing, Robustness, Timed Automata, Component based System
17	Natalia López, Manuel Núñez 0001, Ismael Rodríguez	Testing of Symbolic-Probabilistic Systems.	FATES	2004	DBLP DOI BibTeX RDF
17	Manuel Núñez 0001, Ismael Rodríguez, Fernando Rubio 0001	Testing of Autonomous Agents Described as Utility State Machines.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
17	Yuanxin Wu, Meiping Wu, Dewen Hu, Xiaoping Hu 0002	An Improvement to Unscented Transformation.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
17	Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon	Property Oriented Test Case Generation.	FATES	2003	DBLP DOI BibTeX RDF
17	Makoto Yamada, Takanori Mori, Atsushi Fukada, Akio Nakata, Teruo Higashino	A Method for Functional Testing of Media Synchronization Protocols.	ICOIN (2)	2002	DBLP DOI BibTeX RDF