1 |
Alun Preece, Diego Pizzocaro, Dave Braines, David Mott, Geeth de Mel, and Tiem Pham, "Integrating Hard and Soft Information Sources for D2D Using Controlled Natural Language," In 2012 15th International Conference on Information Fusion, pp.1330-1337, Jul. 2012.
|
2 |
FlaLavia A. Barros, Lai.s Neves, L Erica Hori and Dante Torres, "The ucsCNL: A Controlled Natural Language for Use Case Specifications," in SEKE, pp.250-253, 2011.
|
3 |
A. P. Mathur, "Foundations of Software Testing," Pearson Education, 2008.
|
4 |
Rolf Schwitter, "Controlled Natural Languages for Knowledge Representation," Coling 2010: Poster Volume, Beijing, pp. 1113-1121, 2010.
|
5 |
L. H. Tahat, B. Vaysburg, B. Korel, and A. J. Bader, "Requirement-based automated black-box test generation," in Proceeding of the 25th Annual International Computer Software and Applications Conference, pp.489-495, 2001.
|
6 |
P. S. Loo, and W. K. Tsai, "Random Testing Revisited," Information and Software Technology, Vol.30, Iss.7, pp.402-417, Sep. 1988
DOI
|
7 |
Rick Kuhn, Raghu Kacker, Yi Lei, and Justin Hunter, "Combinatorial Software Testing," IEEE Computer Society, Vol.42, Iss.8, pp.94-96, Aug. 2009.
|
8 |
M. Conrad, H., Dorr, I. Fey, and A. Yap, "Model-based Generation and Structured Representation of Test Scenarios," Workshop on Software-Embedded Systems Testing (WSEST), Gaithersburg, USA, Nov. 1999.
|
9 |
M. Utting, and B. Legeard, "Practical Model-Based Testing: A Tools Approach," Morgan kaufmann, 2007
|
10 |
H. S. Park, "Generating Structural Test Cases for MATLAB Stateflow Model Using Rapidly-exploring Random Tree," Ajou Univ, Engineering doctoral dissertation, 2014.
|
11 |
C. Denger and M. Mora, "Test case derived from Requirement Specifications," IESE-Report No.033.03/E version 1.0, Apr. 24 2003.
|
12 |
Kang Tae Hoon, Kim Dae Joon, Chung Ki Hyun, and Choi Kyung Hee, "A Method to Automatically Generate Test Scripts from Checklist for Testing Embedded System," KIPS, Vol.5, No.12, pp.641-652, May 2016.
|
13 |
K. W. Kwon, K. H. Chung, H. S. Yang, J. J. Jang, D. S. Lee, U. H. Jo, J. H. Shin, and H. J. Cho, "Rules of SRS for the SRS Adequacy Test," KIMST, 2018.
|
14 |
Farrell, James A. (August 1995), "Compiler Basics: Extended Backus Naur Form," Archived from the original on 5 June 2011. Retrieved May 11, 2011.
|
15 |
KOMORAN [Internet], https://github.com/shin285/KOMORAN
|
16 |
Dae Joon Kim, Ki Hyun Chung, and Kyung Hee Choi, "A Hierarchical Checklist to Automatically Generate Test Scripts," KIPS, Vol.6, No.5, pp.245-256, Jun. 2017.
|
17 |
H. D. Kim, H. J. Cho, J. H. Shin, K. H. Chung, and K. H. Choi, "Automatically Generating Simulink/Stateflow Model and Test Case from Requirements," KIMST, 2017.
|
18 |
The Yices SMT Solver [Internet], http://www.csl.sri.com.
|
19 |
Functional-Safety [Internet], https://www.iec.ch/functionalsafety/
|
20 |
ASD Simplified Technical ENGLISH ASD-STE100 [Internet], http://www.asd-ste100.org/
|