Editing Model-based testing (section)

==Further reading==
*OMG UML 2 Testing Profile; [http://www.omg.org/cgi-bin/doc?formal/05-07-07.pdf]
*{{Cite conference | last1 = Bringmann | first1 = E. <!-- Eckard --> | last2 = Krämer | first2 = A. <!-- Andreas --> | title = 2008 International Conference on Software Testing, Verification, and Validation | doi = 10.1109/ICST.2008.45 | chapter = Model-Based Testing of Automotive Systems | book-title = 2008 International Conference on Software Testing, Verification, and Validation | conference = International Conference on Software Testing, Verification, and Validation (ICST)| pages = 485–493 | year = 2008 | isbn = 978-0-7695-3127-4 | chapter-url = http://www.piketec.com/downloads/papers/Kraemer2008-Model_based_testing_of_automotive_systems.pdf | citeseerx = 10.1.1.729.8107 }}
*[https://web.archive.org/web/20120201171940/http://www.cs.waikato.ac.nz/research/mbt/ ''Practical Model-Based Testing: A Tools Approach''], Mark Utting and Bruno Legeard, {{ISBN|978-0-12-372501-1}}, Morgan-Kaufmann 2007.
*[http://www.cambridge.org/us/catalogue/catalogue.asp?isbn=9780521687614 ''Model-Based Software Testing and Analysis with C#''], Jonathan Jacky, Margus Veanes, Colin Campbell, and Wolfram Schulte, {{ISBN|978-0-521-68761-4}}, Cambridge University Press 2008.
*[https://www.springer.com/west/home/computer/programming?SGWID=4-40007-22-52081580-detailsPage=ppmmedia%7CaboutThisBook ''Model-Based Testing of Reactive Systems''] Advanced Lecture Series, LNCS 3472, Springer-Verlag, 2005. {{ISBN|978-3-540-26278-7}}.
*{{cite book | author = Hong Zhu| title = AST '08: Proceedings of the 3rd International Workshop on Automation of Software Test  | url = http://portal.acm.org/citation.cfm?id=1370042# | year = 2008 | publisher = ACM Press | isbn = 978-1-60558-030-2|display-authors=etal}}
*{{Cite conference | last1 = Santos-Neto | first1 = P. | last2 = Resende | first2 = R. | last3 = Pádua | first3 = C. | title = Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 | doi = 10.1145/1244002.1244306 | chapter = Requirements for information systems model-based testing | book-title = Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 | conference = [[Symposium on Applied Computing]] | pages = 1409–1415 | year = 2007 | isbn = 978-1-59593-480-2 }}
*{{cite journal 
| last1 = Roodenrijs | first1 = E. <!-- Ewald --> 
| title = Model-Based Testing Adds Value 
| journal = Methods & Tools 
| volume = 18 
| issue = 1 
| pages = 33–39 
|date=Spring 2010 
| issn = 1661-402X
| url = http://www.methodsandtools.com/archive/archive.php?id=102
}}
*[http://squall.sce.carleton.ca/pubs/tech_report/TR_SCE-10-04.pdf ''A Systematic Review of Model Based Testing Tool Support''], Muhammad Shafique, Yvan Labiche, Carleton University, Technical Report, May 2010.
*{{cite book |editor1-last=Zander |editor1-first=Justyna |editor2-last=Schieferdecker |editor2-first=Ina |editor3-last=Mosterman |editor3-first=Pieter J. |editor3-link=Pieter Mosterman |title=Model-Based Testing for Embedded Systems |series=Computational Analysis, Synthesis, and Design of Dynamic Systems |volume=13 |year=2011 |publisher=[[CRC Press]] |location=Boca Raton |isbn=978-1-4398-1845-9}}
*[http://robertvbinder.com/wp-content/uploads/rvb-pdf/arts/MBT-User-Survey.pdf ''2011/2012 Model-based Testing User Survey: Results and Analysis.'' Robert V. Binder. System Verification Associates, February 2012]

{{Software testing}}

{{DEFAULTSORT:Model-Based Testing}}
[[Category:Software testing]]