Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process-Reference-Cited by-同舟云学术

Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process

Published:2018 Issue: Volume: Page:104-120
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bardin Sébastien,Kosmatov Nikolai,Marre Bruno,Mentré David,Williams Nicky

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-03427-6_12

Reference35 articles.

1. The PathCrawler online test generation service (2010–2018). http://pathcrawler-online.com/

2. Ammann, P., Offutt, A.J., Huang, H.: Coverage criteria for logical expressions. In: Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), pp. 99–107 (2003)

3. Ammann, P., Offutt, J.: Introduction to Software Testing, 1st edn. Cambridge University Press, Cambridge (2008)

4. Lecture Notes in Computer Science;S Bardin,2010

5. Lecture Notes in Computer Science;S Bardin,2014

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

1. Test Generation with PathCrawler;Computer Science Foundations and Applied Logic;2024

2. Ten Years of Industrial Experiments with Frama-C at Mitsubishi Electric R&D Centre Europe;Computer Science Foundations and Applied Logic;2024

3. Efficient Uniform Sampling of Traces in Presence of Infeasibilities;Lecture Notes in Computer Science;2024

4. JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs using Coverage-Guided Fuzzing and Runtime Assertion Checking;Formal Aspects of Computing;2023-08-05

5. An Efficient Black-Box Support of Advanced Coverage Criteria for Klee;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27