1 |
IEC 61508, "Railway Applications - The specification and demonstration of RAMS", 1998.
|
2 |
IEC 62279, "Railway Applications - Communication, signalling and processing systems - Software for railway control and protection systems", 2015.
|
3 |
Railroad Safety Act[Law No. 13436], Partial revision 2015. 07.
|
4 |
J. Burnim and K. Sen, "Heuristics for scalable dynamic test generation", In ASE'08, 2008. 9.
|
5 |
IEEE Std. 1008-1997, "Software Unit Testing", 1997.
|
6 |
IEC std. 60880-2006, "Software aspects for computer - based systems performing category A functions", 2006.
|
7 |
RTCA/DO-178B, "Software considerations in airborne systems and equipment certification", 1992.
|
8 |
Arnaud Dupuy and Nancy Leveson, "An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software", Proceedings of DASC (Digital Aviation Systems Conference), Phildelphia, 2000. 10.
|
9 |
Peter G Bishop, "MC/DC based estimation and detection of residual faults in PLC logic networks", 14th IEEE International Symposium on Software Reliability Engineering(ISSRE), Denver, Colorado, 2003. 11.
|
10 |
S. Bucur, V. Ureche, C. Zamfir, and G. Candea. "Parallel symbolic execution for automated real-world software testing", In EuroSys'11, 2011. 4.
|
11 |
Cristian Cadar and Koushik Sen, "Symbolic execution for software testing: three decades later", Magazine Communications of the ACM, 2013. 2.
|
12 |
H.J.Jo and et al, "Development of Automated Tool & Criteria for Software Test Coverage in Railway System", Proceedings of Int'l Transportation System 2011, 2011.6.
|