Abstract
Learning techniques are being used increasingly to improve software verification and validation activities. For example, automata learning techniques have been used for extracting behavioral models of software systems, e.g. [8]. These models can serve as formal documentation of the software and they can be verified using automated tools or used for model-based testing. Automata learning techniques have also been used for automating compositional verification, e.g. [3], for building abstractions of software behavior in the context of symbolic or parameterized model checking, e.g. [9] or for the automatic inference and security analysis of botnet protocols, e.g. [1]. This Special Track aims at bringing together researchers and practitioners working on the integration of learning techniques in verification and validation activities for software systems. The Special Track is part of the 2012 International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Cho, C.Y., Babic, D., Shin, E.C.R., Song, D.: Inference and analysis of formal models of botnet command and control protocols. In: ACM Conference on Computer and Communications Security, pp. 426–439 (2010)
Dinca, I., Ipate, F., Stefanescu, A.: Model Learning and Test Generation for Event-B Decomposition. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 539–553. Springer, Heidelberg (2012)
Giannakopoulou, D., Pasareanu, C.S.: Special issue on learning techniques for compositional reasoning. Formal Methods in System Design 32(3), 173–174 (2008)
Groce, A., Fern, A., Erwig, M., Pinto, J., Bauer, T., Alipour, A.: Learning-Based Test Programming for Programmers. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 572–586. Springer, Heidelberg (2012)
Howar, F., Isberner, M., Jonsson, B.: Inferring Semantic Interfaces of Data Structures. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 554–571. Springer, Heidelberg (2012)
Leucker, M., Neider, D.: Learning Minimal Deterministic Automata from Inexperienced Teachers. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 524–538. Springer, Heidelberg (2012)
de Matos Pedro, A., Crocker, P.A., de Sousa, S.M.: Learning Stochastic Timed Automata from Sample Executions. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 508–523. Springer, Heidelberg (2012)
Raffelt, H., Steffen, B., Berg, T., Margaria, T.: Learnlib: a framework for extrapolating behavioral models. STTT 11(5), 393–407 (2009)
Vardhan, A., Viswanathan, M.: LEVER: A Tool for Learning Based Verification. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 471–474. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Păsăreanu, C.S., Bobaru, M. (2012). Learning Techniques for Software Verification and Validation. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. ISoLA 2012. Lecture Notes in Computer Science, vol 7609. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34026-0_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-34026-0_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34025-3
Online ISBN: 978-3-642-34026-0
eBook Packages: Computer ScienceComputer Science (R0)