|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten |
Model-Based Testing of Thin-Client Web Applications.  |
FATES/RV  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cormac Flanagan, Stephen N. Freund |
Dynamic Architecture Extraction. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Grieskamp |
Multi-paradigmatic Model-Based Testing. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michiel van Osch |
Hybrid Input-Output Conformance and Test Generation. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Frantzen, Jan Tretmans, Tim A. C. Willemse |
A Symbolic Framework for Model-Based Testing. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Pritam Roy, Colin Campbell |
Online Testing with Reinforcement Learning. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand |
Safety Property Driven Test Generation from. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
JavaCard, automated testing, black-box testing, safety properties, Java Modeling Language |
| 1 | Georgios E. Fainekos, George J. Pappas |
Robustness of Temporal Logic Specifications. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
Timed State Sequences, Metric and Linear Temporal Logic, Robustness, Monitoring, Metric spaces |
| 1 | Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere |
Aspects for Trace Monitoring. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier |
A Test Calculus Framework Applied to Network Security Policies. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar |
Deterministic Dynamic Monitors for Linear-Time Assertions. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng Li, Zhe Dang |
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhan-Peep Ernits, Andres Kull, Kullo Raiend, Jüri Vain |
Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Moez Krichen, Stavros Tripakis |
State-Identification Problems for Finite-State Transducers. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Manuel Núñez 0001, Grigore Rosu, Burkhart Wolff (eds.) |
Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius |
Synthesis of Scenario Based Test Cases from B Models. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
Scenarios, Model Based Testing, B-Method |
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license