Skip to main content
SpringerLink
Log in

Experimental Comparison of Different Techniques to Generate Adaptive Sequences

  • Conference paper
Advances in Computational Intelligence (IWANN 2011)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6692))

Included in the following conference series:

Abstract

The focus of this paper is to present the results of a set of experiments regarding the construction of an adaptive sequence by a genetic algorithm and other techniques in order to reach a goal state in a non-deterministic finite state machine.

Research partially supported by the Spanish MICINN project TESIS (TIN2009- 14312-C02-01), the UK EPSRC project Testing of Probabilistic and Stochastic Systems (EP/G032572/1), and the UCM-BSCH programme to fund research groups (GR58/08 - group number 910606).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alur, R., Courcoubetis, C., Yannakakis, M.: Distinguishing tests for nondeterministic and probabilistic machines. In: 27th ACM Symp. on Theory of Computing, STOC 1995, pp. 363–372. ACM Press, New York (1995)

    Google Scholar 

  2. Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)

    Book  Google Scholar 

  3. Gromov, M., Yevtushenko, N., Kolomeets, A.: On the synthesis of adaptive tests for nondeterministic finite state machines. Programming and Computer Software 34, 322–329 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  4. Hierons, R.M.: Testing from a non-deterministic finite state machine using adaptive state counting. IEEE Transactions on Computers 53(10), 1330–1342 (2004)

    Article  Google Scholar 

  5. Molinero, C., Núñez, M., Hierons, R.M.: Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM. In: IEEE Symposium on Artificial Life, ALIFE 2011. IEEE Computer Society Press, Los Alamitos (to appear 2011)

    Google Scholar 

  6. Myers, G.J.: The Art of Software Testing, 2nd edn. John Wiley and Sons, Chichester (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Madrid, Spain

    Carlos Molinero & Manuel Núñez

  2. Department of Information Systems and Computing, Brunel University, Uxbridge, Middlesex, UB8 3PH, United Kingdom

    Robert M. Hierons

Authors
  1. Carlos Molinero
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manuel Núñez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Robert M. Hierons
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departament d’Enginyeria Electrònica, Universitat Politècnica de Catalunya (UPC), Campus Nord, Edificio C4, c/ Gran Capità s/n, 08034, Barcelona, Spain

    Joan Cabestany

  2. Department of Computer Architecture and Computer Technology, University of Granada, C/ Periodista Daniel Saucedo Aranda, 18071, Granada, Spain

    Ignacio Rojas

  3. Departamento Tecnologia Eletrónica, Universidad de Málaga, Campus de Teatinos, 29071, Málaga, Spain

    Gonzalo Joya

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Molinero, C., Núñez, M., Hierons, R.M. (2011). Experimental Comparison of Different Techniques to Generate Adaptive Sequences. In: Cabestany, J., Rojas, I., Joya, G. (eds) Advances in Computational Intelligence. IWANN 2011. Lecture Notes in Computer Science, vol 6692. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21498-1_51

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21498-1_51

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21497-4

  • Online ISBN: 978-3-642-21498-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation