A random testing approach using pushdown automata-Reference-Cited by-同舟云学术

A random testing approach using pushdown automata

Published:2014-05-14 Issue:8 Volume:24 Page:656-683
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Dreyfus Aloïs¹,Héam Pierre-Cyrille¹,Kouchnarenko Olga¹,Masson Catherine¹

Affiliation:

1. FEMTO-ST, CNRS UMR 6174; Université de Franche-Comté Inria CASSIS; Besançon, Cedex France

Funder

Agence Nationale de la Recherche

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Link

http://onlinelibrary.wiley.com/wol1/doi/10.1002/stvr.1526/fullpdf

Reference48 articles.

1. Coverage-biased random exploration of large models and application to testing;Denise;Software Tools for Technology Transfer (STTT),2012

2. Offutt A Xiong Y Liu S Criteria for Generating Specification-Based Tests ICECSS'99: Proceedings of the 5th International Conference on Engineering of Complex Computer Systems 1999 119 129

3. Groce A Joshi R Random testing and model checking: building a common framework for nondeterministic exploration WODA'08: Proceedings of the 2008 International Workshop on Dynamic Analysis 2008 22 28

4. Song F Touili T PuMoC: a CTL model-checker for sequential programs ASE'12: Proceeding of the IEEE/ACM International Conference on Automated Software Engineering 2012 346 349

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

1. Evaluating software testing techniques: A systematic mapping study;Advances in Computers;2021

2. An Approximation-Based Approach for the Random Exploration of Large Models;Tests and Proofs;2018

3. Conformance Testing for Timed Recursive Programs;Computer and Information Science 2015;2015-10-17