A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs

Utting, 2010 Boberg, 2008, Early fault detection with model-based testing, 9 Fraser, 2009, Testing with model checkers: a survey, Softw. Test. Verif. Rel., 19, 215, 10.1002/stvr.402 Utting, 2012, A taxonomy of model-based testing approaches, Softw. Test. Verif. Rel., 22, 297, 10.1002/stvr.456 Utting, 2006 Shafique, 2013, A systematic review of state-based test tools, Int. J. Softw. Tools Technol. Transfer, 1 Dias Neto, 2007, A survey on model-based testing approaches: a systematic review, 31 Spivey, 1992 Abrial, 1991, The B-method, 398 Warmer, 1998 Leavens, 1999, JML: a notation for detailed design, 175 Fitzgerald, 2008, Vienna development method, 10.1002/9780470050118.ecse447 Barnett, 2005, The Spec# programming system: an overview, 49 Bolchini, 1995 Harel, 1987, Statecharts: a visual formalism for complex systems, Sci. comput. program., 8, 231, 10.1016/0167-6423(87)90035-9 Tretmans, 2008, Model based testing with labelled transition systems, 1 Kaynar, 2010, The theory of timed I/O automata, 1 Kemeny, 1960, vol. 356 Pilaud, 1987, LUSTRE: a declarative language for programming synchronous systems, 178 Dabney, 2001 Medvidovic, 2000, A classification and comparison framework for software architecture description languages, IEEE Trans. Softw. Eng., 26, 70, 10.1109/32.825767 Bertolino, 2013, Software architecture-based analysis and testing: a look into achievements and future challenges, Computing, 95, 633, 10.1007/s00607-013-0338-9 Rapps, 1985, Selecting software test data using data flow information, IEEE Trans. Softw. Eng., 11, 367, 10.1109/TSE.1985.232226 Black, 2000, Mutation operators for specifications, 81 Kitchenham, 2002, Preliminary guidelines for empirical research in software engineering, IEEE Trans. Softw. Eng., 28, 721, 10.1109/TSE.2002.1027796 Zander, 2011 Farchi, 2002, Using a model-based test generator to test for standard conformance, IBM Syst. J., 41, 89, 10.1147/sj.411.0089 Ernits, 2009, Model-based testing of web applications using NModel, 211 Jacky, 2011, PyModel: model-based testing in python, 10.25080/Majora-ebaa42b7-008 Veanes, 2008, Model-based testing of object-oriented reactive systems with spec explorer, 39 Achkar, 2010, Model based testing of web applications Hartman, 2004, The AGEDIS tools for model based testing, SIGSOFT Softw. Eng. Notes, 29, 129, 10.1145/1013886.1007529 Huima, 2007, Implementing conformiq qtronic, 1 Weißleder, 2008, Deriving input partitions from UML models for automatic test generation, 151 Sokenou, 2010, ParTeG-integrating model-based testing and model transformations, 23 Stobie, 2005, Model based testing in practice at Microsoft, Electron. Notes Theor. Comput. Sci., 111, 5, 10.1016/j.entcs.2004.12.004 Barnett, 2004, Towards a tool environment for model-based testing with AsmL, 252 Marre, 2000, Test sequences generation from LUSTRE descriptions: GATEL, 229 Prowell, 2003, JUMBL: a tool for model-based statistical testing, 9 Le Guen, 2003, Practical experiences with statistical usage testing, 87 Xu, 2012, A model-based approach to automated testing of access control policies, 209 Traoré, 2001, An integrated V&V environment for critical systems development, 287 Sims, 2007, Experience report: the reactis validation tool, ACM SIGPLAN Not., 42, 137, 10.1145/1291220.1291172 Budnik, 2012, An integrated model-driven approach for mechatronic systems testing, 447 Takala, 2011, Experiences of system-level model-based GUI testing of an Android application, 377 Jard, 2005, TGV: theory, principles and algorithms, Int. J. Softw. Tools Technol. Transfer, 7, 297, 10.1007/s10009-004-0153-x Belinfante, 2010, JTorX: a tool for on-line model-driven test derivation and execution, 266 Hessel, 2007, CoVer-a real-time test case generation tool Larsen, 2005, Testing real-time embedded software using UPPAAL-TRON: an industrial case study, 299 Berghofer, 2004, Random testing in Isabelle/HOL, vol. 4, 230 Bouquet, 2008, A test generation solution to automate software testing, 45 Satpathy, 2005, ProTest: an automatic test environment for B specifications, Electron. Notes Theor. Comput. Sci., 111, 113, 10.1016/j.entcs.2004.12.009 Dranidis, 2012, JSXM: a tool for automated test generation, 352 Bellettini, 2005, TestUml: user-metrics driven web applications testing, 1694 Bernard, 2006, Model-based testing from UML models, 223 Inc Mathworks, 2004 Enoiu, 2014, Automated test generation using model checking: an industrial evaluation, Int. J. Softw. Tools Technol. Transfer, 1 Hörcher, 1995, Improving software tests using Z specifications, 152 Hoercher, 1995, Using formal specifications to support software testing, Softw. Qual. J., 4, 309, 10.1007/BF00402650 Nelson, 1955, Simplest normal truth functions, J. Symbol. Log., 20, 105, 10.2307/2266893 Dick, 1993, Automating the generation and sequencing of test cases from model-based specifications, 268 Santen, 1996, A structure preserving encoding of Z in Isabelle/HOL, 283 Helke, 1997, Automating test case generation from Z specifications with Isabelle, 52 Lano, 1995, Formal development in B abstract machine notation, Inform. Softw. Technol., 37, 303, 10.1016/0950-5849(95)99366-U Dijkstra, 1976, vol. 4 Legeard, 2002, Automated boundary testing from Z and B, 221 Bouquet, 2002, CLPS-B–a constraint solver for B, 188 Leuschel, 2003, ProB: a model checker for B, 855 Gurevich, 1995, Evolving algebras 1993: lipari guide, 9 De Alfaro, 2001, Interface automata, ACM SIGSOFT Softw. Eng. Notes, 26, 109, 10.1145/503271.503226 Hardy, 2001, Finite state machines, 229 Alagar, 2011, Extended finite state machine, 105 Alur, 1995, Distinguishing tests for nondeterministic and probabilistic machines, 363 Aho, 1991, An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours, IEEE Trans. Commun., 39, 1604, 10.1109/26.111442 Lee, 1994, Testing finite-state machines: state identification and verification, IEEE Trans. Comput., 43, 306, 10.1109/12.272431 Lee, 1996, Principles and methods of testing finite state machines–a survey, Proc. IEEE, 84, 1090, 10.1109/5.533956 Sinha, 2006, A measurement framework for evaluating model-based test generation tools, IBM Syst. J., 45, 501, 10.1147/sj.453.0501 Benjamin, 1999, A study in coverage-driven test generation, 970 Dill, 1996, The Mur ϕ verification system, 390 Chinnapongse, 2009, Model-based testing of GUI-driven applications, 203 Tretmans, 2003 Rumbaugh, 2004 Sarma, 2010, Model-based testing in industry: a case study with two MBT tools, 87 Ostrand, 1988, The category-partition method for specifying and generating fuctional tests, Commun. ACM, 31, 676, 10.1145/62959.62964 Larsen, 1997, Uppaal in a nutshell, Int. J. Softw. Tools Technol. Transfer, 1, 134, 10.1007/s100090050010 Behrmann, 2004, A tutorial on uppaal, 200 Norris, 1998 Guiotto, 2003, MaTeLo: automated testing suite for software validation, vol. 532, 30 MathWorks, 2005, MATLAB: The Language of Technical Computing, vol. 9 Lewis, 1998 Jin, 2001, Deriving tests from software architectures, 308 Enoiu, 2014, Automated test generation using model-checking: an industrial evaluation, Int. J. Softw. Tools Technol. Transfer, 1, 1