Model-based testing and model inference

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7609 LNCS, Issue PART 1, 2012, Pages 440-443

  Meinke, Karl ^a   Walkinshaw, Neil ^b  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CORE FUNCTIONALITY; INTERACTION DIAGRAM; MODEL BASED TESTING; MODEL INFERENCE; STATE MACHINE; TEST EXECUTION; TEST INPUTS;

ARTIFICIAL INTELLIGENCE;

SOFTWARE TESTING;

EID: 84868288018     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-34026-0_32     Document Type: Conference Paper

References (18)

1. Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 75(1), 87-106 (1987)
2. Bergadano, F., Gunetti, D.: Testing by means of inductive program learning. ACM Trans. Software Engineering and Methodology 5(2), 119-145 (1996)
3. Groz, R., Irfan, M.-N., Oriat, C.: Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 444-457. Springer, Heidelberg (2012)
4. Howar, F.M.: Active Learning of Interface Programs. PhD thesis, Faculty of Informatics, Technical University of Dortmund (2012)
5. Kitamura, T., Do, N.T.B., Ohsaki, H., Fang, L., Yatabe, S.: Test-Case Design by Feature Trees. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 458-473. Springer, Heidelberg (2012)
6. Meinke, K.: A Stochastic Theory of Black-Box Software Testing. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation. LNCS, vol. 4060, pp. 578-595. Springer, Heidelberg (2006)
7. Meinke, K., Niu, F.: An Incremental Learning Algorithm for Extended Mealy Automata. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 488-504. Springer, Heidelberg (2012)
8. Meinke, K., Niu, F., Sindhu, M.: Learning-based software testing: a tutorial. In: Proc. Fourth Int. ISoLAWorkshop on Machine Learning for Software Construction. CCIS. Springer (2011)
9. Meinke, K., Sindhu, M.A.: Incremental Learning-Based Testing for Reactive Systems. In: Gogolla, M., Wolff, B. (eds.) TAP 2011. LNCS, vol. 6706, pp. 134-151. Springer, Heidelberg (2011)
10. Moore, E.F.: Gedanken experiments on sequential machines. In: Automata Studies, Princeton, pp. 129-153 (1956)
11. Lu, Z., Mukhopadhyay, S.: Model-Based Static Code Analysis For MATLAB Models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 474-487. Springer, Heidelberg (2012)
12. Peled, D., Vardi, M.Y., Yannakakis, M.: Black-box checking. In: Formal Methods for Protocol Engineering and Distributed Systems FORTE/PSTV, pp. 225-240. Kluwer (1999)
13. Raffelt, H., Steffen, B., Margaria, T.: Dynamic Testing Via Automata Learning. In: Yorav, K. (ed.) HVC 2007. LNCS, vol. 4899, pp. 136-152. Springer, Heidelberg (2008)
14. Walkinshaw, N.: Assessing Test Adequacy for Black-Box Systems without Specifications. In: Wolff, B., Zaïdi, F. (eds.) ICTSS 2011. LNCS, vol. 7019, pp. 209-224. Springer, Heidelberg (2011)
15. Walkinshaw, N., Bogdanov, K., Derrick, J., Paris, J.: Increasing Functional Coverage by Inductive Testing: A Case Study. In: Petrenko, A., Simão, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol. 6435, pp. 126-141. Springer, Heidelberg (2010)
16. Weyuker, E.: Assessing test data adequacy through program inference. ACMTrans. Program. Lang. Syst. 5(4), 641-655 (1983)
17. Zhu, H.: A formal interpretation of software testing as inductive inference. Journal of Software testing, Verification and Reliability 6(1), 3-31 (1996)
18. Zhu, H., Hall, P., May, J.: Inductive inference and software testing. Journal of Software testing, Verification and Reliability 2(2), 3-31 (1992)