Heuristics for ioco-based test-based modelling

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

Volumn 4346 LNCS, Issue , 2007, Pages 132-147

  Willemse, Tim A C ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; REGRESSION ANALYSIS;

CONFORMANCE TESTING; IOCO-BASED TESTING; MATHEMATICALLY SOUND TECHNIQUE;

HEURISTIC METHODS;

EID: 36348933841     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70952-7_9     Document Type: Conference Paper

References (11)

1. D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 2(75):87-106, 1987.
2. A. Belinfante, J. Feenstra, R.G. de Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal test automation: A simple experiment. In G. Csopaki, S. Dibuz, and K. Tarnay, editors, Testcom '99, pages 179-196. Kluwer, 1999.
3. T. Berg, B. Jonsson, M. Leucker, and M. Saksena. Insights to angluin's learning. In S. Etalle, S. Mukhopadhyay, and A. Roychoudhury, editors, Proceedings of SVV 2003, volume 118 of ENTCS, pages 3-18. Elsevier, 2005.
4. P. Godefroid. Verisoft: A tool for the automatic analysis of concurrent reactive software. In Proceedings of CAV'97, volume 1254 of LNCS, pages 476-479. Springer-Verlag, 1997.
5. M.J. Harrold. Testing: A roadmap. In A. Finkelstein, editor, ICSE - Future of SE Track, pages 61-72. ACM, 2000.
6. H. Hungar, T. Margaria, and B. Steffen. Domain-specific optimization in automata learning. In W.A. Hunt Jr. and F. Somenzi, editors, Proceedings of CAV'03, volume 2725 of LNCS, pages 315-327. Springer-Verlag, 2003.
7. H. Hungar, T. Margaria, and B. Steffen. Test-based model generation for legacy systems. In IEEE international test conference (ITC), pages 971-980, 2003.
8. H.K.N. Leung and L.J. White. Insights into regression testing. Journal of Software Maintenance: Research and Practice, 2:209-222, 1990.
9. T. Margaria, H. Raffelt, and B. Steffen. Knowledge-based relevance filtering for efficient system-level test-based model generation (to appear). Innovations in Systems and Software Engineering, 1(2): 147-156, 2005.
10. D. Peled, M.Y. Vardi, and M. Yannakakis. Black box checking. In J. Wu, S.T. Chanson, and Q. Gao, editors, Proceedings of FORTE/PSTV, volume 156, pages 225-240. Kluwer, 1999.
11. J. Tretmans. Test generation with inputs, outputs and repetetive quiescence. Software - Concepts and Tools, 17(3):103-120, 1996.