|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010, pp. 1, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Malte Lochau, Ursula Goltz |
Feature Interaction Aware Test Case Generation for Embedded Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010, pp. 37-52, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Petur Olsen, Kim G. Larsen, Arne Skou |
Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010, pp. 53-68, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu |
Handling State-Machines Specifications with GATeL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010, pp. 3-17, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai |
Model-Based Testing 2010: Short Abstracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010, pp. 85-99, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Winfried Dulz, Stefan Holpp, Reinhard German |
A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010, pp. 19-35, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Owe, Martin Steffen, Arild B. Torjusen |
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010, pp. 69-84, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko (eds.) |
Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Leonidas Tsiopoulos, Manoranjan Satpathy |
Model Based Testing of a Network-on-Chip Component. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009, pp. 101-116, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Harald Brandl, Franz Wotawa |
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009, pp. 53-69, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Dadeau, Régis Tissot |
jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009, pp. 117-132, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009, pp. 1, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Dadeau, Jocelyn Levrey, Pierre-Cyrille Héam |
On the Use of Uniform Random Generation of Automata for Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009, pp. 37-51, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anika Schumann, Martin Sachenbacher, Jinbo Huang |
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009, pp. 87-99, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Moonzoo Kim, Shin Hong, Changki Hong, Taeho Kim |
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009, pp. 21-36, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Percy Antonio Pari Salas, Padmanabhan Krishnan |
Automated Software Testing of Asynchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009, pp. 3-19, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Willibald Krenn, Bernhard K. Aichernig |
Test Case Generation by Contract Mutation in Spec#. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009, pp. 71-86, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko (eds.) |
Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier |
j-POST: a Java Toolchain for Property-Oriented Software Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008, pp. 29-41, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa |
Improving Fault-based Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008, pp. 63-77, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Pons, Diego García |
A Lightweight Approach for the Semantic Validation of Model Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008, pp. 43-61, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008, pp. 1, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Achim D. Brucker, Lukas Brügger, Burkhart Wolff |
Verifying Test-Hypotheses: An Experiment in Test and Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008, pp. 15-27, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jürjens |
Model-based Security Testing Using UMLsec: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008, pp. 93-104, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet |
Coverage-biased Random Exploration of Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008, pp. 3-14, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
Cooperative Testing of Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008, pp. 79-92, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko (eds.) |
Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|