Search results for "testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Thao Dang 0001	Model-Based Testing of Hybrid Systems.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Stefan Gruner, Bruce W. Watson	Model-Based Passive Testing of Safety-Critical Components.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Sebastian Oster, Andreas Wübbeke, Gregor Engels, Andy Schürr	A Survey of Model-Based Software Product Lines Testing.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Stephen P. Masticola, Michael Gall	Test Framework Architectures for Model-Based Embedded System Testing.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Manfred Broy, Alexander Pretschner	A Model-Based View onto Testing.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Justyna Zander, Ina Schieferdecker	A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Lee Barford	Model-Based Testing of Analog Embedded Systems Components.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Fevzi Belli, Axel Hollmann, Sascha Padberg	Model-Based Integration Testing with Communication Sequence Graphs.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Abel Marrero Pérez, Stefan Kaiser	Multilevel Testing for Embedded Systems.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Jürgen Großmann, Philip Makedonski, Hans-Werner Wiesbrock, Jaroslav Svacina, Ina Schieferdecker, Jens Grabowski	Model-Based X-in-the-Loop Testing.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Jesse H. Poore, Lan Lin, Robert Eschbach, Thomas Bauer	Automated Statistical Testing for Embedded Systems.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Pawel Skruch, Miroslaw Panek, Bogdan Kowalczyk	Model-Based Testing in Embedded Automotive Systems.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Juri Vain, Andres Kull, Marko Kääramees, Maili Markvardt, Kullo Raiend	Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Mirko Conrad	Testing-Based Translation Validation of Generated Code.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Antti Jääskeläinen, Tommi Takala, Mika Katara	Model-Based GUI Testing of Smartphone Applications.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Fredrik Abbors, Veli-Matti Aho, Jani Koivulainen, Risto Teittinen, Dragos Truscan	Applying Model-Based Testing in the Telecommunication Domain.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis	Automatic Testing of LUSTRE/SCADE Programs.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
30	Mary Jean Harrold, Darko Marinov, Stephen Oney, Mauro Pezzè, Adam A. Porter, John Penix, Per Runeson, Shin Yoo	Introducing Continuous Systematic Testing of Evolving Software.	Practical Software Testing: Tool Automation and Human Factors	2010	DBLP BibTeX RDF
30	Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie 0001	10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors.	Practical Software Testing: Tool Automation and Human Factors	2010	DBLP BibTeX RDF
30	Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen	FITE - Future Integrated Testing Environment.	Practical Software Testing: Tool Automation and Human Factors	2010	DBLP BibTeX RDF
30	Eileen T. Kraemer, Laura K. Dillon	Groundwork for the Development of Testing Plans for Concurrent Software.	Practical Software Testing: Tool Automation and Human Factors	2010	DBLP BibTeX RDF
30	Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner	10421 Abstracts Collection - Model-Based Testing in Practice.	Model-Based Testing in Practice	2010	DBLP BibTeX RDF
30	Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner	10421 Summary - Model-Based Testing in Practice.	Model-Based Testing in Practice	2010	DBLP BibTeX RDF
30	Antonia Bertolino, Wolfgang Grieskamp, Robert M. Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit M. Paradkar, David S. Rosenblum, Jan Tretmans	Model-Based Testing for the Cloud.	Practical Software Testing: Tool Automation and Human Factors	2010	DBLP BibTeX RDF
30	Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie 0001	10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors.	Practical Software Testing: Tool Automation and Human Factors	2010	DBLP BibTeX RDF
30	Eric Blais	Testing Juntas: A Brief Survey.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Arnab Bhattacharyya 0001, Swastik Kopparty, Grant Schoenebeck, Madhu Sudan 0001, David Zuckerman	Optimal Testing of Reed-Muller Codes.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Tali Kaufman, Avi Wigderson	Symmetric LDPC Codes and Local Testing.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Oded Goldreich 0001	Introduction to Testing Graph Properties.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Asaf Shapira	Green's Conjecture and Testing Linear Invariant Properties.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Swastik Kopparty, Shubhangi Saraf	Some Recent Results on Local Testing of Sparse Linear Codes.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Oded Goldreich 0001, Michael Krivelevich, Ilan Newman, Eyal Rozenberg	Hierarchy Theorems for Property Testing.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Michal Adamaszek, Artur Czumaj, Christian Sohler	Testing Monotone Continuous Distributions on High-Dimensional Real Cubes.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Rocco A. Servedio	Testing by Implicit Learning: A Brief Survey.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Madhu Sudan 0001	Invariance in Property Testing.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Kevin Matulef, Ryan O'Donnell, Ronitt Rubinfeld, Rocco A. Servedio	Testing (Subclasses of) Halfspaces.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Frank Hellweg, Melanie Schmidt 0001, Christian Sohler	Testing Euclidean Spanners.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Arnab Bhattacharyya 0001, Victor Chen, Madhu Sudan 0001, Ning Xie 0002	Testing Linear-Invariant Non-linear Properties: A Short Report.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Ilan Newman	Property Testing of Massively Parametrized Problems - A Survey.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Victor Chen	Query-Efficient Dictatorship Testing with Perfect Completeness.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Oded Goldreich 0001, Dana Ron	Algorithmic Aspects of Property Testing in the Dense Graphs Model.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Oded Goldreich 0001	A Brief Introduction to Property Testing.	Property Testing	2010	DBLP DOI BibTeX RDF
30	Alexander Schliep, Nicolas Thierry-Mieg, Amin Shokrollahi	08301 Final Report - Group Testing in the Life Sciences.	Group Testing in the Life Sciences	2008	DBLP BibTeX RDF
30	Jessica Chen, Robert M. Hierons, Hasan Ural	Testing in the Distributed Test Architecture.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
30	Mirko Conrad	Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES).	Perspectives of Model-Based Testing	2004	DBLP BibTeX RDF
30	Kirsten Berkenkötter, Raimund Kirner	Real-Time and Hybrid Systems Testing.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
30	Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans	04371 Summary - Perspectives of Model-Based Testing.	Perspectives of Model-Based Testing	2004	DBLP BibTeX RDF
30	Pieter W. M. Koopman	Testing with Functions as Specifications.	Perspectives of Model-Based Testing	2004	DBLP BibTeX RDF
30	Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans	04371 Abstracts Collection - Perspectives of Model-Based Testing.	Perspectives of Model-Based Testing	2004	DBLP BibTeX RDF
30	Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen	Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work.	Perspectives of Model-Based Testing	2004	DBLP BibTeX RDF
30	Roong-Ko Doong, Phyllis G. Frankl	Case Studies on Testing Object-Oriented Programs.	Symposium on Testing, Analysis, and Verification	1991	DBLP DOI BibTeX RDF
30	Elaine J. Weyuker, Stewart N. Weiss, Richard G. Hamlet	Comparison of Program Testing Strategies.	Symposium on Testing, Analysis, and Verification	1991	DBLP DOI BibTeX RDF	DEBUG
30	Gordon Kotik, Lawrence Markosian	Automating Software Analysis and Testing Using a Program Transformation System.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF	C
30	Bingchiang Jeng, Elaine J. Weyuker	Some Observations on Partition Testing.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
30	Bernd Walter	Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani	A Calculus for Protocol Specification and Validation.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	S. Aggarwal, Robert P. Kurshan	Modelling Elapsed Time in Protocol Specification.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Yechiam Yemini, Nihal Nounou	CUPID: A Protocol Development Environment.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	F. Mark Restorick	Implementation of a Protocol in an Assembly Language.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Luigi Logrippo	"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Omar Rafiq, Jean-Pierre Ansart	VADILOC - A Protocol Validator and Its Applications.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Richard J. Linn Jr., W. H. McCoy	Producing Tests for Implementations of OSI Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	S. Aggarwal, Robert P. Kurshan, D. Sharma	A Language for the Specification and Analysis of Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen	Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	George A. Harvey	The Routing Certification System.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt	Interval Logic: A Higher-Level Temporal Logic for Protocol Specification.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	D. Rayner	Towards an Objective Understanding of Conformance.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Hasan Ural, Robert L. Probert	User-Guided Test Sequence Generation.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Hans Eckert, Rainer Prinoth	A Computation-System Based Method for Automated Proving of Protocols Against Services.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Deepinder P. Sidhu	Protocol Verification via Executable Logic Specifications.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Jean-Francois Billiard	Methodology and Tools for Qualitative Protocols Validation.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Günter Karjoth	A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Guy Juanole, B. Algayres	Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Heiko Krumm, Oswald Drobnik	Specification, Implementation, and Verification of Communication Services on the Basis of CIL.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Jean-Michel Ayache, Jean-Pierre Courtiat	LC/1, A Specification and Implementation Language for Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Jean-Pierre Ansart, V. Chari, D. Simon	From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language).	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Stanislaw Budkowski, Elie Najm	Structured Finite State Automata - A new approach for modelling distributed communications systems.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Gerard J. Holzmann, Rob A. Beukers	The Pandora Protocol Development System.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Alan E. Baratz, Adrian Segall	A Reliable Link Initialization Procedure.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Harry Rudin	From Formal Protocol Specification Towards Automated Performance Prediction.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Jonathan Billington	Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Robert E. Strom, Shaula Yemini	Design, Implementation, and Validation of Secure Communications Systems.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Gerard Florin, Stéphane Natkin, A. Woog, J. Attal	Quantitative Validation for Industrial Ethernet Local Networks.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Mohamed G. Gouda	An Example for Constructing Communicating Machines by Step-Wise Refinement.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Rune Gustavsson, Björn Pehrson	The Power of some Formal Models of Distributed Computing.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Carl A. Sunshine	Experience with automated Protocol Verification.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Miguel Menasche, Bernard Berthomieu	Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Thomas P. Blumer, Deepinder P. Sidhu	Experience with an Automated Protocol Development System.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	W. Ansaldi, C. Boccalini, M. Olobardi, A. M. Traverso	Design of a Transport Layer Protocol for a Special Purpose LAN.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	Björn Pehrson	Abstraction by Structural Reduction.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
30	George Din	TTCN-3.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
30	Valéry Tschaen	Test Generation Algorithms Based on Preorder Relations.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
30	Byoungju Choi, Aditya P. Mathur, Brian Pattison	PMothra: Scheduling Mutants for Execution on a Hypercube.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
30	Rami R. Razouk, Michael M. Gorlick	Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
28	Tomoo Inoue, Hironori Maeda, Hideo Fujiwara	A scheduling problem in test generation.	VTS	1995	DBLP DOI BibTeX RDF	test generation schedule, testing cost, dominating probability, ISCAS'85 benchmark circuits, combinational logic circuit testing, scheduling, logic testing, probability, integrated circuit testing, combinational circuits, automatic testing, test-pattern generation, processing time, scheduling problem
28	Peter M. Kruse, Joachim Wegener, Stefan Wappler	A highly configurable test system for evolutionary black-box testing of embedded systems.	GECCO	2009	DBLP DOI BibTeX RDF	antilock-braking-system, hardware-in-the-loop-testing, testing infrastructure, functional testing, evolutionary testing
28	Ahmed Khoumsi	A new method for testing real time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time systems testing, test sequence executability, test sequence execution, real-time systems, constraints, automatic test pattern generation, program testing, timed automata, conformance testing, conformance testing, sequences, test case generation, automata theory, state explosion, test architecture, test sequence generation, continuous-time systems
28	Ákos Hajnal, István Forgács	An Applicable Test Data Generation Algorithm for Domain Errors.	ISSTA	1998	DBLP DOI BibTeX RDF	border testing, domain testing, testing criterion, software testing, automated test data generation
28	Ajay Khoche, Erik Brunvand	A partial scan methodology for testing self-timed circuits.	VTS	1995	DBLP DOI BibTeX RDF	partial scan methodology, control section testing, macromodule based circuits, sequential network, logic testing, integrated circuit testing, design for testability, logic design, asynchronous circuits, fault coverage, stuck-at faults, integrated logic circuits, boundary scan testing, self-timed circuits
28	O. A. Petlin, Stephen B. Furber	Scan testing of micropipelines.	VTS	1995	DBLP DOI BibTeX RDF	asynchronous VLSI circuit design, AMULET1 microprocessor, scan test technique, data processing blocks, combinational processing logic, state holding elements, test generation techniques, VLSI, logic testing, delays, integrated circuit testing, design for testability, logic design, asynchronous circuits, fault location, integrated circuit design, microprocessor chips, delay faults, boundary scan testing, computer testing, test patterns, single stuck-at faults, micropipelines