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 |