The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "MBT@ETAPS"( http://dblp.L3S.de/Venues/MBT@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/mbt

Publication years (Num. hits)
2008 (9) 2009 (10) 2010 (8)
Publication types (Num. hits)
inproceedings(24) proceedings(3)
Venues (Conferences, Journals, ...)
MBT@ETAPS(27)
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
1Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko Preface. Search on Bibsonomy MBT@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Malte Lochau, Ursula Goltz Feature Interaction Aware Test Case Generation for Embedded Control Systems. Search on Bibsonomy MBT@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Petur Olsen, Kim G. Larsen, Arne Skou Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases. Search on Bibsonomy MBT@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu Handling State-Machines Specifications with GATeL. Search on Bibsonomy MBT@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai Model-Based Testing 2010: Short Abstracts. Search on Bibsonomy MBT@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Winfried Dulz, Stefan Holpp, Reinhard German A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models. Search on Bibsonomy MBT@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Olaf Owe, Martin Steffen, Arild B. Torjusen Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. Search on Bibsonomy MBT@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bernd 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 MBT@ETAPS The full citation details ... 2010 DBLP  BibTeX  RDF
1Leonidas Tsiopoulos, Manoranjan Satpathy Model Based Testing of a Network-on-Chip Component. Search on Bibsonomy MBT@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Harald Brandl, Franz Wotawa Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. Search on Bibsonomy MBT@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Frédéric Dadeau, Régis Tissot jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. Search on Bibsonomy MBT@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko Preface. Search on Bibsonomy MBT@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Frédéric Dadeau, Jocelyn Levrey, Pierre-Cyrille Héam On the Use of Uniform Random Generation of Automata for Testing. Search on Bibsonomy MBT@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Anika Schumann, Martin Sachenbacher, Jinbo Huang Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs. Search on Bibsonomy MBT@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Moonzoo Kim, Shin Hong, Changki Hong, Taeho Kim Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay. Search on Bibsonomy MBT@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Percy Antonio Pari Salas, Padmanabhan Krishnan Automated Software Testing of Asynchronous Systems. Search on Bibsonomy MBT@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Willibald Krenn, Bernhard K. Aichernig Test Case Generation by Contract Mutation in Spec#. Search on Bibsonomy MBT@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bernd 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 MBT@ETAPS The full citation details ... 2009 DBLP  BibTeX  RDF
1Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier j-POST: a Java Toolchain for Property-Oriented Software Testing. Search on Bibsonomy MBT@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa Improving Fault-based Conformance Testing. Search on Bibsonomy MBT@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Claudia Pons, Diego García A Lightweight Approach for the Semantic Validation of Model Refinements. Search on Bibsonomy MBT@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko Preface. Search on Bibsonomy MBT@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Achim D. Brucker, Lukas Brügger, Burkhart Wolff Verifying Test-Hypotheses: An Experiment in Test and Proof. Search on Bibsonomy MBT@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jan Jürjens Model-based Security Testing Using UMLsec: A Case Study. Search on Bibsonomy MBT@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet Coverage-biased Random Exploration of Models. Search on Bibsonomy MBT@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen Cooperative Testing of Timed Systems. Search on Bibsonomy MBT@ETAPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bernd 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 MBT@ETAPS The full citation details ... 2008 DBLP  BibTeX  RDF
Displaying result #1 - #27 of 27 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license