|
|
|
|
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.  |
MBT@ETAPS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Malte Lochau, Ursula Goltz |
Feature Interaction Aware Test Case Generation for Embedded Control Systems. |
MBT@ETAPS |
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. |
MBT@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu |
Handling State-Machines Specifications with GATeL. |
MBT@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai |
Model-Based Testing 2010: Short Abstracts. |
MBT@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Winfried Dulz, Stefan Holpp, Reinhard German |
A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models. |
MBT@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Owe, Martin Steffen, Arild B. Torjusen |
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. |
MBT@ETAPS |
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 |
MBT@ETAPS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Leonidas Tsiopoulos, Manoranjan Satpathy |
Model Based Testing of a Network-on-Chip Component. |
MBT@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Harald Brandl, Franz Wotawa |
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. |
MBT@ETAPS |
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. |
MBT@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. |
MBT@ETAPS |
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. |
MBT@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anika Schumann, Martin Sachenbacher, Jinbo Huang |
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs. |
MBT@ETAPS |
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. |
MBT@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Percy Antonio Pari Salas, Padmanabhan Krishnan |
Automated Software Testing of Asynchronous Systems. |
MBT@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Willibald Krenn, Bernhard K. Aichernig |
Test Case Generation by Contract Mutation in Spec#. |
MBT@ETAPS |
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 |
MBT@ETAPS |
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. |
MBT@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa |
Improving Fault-based Conformance Testing. |
MBT@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Pons, Diego García |
A Lightweight Approach for the Semantic Validation of Model Refinements. |
MBT@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. |
MBT@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Lukas Brügger, Burkhart Wolff |
Verifying Test-Hypotheses: An Experiment in Test and Proof. |
MBT@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Model-based Security Testing Using UMLsec: A Case Study. |
MBT@ETAPS |
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. |
MBT@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
Cooperative Testing of Timed Systems. |
MBT@ETAPS |
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 |
MBT@ETAPS |
2008 |
DBLP BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license