Algorithms and Tools for Learning-based Testing of Reactive Systems

In this thesis we investigate the feasibility of learning-based testing (LBT) as a viable testing methodology for reactive systems. In LBT, a large number of test cases are automatically generated ...

[1]  Helmut Veith,et al.  Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis , 2002, FMCAD.

[2]  John E. Hopcroft,et al.  An n log n algorithm for minimizing states in a finite automaton , 1971 .

[3]  Jan Tretmans,et al.  TorX: Automated Model-Based Testing , 2003 .

[4]  Pierre Dupont,et al.  Incremental regular inference , 1996, ICGI.

[5]  Fausto Giunchiglia,et al.  NUSMV: A New Symbolic Model Verifier , 1999, CAV.

[6]  Karl Meinke,et al.  A Learning-Based Approach to Unit Testing of Numerical Software , 2010, ICTSS.

[7]  Rajesh Parekh,et al.  A Polynomial Time Incremental Algorithm for Regular Grammar Inference , 1997 .

[8]  John Derrick,et al.  Increasing Functional Coverage by Inductive Testing: A Case Study , 2010, ICTSS.

[9]  Ronald L. Rivest,et al.  Inference of finite automata using homing sequences , 1989, STOC '89.

[10]  Brian A. Wichmann,et al.  Industrial perspective on static analysis , 1995, Softw. Eng. J..

[11]  A. Jefferson Offutt,et al.  Introduction to Software Testing , 2008 .

[12]  Oliver Niese,et al.  An integrated approach to testing complex systems , 2003 .

[13]  Stacy J. Prowell,et al.  JUMBL: a tool for model-based statistical testing , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

[14]  Colin de la Higuera.  Grammatical Inference: Informed learners , 2010 .

[15]  Dana Angluin,et al.  Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..

[16]  G. Birkhoff.  Subdirect unions in universal algebra , 1944 .

[17]  Jan Tretmans,et al.  Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation , 1996, Comput. Networks ISDN Syst..

[18]  Tiziana Margaria,et al.  Dynamic Testing Via Automata Learning , 2007, Haifa Verification Conference.

[19]  Orna Grumberg,et al.  Simulation Based Minimization , 2000, CADE.

[20]  Hans-Dieter Ehrich,et al.  Specification of abstract data types , 1996 .

[21]  Margus Veanes,et al.  Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer , 2008, Formal Methods and Testing.

[22]  Dana Angluin,et al.  A Note on the Number of Queries Needed to Identify Regular Languages , 1981, Inf. Control..

[23]  J. Oncina,et al.  INFERRING REGULAR LANGUAGES IN POLYNOMIAL UPDATED TIME , 1992 .

[24]  Elaine J. Weyuker,et al.  Assessing Test Data Adequacy through Program Inference , 2019, TOPL.

[25]  Neil Walkinshaw,et al.  Assessing Test Adequacy for Black-Box Systems without Specifications , 2011, ICTSS.

[26]  Karl Meinke,et al.  Correctness and Performance of an Incremental Learning Algorithm for Finite Automata , 2010, ACML 2010.

[27]  Gordon Fraser,et al.  Testing with model checkers: a survey , 2009, Softw. Test. Verification Reliab..

[28]  E. Mark Gold,et al.  Language Identification in the Limit , 1967, Inf. Control..

[29]  Frank S. de Boer,et al.  Testing abstract behavioral specifications , 2015, International Journal on Software Tools for Technology Transfer.

[30]  Karl Meinke,et al.  Learning-Based Software Testing: A Tutorial , 2011, ISoLA Workshops.

[31]  Ajitha Rajan,et al.  Coverage metrics for requirements-based testing , 2006, ISSTA '06.

[32]  Karl Meinke,et al.  Learning-Based Testing for Reactive Systems Using Term Rewriting Technology , 2011, ICTSS.

[33]  Olivier Carton,et al.  Minimization of Automata , 2010, ArXiv.

[34]  Ofer Strichman,et al.  SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques , 2002, CAV.

[35]  Karl Meinke,et al.  An Incremental Learning Algorithm for Extended Mealy Automata , 2012, ISoLA.

[36]  Karl Meinke,et al.  Automated black-box testing of functional correctness using function approximation , 2004, ISSTA '04.

[37]  Karl Meinke,et al.  LBTest: A Learning-Based Testing Tool for Reactive Systems , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

[38]  Amir Pnueli,et al.  The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[39]  Karl Meinke,et al.  Incremental Learning-Based Testing for Reactive Systems , 2011, TAP@TOOLS.

[40]  Karl Meinke,et al.  IDS: An Incremental Learning Algorithm for Finite Automata , 2012, ArXiv.

[41]  Alex Groce,et al.  Adaptive Model Checking , 2002, Log. J. IGPL.

[42]  Daphne Norton,et al.  Algorithms for testing equivalence of finite automata, with a grading tool for JFLAP , 2009 .