Using Regular Grammars for Event-Based Testing-Reference-Cited by-同舟云学术

Using Regular Grammars for Event-Based Testing

Published:2013 Issue: Volume: Page:48-59
ISSN:0302-9743
Container-title:Implementation and Application of Automata
language:
Short-container-title:

Author:

Belli Fevzi,Beyazıt Mutlu

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-39274-0_6

Reference16 articles.

1. Lecture Notes in Computer Science;K. Adamopoulos,2004

2. Aichernig, B.K.: Mutation Testing in the Refinement Calculus. Formal Aspects of Computing Journal 15(2-3), 280–295 (2003)

3. Ammann, P.E., Black, P.E., Majurski, W.: Using Model Checking to Generate Tests from Specifications. In: Proceedings of the 2nd IEEE International Conference on Formal Engineering Methods (ICFEM 1998), pp. 46–54. IEEE Computer Society, Washington, DC (1998)

4. Beizer, B.: Software Testing Techniques. Van Nostrand Reinhold, New York (1990)

5. Belli, F.: Finite-State Testing and Analysis of Graphical User Interfaces. In: Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), pp. 34–43. IEEE Computer Society, Washington, DC (2001)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Advances in Model-Based Testing of Graphical User Interfaces;Advances in Computers;2017

2. Model-based mutation testing—Approach and case studies;Science of Computer Programming;2016-05

3. Exploiting Model Morphology for Event-Based Testing;IEEE Transactions on Software Engineering;2015-02-01

4. A dynamic stochastic model for automatic grammar-based test generation;Software: Practice and Experience;2014-06-11