Model-Based Testing with TorXakis: The Mysteries of Dropbox Revisited

CECIIS : 30th Central European Conference on Information and Intelligent Systems, October 2-4, 2019, Varazdin, Croatia

[1]  Jan Tretmans,et al.  A Formal Approach to Conformance Testing , 1993, Protocol Test Systems.

[2]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[3]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[4]  BolognesiTommaso,et al.  Introduction to the ISO specification language LOTOS , 1987 .

[5]  Alan Hartman,et al.  The AGEDIS tools for model based testing , 2004, ISSTA '04.

[6]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[7]  Jan Tretmans,et al.  Model Based Testing with Labelled Transition Systems , 2008, Formal Methods and Testing.

[8]  Radu Mateescu,et al.  TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation , 2018, TACAS.

[9]  Nikolaj Bjørner,et al.  Satisfiability modulo theories , 2011, Commun. ACM.

[10]  Jan Friso Groote,et al.  Modeling and Analysis of Communicating Systems , 2014 .

[11]  Koen Claessen,et al.  QuickCheck: a lightweight tool for random testing of Haskell programs , 2000, ICFP.

[12]  Jan Tretmans,et al.  Coverage-Based Testing with Symbolic Transition Systems , 2019, TAP@FM.

[13]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[14]  Axel Belinfante,et al.  JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution , 2010, TACAS.

[15]  Alexandre Petrenko,et al.  Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography , 2000, MOVEP.

[16]  Nicolae Goga,et al.  Formal Test Automation: A Simple Experiment , 1999, IWTCS.

[17]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[18]  Marie-Claude Gaudel,et al.  Testing Can Be Formal, Too , 1995, TAPSOFT.

[19]  Jan Tretmans,et al.  Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.

[20]  John Hughes,et al.  Testing telecoms software with quviq QuickCheck , 2006, ERLANG '06.

[21]  Iso. Lotos,et al.  A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .

[22]  Ulf Norell,et al.  Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service , 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).

[23]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[24]  Jan Tretmans,et al.  Test Generation Based on Symbolic Specifications , 2004, FATES.

[25]  Jan Tretmans,et al.  On the Existence of Practical Testers , 2017, ModelEd, TestEd, TrustEd.

[26]  Ramon Janssen,et al.  n-Complete Test Suites for IOCO , 2017, ICTSS.

[27]  Kim G. Larsen,et al.  Testing Real-Time Systems Using UPPAAL , 2008, Formal Methods and Testing.

[28]  Jan Tretmans,et al.  A Symbolic Framework for Model-Based Testing , 2006, FATES/RV.