Search results for "model-based testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting	A subset of precise UML for model-based testing.	A-MOST	2007	DBLP DOI BibTeX RDF	UML, model-based testing, OCL
4	Leila Naslavsky, Hadar Ziv, Debra J. Richardson	Towards traceability of model-based testing artifacts.	A-MOST	2007	DBLP DOI BibTeX RDF	model-driven development, traceability, model-based testing
4	Alexander Pretschner, Martin Leucker	Model-Based Testing - A Glossary.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
3	Thomas Tamisier, Hind Bouzite, Christophe Louis, Yves Gaffinet, Fernand Feltz	Model Based Testing for Horizontal and Vertical Collaboration in Embedded Systems Development.	CDVE	2009	DBLP DOI BibTeX RDF	Collaborative test, Embedded systems, Model Based Testing
3	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
3	Nicolae Paladi, Thomas Arts	Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	QuickCheck, amnesia, formal specifications, model based testing, erlang, business rules
3	Stephan Weißleder	Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation.	MoDELS	2009	DBLP DOI BibTeX RDF	Industrial Cooperation, Model-Based Testing, State Machines, Mutation Analysis, Coverage Criteria
3	Neil Walkinshaw, John Derrick, Qiang Guo	Iterative Refinement of Reverse-Engineered Models by Model-Based Testing.	FM	2009	DBLP DOI BibTeX RDF	Reverse engineering, model-based testing, Erlang
3	Erika Mir Olimpiew, Hassan Gomaa	Reusable Model-Based Testing.	ICSR	2009	DBLP DOI BibTeX RDF	Reuse, requirements, software product lines, model-based testing, feature model, decision tables, activity diagrams, use case model
3	Bill Hasling, Helmut Goetz, Klaus Beetz	Model Based Testing of System Requirements using UML Use Case Models.	ICST	2008	DBLP DOI BibTeX RDF	UML, Model Based Testing, Requirements Tracing
3	Eckard Bringmann, Andreas Krämer	Model-Based Testing of Automotive Systems.	ICST	2008	DBLP DOI BibTeX RDF	continuous behavior testing, closed loop testing, Model-based testing, test automation, automotive systems
3	Pedro de Alcântara dos Santos Neto, Rodolfo F. Resende, Clarindo Isaías Pereira da Silva e Pádua	An evaluation of a model-based testing method for information systems.	SAC	2008	DBLP DOI BibTeX RDF	software testing, model-based testing, testing automation, test requirements
3	Jonas Boberg	Early fault detection with model-based testing.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	model-based testing, system testing
3	Eduardo Aranha, Paulo Borba	Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach.	ICSP	2008	DBLP DOI BibTeX RDF	test design effort, process improvement assessment, model-based testing, technology adoption, process simulation
3	Arilo Claudio Dias Neto, Guilherme Horta Travassos	Surveying model based testing approaches characterization attributes.	ESEM	2008	DBLP DOI BibTeX RDF	software testing, survey, model-based testing, experimental software engineering
3	Marlon Vieira, Xiping Song, Gilberto Matos, Stephan Storck, Rajanikanth Tanikella, William M. Hasling	Applying model-based testing to healthcare products: preliminary experiences.	ICSE	2008	DBLP DOI BibTeX RDF	healthcare software systems, model-based testing
3	Leila Naslavsky, Hadar Ziv, Debra J. Richardson	Towards leveraging model transformation to support model-based testing.	ASE	2007	DBLP DOI BibTeX RDF	model-driven development, traceability, model-based testing
3	Pedro de Alcântara dos Santos Neto, Rodolfo F. Resende, Clarindo Isaías Pereira da Silva e Pádua	Requirements for information systems model-based testing.	SAC	2007	DBLP DOI BibTeX RDF	software testing, model-based testing, testing automation, test requirements
3	Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman	Achieving both model and code coverage with automated gray-box testing.	A-MOST	2007	DBLP DOI BibTeX RDF	parameterized unit testing, model-based testing, symbolic execution, test-case generation, concolic execution
3	Wolfgang Grieskamp, Debra Richardson, Clay E. Williams	OOPSLA'06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS).	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	model-based testing, object-oriented testing
3	Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans	04371 Abstracts Collection - Perspectives of Model-Based Testing.	Perspectives of Model-Based Testing	2004	DBLP BibTeX RDF
3	Alexander Pretschner, Jan Philipps	Methodological Issues in Model-Based Testing.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
3	Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans	04371 Summary - Perspectives of Model-Based Testing.	Perspectives of Model-Based Testing	2004	DBLP BibTeX RDF
3		Part VII. Appendices.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
3	Wolfgang Prenninger, Mohammad El-Ramly, Marc Horstmann	Case Studies.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
3		Part II. Testing of Labeled Transition Systems.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
2	Yevgeny Gerlits, Alexey V. Khoroshilov	Model-Based Testing of Safety Critical Real-Time Control Logic Software	MBT	2012	DBLP DOI BibTeX RDF
2	Andre Takeshi Endo, Adenilso da Silva Simão	Model-Based Testing of Service-Oriented Applications via State Models.	IEEE SCC	2011	DBLP DOI BibTeX RDF	web services, service oriented architecture, finite state machines, model based testing
2	Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini	Model Based Testing and Abstract Interpretation in the Railway Signaling Context.	ICST	2010	DBLP DOI BibTeX RDF	abstract interpretation, model based testing, safety critical, railway signaling
2	Michael Mlynarski	Holistic Model-Based Testing for Business Information Systems.	ICST	2010	DBLP DOI BibTeX RDF	model transformation, model-based testing, test selection, test design, test model
2	Hassan Reza, Suhas Lande	Model Based Testing Using Software Architecture.	ITNG	2010	DBLP DOI BibTeX RDF	HPrTNs, Software Architecture, Software Testing, Model-Based testing, Architectural Description Languages (ADLs), acme
2	Fredrik Abbors, Andreas Backlund, Dragos Truscan	MATERA - An Integrated Framework for Model-Based Testing.	ECBS	2010	DBLP DOI BibTeX RDF	Model-Based Testing, Model Validation, Requirements Traceability
2	Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius	Model-Based Testing Using System vs. Test Models - What Is the Difference?.	ECBS	2010	DBLP DOI BibTeX RDF	UML bases testing, Model-based testing, System models, Test models
2	Sebastian Wieczorek, Alin Stefanescu	Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces.	ECBS	2010	DBLP DOI BibTeX RDF	UI Testing, System-level Testing, Service-oriented Architecture, Model-based Testing, Enterprise Systems
2	Padmanabhan Krishnan, Percy Antonio Pari Salas	Data generation in model-based testing.	SAC	2010	DBLP DOI BibTeX RDF
2	Qaisar A. Malik, Johan Lilius, Linas Laibinis	Model-Based Testing Using Scenarios and Event-B Refinements.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
2	Maximiliano Cristiá, Pablo Rodríguez Monetti	Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing.	ICFEM	2009	DBLP DOI BibTeX RDF
2	Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur	Model-Based Testing of Electronic Passports.	FMICS	2009	DBLP DOI BibTeX RDF
2	Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, Paul L. Jones	Model-Based Testing of GUI-Driven Applications.	SEUS	2009	DBLP DOI BibTeX RDF
2	Padmanabhan Krishnan, Percy Antonio Pari Salas	Model-Based Testing and the UML Testing Profile.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
2	Yunwei Dong, Geng Wang, Hong-bing Zhao	A Model-Based Testing for AADL Model of Embedded Software.	QSIC	2009	DBLP DOI BibTeX RDF	Architecture Analyze and Design Language (AADL), Markov Chain, Model-based Testing, Error Model
2	Cyrille Artho	Separation of Transitions, Actions, and Exceptions in Model-Based Testing.	EUROCAST	2009	DBLP DOI BibTeX RDF
2	Arilo Claudio Dias Neto, Guilherme Horta Travassos	Evaluation of model-based testing techniques selection approaches: An external replication.	ESEM	2009	DBLP DOI BibTeX RDF
2	Andrey Sadovykh, Lionel Vigier, Eduardo Gomez, Andreas Hoffmann, Juergen Grossmann, Oleg Estekhin	On Study Results: Round Trip Engineering of Space Systems.	ECMDA-FA	2009	DBLP DOI BibTeX RDF	M2M, PSM2PIM, U2TP, model mining, model metrication, MDA, model-based testing, TTCN-3, ADM, round trip engineering
2	Pulei Xiong, Bernard Stepien, Liam Peyton	Model-Based Penetration Test Framework for Web Applications Using TTCN-3.	MCETECH	2009	DBLP DOI BibTeX RDF	model-based testing, TTCN-3, web application security, test specification, penetration testing
2	Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker	Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	Service Choreography Models, Model Checking, Formal Methods, Model-based Testing, Integration Testing
2	Arilo Claudio Dias Neto, Rajesh Subramanyan, Marlon Vieira, Guilherme Horta Travassos, Forrest Shull	Improving Evidence about Software Technologies: A Look at Model-Based Testing.	IEEE Software	2008	DBLP DOI BibTeX RDF
2	Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer	Model-Based Testing of Thin-Client Web Applications and Navigation Input.	PADL	2008	DBLP DOI BibTeX RDF
2	Hassan Reza, Kirk Ogaard, Amarnath Malge	A Model Based Testing Technique to Test Web Applications Using Statecharts.	ITNG	2008	DBLP DOI BibTeX RDF	Web applications, model-based testing, Statecharts, test coverage, GUI testing
2	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
2	Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson	Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
2	Jan Tretmans	Model Based Testing with Labelled Transition Systems.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
2	Frédéric Dadeau, Adrien De Kermadec, Régis Tissot	Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance.	ABZ	2008	DBLP DOI BibTeX RDF	B machine, symbolic animation, POSIX challenge, scenarios, Model-Based Testing
2	Vincent Pretre, Fabrice Bouquet, Christophe Lang	Automating UML models merge for web services testing.	iiWAS	2008	DBLP DOI BibTeX RDF	web services, UML, model based testing
2	Emanuela G. Cartaxo, Wilkerson de L. Andrade, Francisco G. Oliveira Neto, Patrícia D. L. Machado	LTS-BT: a tool to generate and select functional test cases for embedded systems.	SAC	2008	DBLP DOI BibTeX RDF	generation, selection, model-based testing
2	Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden	Model-Based Quality Assurance of Windows Protocol Documentation.	ICST	2008	DBLP DOI BibTeX RDF	Spec Explorer, Test-driven, Protocols, Model-based testing, Quality Assurance
2	Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik, Andrea Baldini	A Comparative Evaluation of Tests Generated from Different UML Diagrams.	SNPD	2008	DBLP DOI BibTeX RDF	Software Testing, Model-based Testing, UML Diagram
2	Neil Walkinshaw, Kirill Bogdanov, Ken Johnson	Evaluation and Comparison of Inferred Regular Grammars.	ICGI	2008	DBLP DOI BibTeX RDF	State-Merging, FSM Testing, Evaluation, Model-Based Testing, Precision and Recall
2	Achim D. Brucker, Lukas Brügger, Burkhart Wolff	Model-Based Firewall Conformance Testing.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Model-based Testing, Firewall, Conformance Testing, Security Testing
2	Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil	Test Purpose Concretization through Symbolic Action Refinement.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Symbolic Conformance Testing, Test Purpose Concretisation, Model Based Testing, Action Refinement, Test Purpose
2	Stephan Schulz, Jukka Honkola, Antti Huima	Towards Model-Based Testing with Architecture Models.	ECBS	2007	DBLP DOI BibTeX RDF
2	Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti	Instantiation of Parameterized Data Structures for Model-Based Testing.	B	2007	DBLP DOI BibTeX RDF
2	Eddie Jaffuel	Using B Machines for Model-Based Testing of Smartcard Software.	B	2007	DBLP DOI BibTeX RDF
2	Sergey V. Zelenov, Sophia A. Zelenova	Model-Based Testing of Optimizing Compilers.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	compiler testing, formalization of requirements, formal data model, model based testing, test data generation
2	László Gönczy, Reiko Heckel, Dániel Varró	Model-Based Testing of Service Infrastructure Components.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	Fault-Tolerant Services, Model Checking, Model-based testing, Graph Transformation
2	Vesa Luukkala, Ian Oliver	Model Based Testing of an Embedded Session and Transport Protocol.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
2	Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois	Automatic generation of model based tests for a class of security properties.	A-MOST	2007	DBLP DOI BibTeX RDF	security policy, automatic test generation, security properties
2	Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Aamer Nadeem	An approach for selective state machine based regression testing.	A-MOST	2007	DBLP DOI BibTeX RDF	UML, model based testing, regression testing
2	Sebastian Benz	Combining test case generation for component and integration testing.	A-MOST	2007	DBLP DOI BibTeX RDF	verification, model based testing, integration testing, automatic test case generation
2	Manoranjan Satpathy, S. Ramesh	Test case generation from formal models through abstraction refinement and model checking.	A-MOST	2007	DBLP DOI BibTeX RDF	counterexample guided abstraction refinement, model based testing, B-method
2	Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa	Test purpose generation in an industrial application.	A-MOST	2007	DBLP DOI BibTeX RDF	fault-based test purposes, test purpose design, model-based testing, protocol conformance testing
2	Yanping Chen, Robert L. Probert, Hasan Ural	Model-based regression test suite generation using dependence analysis.	A-MOST	2007	DBLP DOI BibTeX RDF	regression test suite construction, regression testing, data dependence, control dependence, extended finite state machine
2	Leila Naslavsky, Debra J. Richardson	Using traceability to support model-based regression testing.	ASE	2007	DBLP DOI BibTeX RDF	model-driven development, traceability, model-based testing
2	Laisa H. O. do Nascimento, Patrícia D. L. Machado	An experimental evaluation of approaches to feature testing in the mobile phone applications domain.	DOSTA	2007	DBLP DOI BibTeX RDF	GQM paradigm, exploratory testing, feature testing, software testing, model-based testing
2	Atifah Ali, Aamer Nadeem, Muhammad Zohaib Z. Iqbal, Muhammad Usman	Regression Testing Based on UML Design Models.	PRDC	2007	DBLP DOI BibTeX RDF	Change identification, UML based testing, Model based testing, Regression testing, Test case selection
2	Anders Hessel, Paul Pettersson	Model-Based Testing of a WAP Gateway: An Industrial Case-Study.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
2	Lars Frantzen, Jan Tretmans	Model-Based Testing of Environmental Conformance of Components.	FMCO	2006	DBLP DOI BibTeX RDF
2	Qing Xie, Atif M. Memon	Model-Based Testing of Community-Driven Open-Source GUI Applications.	ICSM	2006	DBLP DOI BibTeX RDF
2	Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mikko Satama	Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach.	TAIC PART	2006	DBLP DOI BibTeX RDF
2	Lars Frantzen, Jan Tretmans, Tim A. C. Willemse	A Symbolic Framework for Model-Based Testing.	FATES/RV	2006	DBLP DOI BibTeX RDF
2	Wolfgang Grieskamp	Multi-paradigmatic Model-Based Testing.	FATES/RV	2006	DBLP DOI BibTeX RDF
2	Avik Sinha, Carol Smidts	HOTTest: A model-based test design technique for enhanced testing of domain-specific applications.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	HaskellDB, database-specific test case generation, domain-specific testing, test generation tools, domain-specific languages, Haskell, model-based testing, Test case generation
2	Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius	Synthesis of Scenario Based Test Cases from B Models.	FATES/RV	2006	DBLP DOI BibTeX RDF	Scenarios, Model Based Testing, B-Method
2	Carsten Wegener, Michael Peter Kennedy	Overcoming Test Setup Limitations by Applying Model-Based Testing to High-Precision ADCs.	J. Electronic Testing	2005	DBLP DOI BibTeX RDF	model-based ADC test, device interface parasitics, Design-for-Test
2	Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)	Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]	Model-Based Testing of Reactive Systems	2005	DBLP BibTeX RDF
2	Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans (eds.)	Perspectives of Model-Based Testing, 5.-10. September 2004	Perspectives of Model-Based Testing	2005	DBLP BibTeX RDF
2	Ashish Jain	Model-Based Testing for Enterprise Software Solutions.	COMPSAC	2005	DBLP DOI BibTeX RDF
2	Mark Utting	The Role of Model-Based Testing.	VSTTE	2005	DBLP DOI BibTeX RDF
2	Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara	Model-Based Testing Through a GUI.	FATES	2005	DBLP DOI BibTeX RDF
2	Dean Rosenzweig, Davor Runje, Wolfram Schulte	Model-Based Testing of Cryptographic Protocols.	TGC	2005	DBLP DOI BibTeX RDF
2	Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, Thomas Stauner	One evaluation of model-based testing and its automation.	ICSE	2005	DBLP DOI BibTeX RDF	abstraction, coverage, test case generation, CASE, model-based development, automotive software
2	Alexander Pretschner	Model-based testing.	ICSE	2005	DBLP DOI BibTeX RDF	coverage, development processes, model-based development
2	Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting	Requirements traceability in automated test generation: application to smart card software validation.	A-MOST	2005	DBLP DOI BibTeX RDF	model-based testing, formal model, requirements traceability
2	Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting	Requirements traceability in automated test generation: application to smart card software validation.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	model-based testing, formal model, requirements traceability
2	Shane Bracher, Padmanabhan Krishnan	Enabling Security Testing from Specification to Code.	IFM	2005	DBLP DOI BibTeX RDF	protocol descriptions, concrete test sequences, model-based testing, security modelling
2	Victor V. Kuliamin, Nick V. Pakoulin, Alexandre Petrenko	Practical Approach to Specification and Conformance Testing of Distributed Network Applications.	ISAS	2005	DBLP DOI BibTeX RDF	asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
2	Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel	Model-based testing for real.	STTT	2004	DBLP DOI BibTeX RDF	Model checking, Symbolic execution, Behavior models, Test case generation
2	Jonathan Jacky	Model-Based Testing with Spec#.	ICFEM	2004	DBLP DOI BibTeX RDF
2	Padmanabhan Krishnan	Uniform Descriptions for Model Based Testing.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF
2	Alan Hartman, Kenneth Nagin	The AGEDIS tools for model based testing.	ISSTA	2004	DBLP DOI BibTeX RDF	test execution framework, validation, UML modeling, coverage analysis, automated test generation, defect analysis