Search results for "MBT"

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