Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
93 | Marc-Florian Wendland, Jürgen Großmann, Andreas Hoffmann 0001 |
Establishing a Service-Oriented Tool Chain for the Development of Domain-Independent MBT Scenarios. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
FOKUS!MBT, MBT, UTP, Testing Metamodel, UML |
78 | Jens Grabowski, Victor V. Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Milan Zoric |
Towards the Usage of MBT at ETSI |
MBT |
2013 |
DBLP DOI BibTeX RDF |
|
76 | Antti Jääskeläinen, Mika Katara, Antti Kervinen, Henri Heiskanen, Mika Maunumaa, Tuula Pääkkönen |
Model-Based Testing Service on the Web. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
76 | J. Cook, Tariq M. Khan |
Designing a Model-Based Interaction Planner with Dialogue Analysis. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
systems design, model based reasoning, dialogue analysis |
57 | Wenbo Li, Qiuwen Zhang, Yongchuan Zhang |
Research on the Fusion Methods with High Information Preservation. |
FSKD (2) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Yuan Qi 0003, Lixin Wu, Wenfei Mao, Yifan Ding, Yingjia Liu, Xiao Wang |
Characteristic Background of Microwave Brightness Temperature (MBT) and Optimal Microwave Channels for Searching Seismic MBT Anomaly in and Around the Qinghai-Tibet Plateau. |
IEEE Trans. Geosci. Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
53 | Yuan Qi 0003, Lixin Wu, Yifan Ding, Yingjia Liu, Xiao Wang, Wenfei Mao |
Microwave Brightness Temperature (MBT) Background in Bayan Har Block, Qinghai-Tibet Plateau and Its Importance in Searching for Seismic MBT Anomalies. |
Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
51 | Nikolay V. Pakulin, Alexander K. Petrenko, Bernd-Holger Schlingloff (eds.) |
Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015. |
MBT |
2015 |
DBLP DOI BibTeX RDF |
|
51 | Natalia Kushik, Nina Yevtushenko 0001 |
Adaptive Homing is in P. |
MBT |
2015 |
DBLP DOI BibTeX RDF |
|
51 | Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino 0001 |
Using Model Checking to Generate Test Cases for Android Applications. |
MBT |
2015 |
DBLP DOI BibTeX RDF |
|
51 | Hartmut Lackner, Martin Schmidt |
Potential Errors and Test Assessment in Software Product Line Engineering. |
MBT |
2015 |
DBLP DOI BibTeX RDF |
|
51 | Paul C. Jorgensen |
A Visual Formalism for Interacting Systems. |
MBT |
2015 |
DBLP DOI BibTeX RDF |
|
51 | Marcus Gerhold, Mariëlle Stoelinga |
Ioco Theory for Probabilistic Automata. |
MBT |
2015 |
DBLP DOI BibTeX RDF |
|
51 | Holger Schlingloff, Alexander K. Petrenko (eds.) |
Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014. |
MBT |
2014 |
DBLP DOI BibTeX RDF |
|
51 | Adenilso da Silva Simão, Alexandre Petrenko |
Generating Complete and Finite Test Suite for ioco: Is It Possible? |
MBT |
2014 |
DBLP DOI BibTeX RDF |
|
51 | Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand |
Coverage Criteria for Model-Based Testing using Property Patterns. |
MBT |
2014 |
DBLP DOI BibTeX RDF |
|
51 | Christian Colombo 0001, Mark Micallef, Mark Scerri |
Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing. |
MBT |
2014 |
DBLP DOI BibTeX RDF |
|
51 | Arjan P. van der Meer, Rachid Kherrazi, Marc Hamilton |
Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques. |
MBT |
2014 |
DBLP DOI BibTeX RDF |
|
51 | Harsh Beohar, Mohammad Reza Mousavi 0001 |
Spinal Test Suites for Software Product Lines. |
MBT |
2014 |
DBLP DOI BibTeX RDF |
|
51 | Alexander K. Petrenko, Holger Schlingloff (eds.) |
Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013. |
MBT |
2013 |
DBLP DOI BibTeX RDF |
|
51 | Neda Noroozi, Mohammad Reza Mousavi 0001, Tim A. C. Willemse |
Decomposability in Input Output Conformance Testing |
MBT |
2013 |
DBLP DOI BibTeX RDF |
|
51 | Stephan Weißleder, Hartmut Lackner |
Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines |
MBT |
2013 |
DBLP DOI BibTeX RDF |
|
51 | Mikhail M. Chupilko, Alexander S. Kamkin |
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces |
MBT |
2013 |
DBLP DOI BibTeX RDF |
|
51 | Isabel Nunes, Filipe Luís |
Testing Java implementations of algebraic specifications |
MBT |
2013 |
DBLP DOI BibTeX RDF |
|
51 | Jan Peleska 0001 |
Industrial-Strength Model-Based Testing - State of the Art and Current Challenges |
MBT |
2013 |
DBLP DOI BibTeX RDF |
|
51 | Alexander K. Petrenko, Holger Schlingloff (eds.) |
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012. |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
51 | Gerjan Stokkink, Mark Timmer, Mariëlle Stoelinga |
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
51 | Bernhard K. Aichernig, Elisabeth Jöbstl |
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
51 | Ina Schieferdecker, Juergen Grossmann, Martin A. Schneider |
Model-Based Security Testing |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
51 | Yevgeny Gerlits, Alexey V. Khoroshilov |
Model-Based Testing of Safety Critical Real-Time Control Logic Software |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
51 | Danel Ahman, Marko Kääramees |
Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
51 | Dimitry Polivaev |
Rule-based Test Generation with Mind Maps |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
51 | Teemu Kanstrén, Olli-Pekka Puolitaival |
Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
51 | Jan Olaf Blech, Dongyue Mou, Daniel Ratiu |
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
51 | Maximiliano Cristiá, Claudia S. Frydman |
Applying SMT Solvers to the Test Template Framework |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
51 | Dirk Richter, Christian Berg |
Exact Gap Computation for Code Coverage Metrics in ISO-C |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
51 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko (eds.) |
Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007 |
MBT |
2007 |
DBLP BibTeX RDF |
|
51 | Anders Hessel, Paul Pettersson |
A Global Algorithm for Model-Based Test Suite Generation. |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Gordon Fraser 0001, Bernhard K. Aichernig, Franz Wotawa |
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Frédéric Dadeau, Yves Ledru, Lydie du Bousquet |
Measuring a Java Test Suite Coverage Using JML Specifications. |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Franco Raimondi, Charles Pecheur, Guillaume Brat |
Testing Planning Domains (without Model Checkers). |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal |
Towards the Integration of Visual and Formal Models for GUI Testing. |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Maik Kollmann, Yuen Man Hon |
Generating Scenarios by Multi-Object Checking. |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Martin Ouimet, Kristina Lundqvist |
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver. |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti |
A Case Study in Matching Test and Proof Coverage. |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Sergiy Boroday, Alexandre Petrenko, Roland Groz |
Can a Model Checker Generate Tests for Non-Deterministic Systems? |
MBT |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko (eds.) |
Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006 |
MBT |
2006 |
DBLP BibTeX RDF |
|
51 | Bernhard K. Aichernig, Chris George |
When Model-based Testing Fails. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Daniel Aguiar da Silva, Patrícia D. L. Machado |
Towards Test Purpose Generation from CTL Properties for Reactive Systems. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Antti Kervinen, Mika Maunumaa, Mika Katara |
Controlling Testing Using Three-Tier Model Architecture. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Robert Nilsson, Jeff Offutt, Jonas Mellin |
Test Case Generation for Mutation-based Testing of Timeliness. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
51 | N. C. W. M. Braspenning, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda |
A Model-based Integration and Testing Method to Reduce System Development Effort. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Constantinos Djouvas, Nancy D. Griffeth, Nancy A. Lynch |
Testing Self-Similar Networks. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin |
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Mirko Conrad, Alexander Krupp |
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok |
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. |
MBT |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Yuri Gurevich, Alexander K. Petrenko (eds.) |
Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004 |
MBT |
2005 |
DBLP BibTeX RDF |
|
51 | Keith Stobie |
Model Based Testing in Practice at Microsoft. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Antti Kervinen, Pablo Virolainen |
Heuristics for Faster Error Detection With Automated Black Box Testing. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Mirko Conrad, Ines Fey, Sadegh Sadeghipour |
Systematic Model-Based Testing of Embedded Automotive Software. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Yuri Gurevich, Alexander K. Petrenko, Alexander S. Kossatchev |
Preface. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Victor V. Kuliamin |
Multi-paradigm Models as Source for Automated Test Construction. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Bruno Marre, Benjamin Blanc |
Test Selection Strategies for Lustre Descriptions in GATeL. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Manoranjan Satpathy, Michael Leuschel, Michael J. Butler |
ProTest: An Automatic Test Environment for B Specifications. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Seung Mo Cho, Jae Wook Lee |
Lightweight Specification-based Testing of Memory Cards: A Case Study. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Giuseppe Scollo, Silvia Zecchini |
Architectural Unit Testing. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Hans-Gerhard Groß, Ina Schieferdecker, George Din |
Model-Based Built-In Tests. |
MBT |
2004 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. |
MBT@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
50 | Malte Lochau, Ursula Goltz |
Feature Interaction Aware Test Case Generation for Embedded Control Systems. |
MBT@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu |
Handling State-Machines Specifications with GATeL. |
MBT@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
50 | Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai |
Model-Based Testing 2010: Short Abstracts. |
MBT@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | Olaf Owe, Martin Steffen, Arild B. Torjusen |
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. |
MBT@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | Leonidas Tsiopoulos, Manoranjan Satpathy |
Model Based Testing of a Network-on-Chip Component. |
MBT@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
50 | Bernhard K. Aichernig, Harald Brandl, Franz Wotawa |
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. |
MBT@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. |
MBT@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | Anika Schumann, Martin Sachenbacher, Jinbo Huang |
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs. |
MBT@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | Percy Antonio Pari Salas, Padmanabhan Krishnan |
Automated Software Testing of Asynchronous Systems. |
MBT@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
50 | Willibald Krenn, Bernhard K. Aichernig |
Test Case Generation by Contract Mutation in Spec#. |
MBT@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | 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 |
|
50 | Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa |
Improving Fault-based Conformance Testing. |
MBT@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Claudia Pons, Diego García |
A Lightweight Approach for the Semantic Validation of Model Refinements. |
MBT@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko |
Preface. |
MBT@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Achim D. Brucker, Lukas Brügger, Burkhart Wolff |
Verifying Test-Hypotheses: An Experiment in Test and Proof. |
MBT@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Jan Jürjens |
Model-based Security Testing Using UMLsec: A Case Study. |
MBT@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
Cooperative Testing of Timed Systems. |
MBT@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Arilo Claudio Dias Neto, Guilherme Horta Travassos |
Evaluation of model-based testing techniques selection approaches: An external replication. |
ESEM |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Leila Naslavsky, Hadar Ziv, Debra J. Richardson |
A model-based regression test selection technique. |
ICSM |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Andrey Sadovykh, Lionel Vigier, Andreas Hoffmann 0001, Jürgen Großmann, Tom Ritter, Eduardo Gomez, Oleg Estekhin |
Architecture Driven Modernization in Practice - Study Results. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin |
MBT4Chor: A Model-Based Testing Approach for Service Choreographies. |
ECMDA-FA |
2009 |
DBLP DOI BibTeX RDF |
Choreography Modeling, SOA, Model Transformation, Domain Specific Language, Model-Based Testing, Service Integration |