A Search-Based Automated Test-Data Generation Framework for Safety-Critical Systems-Reference-Cited by-同舟云学术

A Search-Based Automated Test-Data Generation Framework for Safety-Critical Systems

Published:2002 Issue: Volume: Page:174-213
ISSN:
Container-title:Systems Engineering for Business Process Change: New Directions
language:
Short-container-title:

Author:

Tracey Nigel,Clark John,McDermid John,Mander Keith

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-0135-2_12.pdf

Reference45 articles.

1. D.J. Andrews (ed.). Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base Language. ISO/IEC 13817-1, December 1996.

2. ANSI/MIL-STD 1815A. Reference manual for the Ada programming language, 1983.

3. J. Barnes. High Integrity Ada: The SPARK Approach. Addison-Wesley, 1997.

4. B. Beizer, Software Testing Techniques. Thomson Computer Press, 2nd edition, 1990.

5. W. Burkhardt. Generating programs from syntax. Computing, 2(1):83–94, 1967.

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

1. The progress, challenges, and perspectives of directed greybox fuzzing;Software Testing, Verification and Reliability;2023-12-14

2. Estimating WCET using prediction models to compute fitness function of a genetic algorithm;Real-Time Systems;2020-01

3. Search-Based Temporal Testing in an Embedded Multicore Platform;Applications of Evolutionary Computation;2018

4. Heuristic Guided Selective Path Exploration for Loop Structure in Coverage Testing;International Journal of Open Source Software and Processes;2017-04

5. A prediction model for measurement-based timing analysis;Proceedings of the 6th International Conference on Software and Computer Applications - ICSCA '17;2017